|
题名:
|
计算机复杂性 ji suan ji fu za xing / (美)桑杰夫·阿罗拉(Sanjeev Arora), 博阿兹·巴拉克(Boaz Barak)著 , 骆吉洲译 |
|
ISBN:
|
978-7-111-51899-0 价格： CNY129.00 |
|
语种:
|
chi |
|
载体形态:
|
22, 477页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2016 |
|
内容提要:
|
本书系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，本书分为三部分。第一部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。 |
|
主题词:
|
计算复杂性 |
|
中图分类法:
|
TP301.5 版次： 5 |
|
其它题名:
|
现代方法 |
|
主要责任者:
|
阿罗拉 a luo la 著 |
|
主要责任者:
|
巴拉克 ba la ke 著 |
|
次要责任者:
|
骆吉洲 luo ji zhou 译 |
|
附注:
|
华章教育 |
|
责任者附注:
|
桑杰夫·阿罗拉，普林斯顿大学计算机科学系教授。 |
|
责任者附注:
|
博阿兹·巴拉克，现为哈佛大学计算机科学系教授，哈佛大学工学院计算理论研究组成员，同时还是微软新英格兰研究院首席研究员。 |
|
索书号:
|
TP301.5/7220 |