计算复杂性:现代方法 = Computational complexity:a modern approach
Saved in:
Main Authors: | ; |
---|---|
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定理的证明以及自然证明。 |