4.1 算法上相似的问题 4.2 问题的多种变体间的归约 4.3 相关问题间的归约 4.4 无关问题间的归约 4.5 多项式归约的特殊作用