当前位置:首页 > 工业技术
近世计算理论导引 NP难度问题的背景、前景及其求解算法研究
近世计算理论导引 NP难度问题的背景、前景及其求解算法研究

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

工业技术

  • 电子书积分:7 积分如何计算积分?
  • 作 者:黄文奇,许如初著
  • 出 版 社:北京:科学出版社
  • 出版年份:2004
  • ISBN:7030126173
  • 页数:87 页
图书介绍:本书对迄今为止的历史上的有关计算理论了的实质性成果作了深刻、严格而又直观的论述。为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效的求解途径。本书的不同部分的不同组合可作为大学生、硕士生、博士生的教材,也可供有关的科技人员参考。
《近世计算理论导引 NP难度问题的背景、前景及其求解算法研究》目录

第一章 计算的数学模型——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

返回顶部