- 题名/责任者:
- 计算复杂性:现代方法/(美) 桑杰夫·阿罗拉, 博阿兹·巴拉克著 骆吉洲译
- 出版发行项:
- 北京:机械工业出版社,2016
- ISBN及定价:
- 978-7-111-51899-0/CNY129.00
- 载体形态项:
- xxii, 477页;236cm
- 其它题名:
- 现代方法
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 阿罗拉 (Arora, Sanjeev) 著
- 个人责任者:
- 巴拉克 (Barak, Boaz) 著
- 个人次要责任者:
- 骆吉洲 译
- 学科主题:
- 计算复杂性
- 中图法分类号:
- TP301.5
- 中图法分类号:
- TP301
- 出版发行附注:
- 由剑桥大学出版社与机械工业出版社合作出版
- 书目附注:
- 有书目 (第447-471页) 和索引
- 提要文摘附注:
- 本书系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。第一部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。
- 使用对象附注:
- 从事计算复杂性理论及相关领域的研究人员必不可少的参考书，非常适合作为打算进入该研究领域的研究生、博士生快速接触研究前沿的参考资料，还非常适合作为普通高校计算机科学与技术、数学专业本科生、研究生相关课程的教材，其中的高级专题还可以作为博士生相关讨论班的素材。
全部MARC细节信息>>