|
| | |
|
作者：黄文奇
出版社：科学
出版日期：2004-6-1
译者：
|
|
ISBN：703012617 |
| 开本：16开 |
|
装帧： |
原价：
20 元 |
|
| | 三星会员：17.39 元 |
二星：17.77 元 |
一星：18.14 元 |
普通：18.70 元 |
|
 
团购服务电话13146064908 价格优惠！ |
|
|
|
本书对迄今为止有关计算理论的实质性成果作了深刻、严格而又直观的论述，为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效的求解途径。它在透彻讲解图灵机的基础上，阐明了为什么会有计算机不可解的问题，会有计算机难解的问题；然后为当代实质性的计算机难解问题，即NP难度问题指明了得出高性能求解算法的现实途径——拟物、拟人途径；最后为设计算法与分析问题的复杂度提供了一个强有力的工具——有穷损害优先方法。
本书的内容经过不同组合可作为大学生、硕士生、博士生的教材，也可供有关的科技人员参考。
|
|
| 
|
| 
第一章 计算的数学模型——Turing机
1. Turing机的定义及其直观形象
2. Turing机所计算的函数和所接受的语言, 计算复杂度
3. Church-Turing论题
4. Turing机的编码
第二章 不可计算性
1. 胜弈机之不存在性
2. 不可计算函数的存在性
3. 停机问题的不可解性
4. Turing机停机问题之Turing机不可解性
5. Godel不完备性定理
第三章 NP完全理论
1. 增长速度
2. P和NP
3. Cook定理
4. 另外几个NP完全问题
第四章 现实生活中的NP难度问题及其现实处理方法——处理NP难度问题的拟物拟人途径
1. 求解Packing问题的拟物方法
2. 求解覆盖 Covering 问题的拟物方法
3. 求解SAT问题的拟物方法
4. 求解不等圆Packing问题的拟物拟人方法
5. 求解SAT问题的拟物拟人方法
6. 求解不等圆Packing问题的纯粹拟人方法
第五章 设计算法 更多>>
|
|
|
| |
