第 0 章 前言¶
第 1 章 引言¶
第 2 章 分析问题：基础¶
第 3 章 查找¶
第 4 章 下界¶
第 5 章 动态规划¶
第 6 章 计算的极限¶
- 6.1. 计算极限
- 6.2. 归约
- 6.3. NP 完全性
- 6.4. NP 完全性证明
- 6.5. 电路可满足性
- 6.6. 公式可满足性
- 6.7. 3-CNF 可满足性
- 6.8. SAT 到 3-SAT 的归约
- 6.9. 团问题
- 6.10. 独立集问题
- 6.11. 顶点覆盖问题
- 6.12. 哈密顿回路问题
- 6.13. 推销员问题
- 6.14. Circuit SAT 到 SAT 的归约
- 6.15. 3-SAT 到团的归约
- 6.16. 独立集到顶点覆盖的归约
- 6.17. 3-SAT 到哈密顿回路的归约
- 6.18. 团到独立集的归约
- 6.19. 哈密顿回路到推销员问题的归约
- 6.20. 应对 NP 完全问题
- 6.21. 不可解问题
- 6.22. 图灵机导论
- 6.23. 图灵机：高级主题
