NP、coNP、#P、PSPACE 那一整套复杂度结构在这本书里真的讲得很系统。我最开始只是想搞清楚 MAX-SAT 到底是哪一类问题，结果越读越停不下来。第 18 章关于概率证明系统和 PCP 定理的部分，帮我理解了为什么 SAT 的近似下界那么难绕开。读起来需要一定耐心，但每章末尾的习题质量很高。