近世计算理论导引 NP难度问题的背景、前景及其求解算法研究PDF电子书下载

第一章 计算的数学模型——Turing机 1

1．Turing机的定义及其直观形象 2

2．Turing机所计算的函数和所接受的语言，计算复杂度 6

3．Church-Turing论题 7

4．Turing机的编码 8

第二章 不可计算性 11

1．胜弈机之不存在性 12

2．不可计算函数的存在性 12

3．停机问题的不可解性 14

4．Turing机停机问题之Turing机不可解性 16

5．G？del不完备性定理 16

第三章 NP完全理论 18

1．增长速度 19

2．P和NP 22

3．Cook定理 36

4．另外几个NP完全问题 40

第四章 现实生活中的NP难度问题及其现实处理方法——处理NP难度问题的拟物拟人途径 47

1．求解Packing问题的拟物方法 50

2．求解覆盖（Covering）问题的拟物方法 53

3．求解SAT问题的拟物方法 54

4．求解不等圆Packing问题的拟物拟人方法 57

5．求解SAT问题的拟物拟人方法 62

6．求解不等圆Packing问题的纯粹拟人方法 68

第五章 设计算法与研究计算复杂度的结构的一个工具——有穷损害优先方法 71

1．递归论中的几个基本概念 73

2．单纯集的存在性的构造性证明 75

3．对有穷损害优先方法的几点评注 78

参考文献 79