Chapter 9 on provable intractability, and Chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing.

• 第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。