计算复杂性:现代方法 = Computational complexity:a modern approach

Saved in:
Bibliographic Details
Main Authors: 美 阿罗拉 Arora, Sanjeev ((美)桑杰夫·阿罗拉(Sanjeev Arora),(美)博阿兹·巴拉克(Boaz Barak)著); 美 巴拉克 Barak, Boaz
Group Author: 骆吉洲 (译)
Published: 机械工业出版社
Publisher Address: 北京
Publication Dates: 2016
Literature type: Book
Language: Chinese
Series: 计算机科学丛书
Subjects:
Carrier Form: 22,477页: 图 ; 26cm
ISBN: 978-7-111-51899-0
Index Number: TP301
CLC: TP301.5
Call Number: TP301.5/7265
Contents: 本书分为三部分。第一部分介绍了复杂性理论,包括复杂性理论的经典结果和一些现代专题。第二部分讨论了各种具体计算模型上的计算复杂性下界。第三部分主要是1980年以后人们在复杂性理论方面获得的进展,内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。