西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算复杂性:现代方法/(美) 桑杰夫·阿罗拉, (美) 博阿兹·巴拉克著 骆吉洲译

出版发行项:

北京:机械工业出版社,2016

ISBN及定价:

978-7-111-51899-0/CNY129.00

载体形态项:

XXII, 477页:图;26cm

并列正题名:

Computational complexity:a modern approach

其它题名:

现代方法

丛编项:

计算机科学丛书

个人责任者:

阿罗拉 (Arora, Sanjeev) 著

个人责任者:

巴拉克 (Barak, Boaz) 著

个人次要责任者:

骆吉洲 译

学科主题:

计算复杂性

中图法分类号:

TP301.5

一般附注:

华章教育

出版发行附注:

由剑桥大学出版社与机械工业出版社合作出版

书目附注:

有书目 (第447-471页) 和索引

提要文摘附注:

本书系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。第一部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。

豆瓣简介：