内容简介

本书系统地介绍计算复杂性理论的经典结果和近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章  为什么线路下界如此困难
附录
部分习题的提示
参考文献
术语索引
复杂性类索引

文档截图