计算机和难解性 NP完全性理论导引PDF电子书下载

第一章　计算机、复杂性和难解性 1

1.1　引言 1

1.2　问题、算法和复杂性 4

1.3　多项式时间算法和难解问题 7

1.4　可证的难解问题 12

1.5　NP完全问题 14

1.6　全书概貌 16

第二章　NP完全性理论 19

2.1　判定问题、语言和编码方案 19

2.2　确定型图灵机和P类 26

2.3　非确定型计算和NP类 31

2.4 P与NP的关系 37

2.5　多项式变换和NP完全性 39

2.6　Cook定理 45

第三章　NP完全性证明 53

3.1　六个基本的NP完全问题 53

3.1.1　三元可满足性 56

3.1.2　三维匹配 59

3.1.3　顶点覆盖和团 64

3.1.4　哈密顿回路 67

3.1.5　划分 72

3.2　NP完全性的证明方法 75

3.2.1　限制法 76

3.2.2　局部替换法 80

3.2.3　分量设计法 88

3.3　练习 91

第四章　用NP完全性分析问题 95

4.1　分析子问题 98

4.2　数字问题和强NP完全性 111

4.2.1　几个附加定义 113

4.2.2　强NP完全性证明 118

4.3　把时间复杂性表成自然参数的函数形式 131

第五章　NP难度 134

5.1　图灵可归约性和NP难的问题 134

5.2　术语的历史 145

第六章　处理NP完全问题 150

6.1　近似算法的性能保证 152

6.2　把NP完全性应用于近似问题 170

6.3　性能保证和“在实践中”的执行情况 184

第七章　NP完全性之外的问题 187

7.1　NP的结构 187

7.2　多项式谱系 196

7.3　计数问题的复杂性 205

7.4　多项式空间完全性 208

7.5　对数空间 218

7.6　难解性证明和P与NP 224

附录A NP完全问题汇编 231

附录B　NP完全性专栏：进展介绍 434

参考文献 580

名词及问题索引 582