本书既描述了计算复杂性理论最近取得的成果，也描述了其经典结果。具体内容包括：图灵机的定义和基本的时间、空间复杂性类，概率型算法，交互式证明，密码学，量子计算，具体的计算模型的下界（判定树、通信复杂度、恒定的深度、代数和单调线路、证明复杂度），平均复杂度和难度放大，去随机化和伪随机数产生器，以及PCP定理。
本书仅要求读者有完备的数学知识，可以作为任何对计算复杂性感兴趣的读者的自学参考书，包括物理学家、数学家和其他科学家，也可以作为各种课程和研讨会的教科书。

作者简介
桑杰夫·阿罗拉（Sanjeev Arora）普林斯顿大学计算机科学系教授，在概率可验证明和NP-难问题的可近似性方面取得了基础性的研究成果。他发起创办了“计算难解性问题中心”，该项目由国家科学基金资助。
博阿兹·巴拉克（Boaz Barak）现为哈佛大学计算机科学系教授，哈佛大学工学院 腰m？
计算理论研究组成员，同时还是微软新英格兰研究院首席研究员，之前是普林斯顿大学计算机科学系副教授。他在计算复杂性和密码学方面，特别是“非黑盒”技术方面，取得了基础性的研究成果。

计算机复杂性  现代方法=Computational complexity a modern approach_13917653.pdf: https://545c.com/file238/12623596-426189631