计算复杂性：现代方法 / 计算机科学丛书
￥129.00定价
作者： Sanjeev Arora，Boaz Barak；骆吉洲译
译者：骆吉洲 译；
出版时间：2015-11
出版社：机械工业出版社
- 机械工业出版社
- 9787111518990
- 1版
- 84708
- 44219983-2
- 平装
- 16开
- 2015-11
- 750
- 500
- 工学
- 计算机科学与技术
- TP301.5
- 计算机类
- 本科
内容简介
桑杰夫·阿罗拉、博阿兹·巴拉克编写的《计算复杂性(现代方法)》系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。第一部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。本书内容丰富，结构灵活，语言流畅，是从事计算复杂性理论及相关领域的研究人员必不可少的参考书，非常适合作为打算进入该研究领域的研究生、博士生快速接触研究前沿的参考资料，还非常适合作为普通高校计算机科学与技术、数学专业本科生、研究生相关课程的教材，其中的高级专题还可以作为博士生相关讨论班的素材。
目录
出版者的话
译者序
译者简介
前言
致谢
引言
第0章 记号约定
第一部分 基本复杂性类
第1章 计算模型——为什么模型选择无关紧要
第2章 NP和NP完全性
第3章 对角线方法
第4章 空间复杂性
第5章 多项式分层和交错
第6章 布尔线路
第7章 随机计算
第8章 交互式证明
第9章 密码学
第10章 量子计算
第11章 PCP定理和近似难度简介
第二部分 具体计算模型的下界
第12章 判定树
第13章 通信复杂性
习题
第14章 线路下界：复杂性理论的滑铁卢
第15章 证明复杂性
第16章 代数计算模型
第三部分 高级专题
第17章 计数复杂性
第18章 平均复杂性:勒维定理
第19章 难度放大和纠错码
第20章 去随机化
第21章 伪随机构造:扩张图和提取器
第22章 PCP定理的证明和傅里叶变换技术
第23章 为什么线路下界如此困难
附录
部分习题的提示
参考文献
术语索引
复杂性类索引
译者序
译者简介
前言
致谢
引言
第0章 记号约定
第一部分 基本复杂性类
第1章 计算模型——为什么模型选择无关紧要
第2章 NP和NP完全性
第3章 对角线方法
第4章 空间复杂性
第5章 多项式分层和交错
第6章 布尔线路
第7章 随机计算
第8章 交互式证明
第9章 密码学
第10章 量子计算
第11章 PCP定理和近似难度简介
第二部分 具体计算模型的下界
第12章 判定树
第13章 通信复杂性
习题
第14章 线路下界：复杂性理论的滑铁卢
第15章 证明复杂性
第16章 代数计算模型
第三部分 高级专题
第17章 计数复杂性
第18章 平均复杂性:勒维定理
第19章 难度放大和纠错码
第20章 去随机化
第21章 伪随机构造:扩张图和提取器
第22章 PCP定理的证明和傅里叶变换技术
第23章 为什么线路下界如此困难
附录
部分习题的提示
参考文献
术语索引
复杂性类索引
