书籍详情
![《计算复杂性：现代方法复杂性理论计算机科学从书》[34M]百度网盘|亲测有效|pdf下载](/uploads/s0309/a5ab7fd152f1dcba.jpg)
计算复杂性：现代方法复杂性理论计算机科学从书
- 出版社:互动创新图书专营店
- 出版时间:2016-01
- 热度:6778
- 上架时间:2024-06-30 09:08:33
- 价格:0.0
书籍下载
书籍预览
免责声明
本站支持尊重有效期内的版权/著作权,所有的资源均来自于互联网网友分享或网盘资源，一旦发现资源涉及侵权，将立即删除。希望所有用户一同监督并反馈问题，如有侵权请联系站长或发送邮件到ebook666@outlook.com,本站将立马改正
内容介绍
| 书[0名0]： | 计算复杂性：现代方[0法0]|4894208 |
| 图书定价： | 129元 |
| 图书作者： | （美）桑杰夫·阿罗拉（Sanjeev Arora）;（美）博阿兹·巴拉克（Boaz Barak） |
| 出版社： | [1机1]械工业出版社 |
| 出版日期： | 2016/1/1 0:00:00 |
| ISBN号： | 9787111518990 |
| 开本： | 16开 |
| 页数： | 477 |
| 版次： | 1-1 |
| 作者简介 |
| 作者简介桑杰夫·阿罗拉（Sanjeev Arora）普林斯顿[0大0][0学0]计算[1机1]科[0学0]系教授，在概率可验证明和NP—难问题的可近似性方[mian]取得了基础性的研究成果。他发起创办了“计算难解性问题中心”，该项目由[0国0]家科[0学0]基金资助。博阿兹·巴拉克（Boaz Barak）现为哈佛[0大0][0学0]计算[1机1]科[0学0]系教授，哈佛[0大0][0学0]工[0学0]院计算理论研究组成员，同时还是微软[亲斤]英格兰研究院[0首0]席研究员，之前是普林斯顿[0大0][0学0]计算[1机1]科[0学0]系副教授。他在计算复杂性和密码[0学0]方[mian]，特别是“非墨盒”技术方[mian]，取得了基础性的研究成果。译者简介骆吉洲，男，1975年生，博士，副教授。2006年5月毕业于哈尔滨工业[0大0][0学0]计算[1机1]科[0学0]与技术[0学0]院软[亻牛]与理论专业，获工[0学0]博士[0学0]位。1999年、2001年在哈尔滨工业[0大0][0学0]数[0学0]系基础数[0学0]专业分别获得理[0学0][0学0]士[0学0]位和理[0学0]硕士[0学0]位。现就职于哈尔滨工业[0大0][0学0]计算[1机1]科[0学0]与技术[0学0]院海量数据计算研究中心，讲授“算[0法0]设计与分析”“数[0学0]建模”“编译原理”等课程。出版教材《算[0法0]设计与分析》一部，出版译著《图论导引》一部。近年来一直从事生物信息[0学0]、压缩数据库技术、传感器网络、算[0法0]理论等[令页]域的研究。[1主1]持和参加多项[0国0]家自然基金、863计划、973项目、[0国0]防预研等项目等多项；2001年9月至2003年5月参加“计算[1机1][1机1]群并行数据库系统”的研制，该项目获得了2004年度[0国0]家科[0学0]技术进步二等奖。近年来发表30余篇论文。 |
| 内容简介 |
| 本书系统地介绍计算复杂性理论的[纟巠]典结果和近30年来取得的[亲斤]成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方[0法0]、[1主1]要工具、研究前沿和待决问题。本书分为三部分。[0第0]一部分（[0第0]1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的[纟巠]典结果和一些现代专题。[0第0]二部分（[0第0]12～16章）讨论了各种具体计算模型上的计算复杂性下界。[0第0]三部分（[0第0]17～23章）[1主1]要是1980年以后人们在复杂性理论方[mian]获得的进展，内容包括计数复杂性、平均复杂性、难度放[0大0]、去随[1机1]化和伪随[1机1]性、PCP定理的证明以及自然证明。本书内容丰富，结构灵活，语言流[0畅0]，是从事计算复杂性理论及相关[令页]域的研究人员必不可少的参考书，非常适合作为打算进入该研究[令页]域的研究生、博士生快速接触研究前沿的参考资料，还非常适合作为普通高校计算[1机1]科[0学0]与技术、数[0学0]专业本科生、研究生相关课程的教材，其中的高级专题还可以作为博士生相关讨论班的素材。 |
| 目录 |
出版者的话 译者序 译者简介 前言 致谢 引言 [0第0]0章 记号约定 [0第0]一部分 基本复杂性类 [0第0]1章 计算模型——为什么模型选择无关紧要 [0第0]2章 NP和NP完全性 [0第0]3章 对角线方[0法0] [0第0]4章 空间复杂性 [0第0]5章 多项式分层和交错 [0第0]6章 布尔线路 [0第0]7章 随[1机1]计算 [0第0]8章 交互式证明 [0第0]9章 密码[0学0] [0第0]10章 量子计算 [0第0]11章 PCP定理和近似难度简介 [0第0]二部分 具体计算模型的下界 [0第0]12章 判定树 [0第0]13章 通信复杂性 习题 [0第0]14章 线路下界：复杂性理论的滑铁卢 [0第0]15章 证明复杂性 [0第0]16章 代数计算模型 [0第0]三部分 高级专题 [0第0]17章 计数复杂性 [0第0]18章 平均复杂性:勒维定理 [0第0]19章 难度放[0大0]和纠错码 [0第0]20章 去随[1机1]化 [0第0]21章 伪随[1机1]构造:扩张图和[扌是]取器 [0第0]22章 PCP定理的证明和傅里叶变换技术 [0第0]23章 为什么线路下界如此困难 附录 部分习题的[扌是]示 参考文献 术语索引 复杂性类索引 |
| 编辑推荐 |
| 计算复杂性理论的研究是计算[1机1]科[0学0]重要的研究[令页]域之一，而Chistos H. Papadimitriou是该[令页]域[0知0][0名0]的专家之一。 计算复杂性是计算[1机1]科[0学0]中思考为什么有些问题用计算[1机1]难以解决的[令页]域，是理论计算[1机1]科[0学0]研究的重要内容。复杂性是计算（复杂性类）和应用（问题）之间复杂而核心的部分。 本书是一本全[mian]阐述计算复杂性理论及其近年来进展的教科书，内容颇为深奥，重点介绍复杂性的计算、问题和逻辑。本书[1主1]要内容包含算[0法0]图灵[1机1]、可计算性等有关计算复杂性理论的基本概念；布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础[0知0]识；P与NP、NP完全等各复杂性类的概念及其之间的关系等复杂性理论的核心内容；随[1机1]算[0法0]、近似算[0法0]、并行算[0法0]及其复杂性理论；以及NP之外（如多项式空间等）复杂性类的介绍。每章[z1u1i]后一节包括相关的参考文献、注解、练习和问题，很多问题涉及更深的结论和研究。 |