失效链接处理 |
计算复杂性 现代方法 PDF 下载
转载自:https://download.csdn.net/download/niehanmin/10001067
本站整理下载:
版权归出版社和原作者所有,链接已删除,请购买正版
用户下载说明:
电子版仅供预览,下载后24小时内务必删除,支持正版,喜欢的请购买正版书籍:
http://product.dangdang.com/23821598.html
相关截图:
资料简介:
本书系统地介绍计算复杂性理论的经典结果和近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章 为什么线路下界如此困难 附录 部分习题的提示 参考文献 术语索引 复杂性类索引 |