|
题名:
|
计算复杂性的现代方法 / Sanjeev Arora，Boaz Barak[著] , |
|
ISBN:
|
978-7-5100-4286-7 价格： CNY99.00 |
|
语种:
|
eng |
|
载体形态:
|
24,579页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 世界图书出版公司北京公司 出版日期： 2012 |
|
内容提要:
|
本书一开始引入该领域的最基本知识，然后逐步深入，介绍更多深层次的结果，每章末都附有练习。内容涉及：符号表示常规；（第一部分）：基本复杂度种类；np和np完备性；对角化；空间复杂性；多项式谱系和交错；布尔线路；随机化计算；交互式证明；密码系统；量子计算；pcp定理和逼近硬度引入；（第二部分）离散计算模型的下界：决定树；通信复杂性；循环下界：复杂理论的滑铁卢；证明复杂性；代数计算模型；（第三部分）高级话题：计数复杂性；一般案例复杂度，levi理论；硬度增强和误差校正码；非随机化；伪随机结构；pcp定理的证明和傅里叶变换技巧；难以确定的循环下界。 |
|
主题词:
|
计算复杂性 英文 |
|
中图分类法:
|
TP301.5 版次： 5 |
|
主要责任者:
|
阿罗拉 著 |
|
主要责任者:
|
巴拉克 著 |
|
版次:
|
影印版 |
|
责任者附注:
|
责任者Arora规范汉译姓: 阿罗拉; 责任者Barak规范汉译姓: 巴拉克 |