MARC状态:审校 文献类型:中文图书 浏览次数:26
- 题名/责任者:
- 计算机复杂性:现代方法/(美) 桑杰夫·阿罗拉, (美) 博阿兹·巴拉克著 骆吉洲译
- 出版发行项:
- 北京:机械工业出版社,2016
- ISBN及定价:
- 978-7-111-51899-0/CNY129.00
- 载体形态项:
- XXII, 477页:图;26cm
- 其它题名:
- 现代方法
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 阿罗拉 (Arora, Sanjeev) 著
- 个人责任者:
- 巴拉克 (Barak, Boaz) 著
- 个人次要责任者:
- 骆吉洲 译
- 学科主题:
- 计算复杂性
- 中图法分类号:
- TP301.5
- 一般附注:
- 华章教育
- 出版发行附注:
- 由剑桥大学出版社与机械工业出版社合作出版
- 书目附注:
- 有书目 (第447-471页) 和索引
- 提要文摘附注:
- 本书系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果,旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。第一部分(第1~11章)较宽泛地介绍了复杂性理论,包括复杂性理论的经典结果和一些现代专题。第二部分(第12~16章)讨论了各种具体计算模型上的计算复杂性下界。第三部分(第17~23章)主要是1980年以后人们在复杂性理论方面获得的进展,内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。
全部MARC细节信息>>