第一章 計算模型
1. 1 符號行, 編碼和布爾函數(shù)
1. 2 確定型圖靈機
1. 3 非確定型圖靈機
練習題
第二章 計算復雜性類
2. l 時間與空間
2. 2 通用圖靈機
2. 3 對角線方法
2. 4 模擬
練習題
第三章 NP-完全問題
3. 1 NP
3. 2 Cook定理
3. 3 NP-完全問題的例子
3. 4 多項式時間圖靈歸約
練習題
第四章 多項式時間分層和多項式空間
4. 1 非確定型帶神喻圖靈機
4. 2 多項式時間分層
4. 3 PH中的完全問題
4. 4 交替圖靈機
4. 5 PSPACE-完全問題
練習題
第五章 線路復雜性
5. 1 布爾線路
5. 2 單調遞增函數(shù)與單調線路
5. 3 奇偶性函數(shù)與深度有界線路
5. 4 多項式規(guī)模布爾線路
練習題
第六章 NP類的結構
6. 1 NP中的非完全問題
6. 2 單向函數(shù)及其在密碼學中的應用
6. 3 NC
6. 4 P-完全性
6. 5 NP-完全問題的密度
6. 6 EXP-完全問題的密度
練習題
第七章 概率機與復雜性類
7. 1 隨機算法
7. 2 概率圖靈機及其時間復雜性
7. 3 帶有界誤差的概率機
7. 4 BPP, NP和多項式時間分層
練習題
第八章 計數(shù)復雜性
8. 1 計數(shù)類#尸
8. 2 #P-完全問題
8. 3 P和多項式時間分層
8. 4 #P和多項式時間分層
練習題
第九章 交互證明系統(tǒng)
9. 1 例子與定義
9. 2 亞瑟一默林證明系統(tǒng)
9. 3 AM分層與多項式時間分層
9. 4 IP與 AM
9. 5 IP與 PSPACE
練習題
第十章 概率可驗證明
10. 1 PCP的定義
10. 2 NEXPPOLY的PCP特征
10. 2. 1 主要證明
10. 2. 2 多重線性測試系統(tǒng)
10. 2. 3 和檢驗系統(tǒng)
10. 3 NP的 PCP特征
10. 3. 1 使用O(logn)個隨機數(shù)碼的 PCP系統(tǒng)
10. 3. 2 低階測試系統(tǒng)
10. 3. 3 兩個PCP系統(tǒng)的復合
10. 3. 4 閱讀常數(shù)多神喻數(shù)碼的PCP系統(tǒng)
練習題
第十一章 近似解的復雜性
11. 1 NP-完全優(yōu)化問題
11. 2 PCP和不可近似性
11. 3 優(yōu)化問題的歸約
11. 4 難近似的優(yōu)化問題
練習題
第十二章 平均NP-完全性理論
12. l 平均易解性
12. 2 多項式時間歸約
12. 3 p-分布
12. 4 平均NP-完全問題
12. 5 扁平分布與隨機歸約
12. 6 扁平分布下的完全問題
12. 7 可抽樣分布
練習題
參考文獻
名詞索引(漢英對照)