[
-
内容大纲
“计算机程序设计艺术”系列是图灵奖得主高德纳倾尽心血进行的一项巨大的写作计划，这套书被公认为计算机科学领域的权威之作，深入阐述了程序设计和算法理论，对计算机领域的发展有着极为深远的影响。高德纳是算法和程序设计领域的先驱者，对计算机科学发展史也有着深入的研究，书中在介绍众多理论的同时，也给出了相关的历史和发展进程，成为本书的一大特色。本书是该系列的卷4B，以7.2.2节开篇，讨论回溯编程，内容包括舞蹈链、精准覆盖问题、算法谜题、可满足性问题等。
本书适合从事计算机科学、计算数学等各方面工作的人员阅读，也适合高等院校相关专业的师生作为教学参考书，对于想深入理解计算机算法的读者，是一份必不可少的珍品。 -
作者介绍
高德纳（Donald E.Knuth），著名计算机科学家，算法与程序设计技术的先驱者、斯坦福大学计算机系荣休教授、计算机排版系统TEX和METAFONT字体系统的发明人，因诸多成就以及大量富于创造力和具有深远影响的著作（19部书，1160篇论文）而誉满全球。近些年，他将精力全部投入到《计算机程序设计艺术》七卷集的史诗般创作中。Knuth教授获得过许多奖项和荣誉，包括美国计算机协会图灵奖、美国国家科学奖章、美国数学学会的斯蒂尔奖，以及因发明先进技术于1996年荣获的京都奖。1996年，设立了以其名字命名的Donald E.Knuth奖，授予那些为计算机科学基础做出杰出贡献的人。 -
目录
重温预备数学知识
不等式
秩
从秩得到的尾部不等式
应用
几乎必然和确乎必然的陈述
习题
第7章 组合查找
7.2 生成所有可能的组合对象
7.2.1 生成基本组合模式
7.2.2 回溯编程
数据结构
沃克方法
排列与兰福德对
单词矩形
无逗点码
选择的动态排序
重温顺序分配
无逗点码问题的列表
行动和撤销的一般机制
无逗点码的回溯
运行时间估计
*估计解的个数
分解问题
历史注记
习题
7.2.2.1 舞蹈链
精确覆盖问题
副项
进度报告
数独
多联骨牌
多联立方
分解精确覆盖问题
受限颜色覆盖
引入重数
*新的舞步
*分析算法X
*分析匹配问题
*保持适当的专注
利用局部等价性
*预处理选项
最小成本解
*实现最小成本截断
*使用ZDD的舞蹈链
总结
历史注记
习题（第1组）
习题（第2组）
习题（第3组）
7.2.2.2 可满足性
一个简单的例子
精确覆盖
图着色
因式分解整数
故障测试
学习布尔函数
有界模型检测
互斥中的应用
数字体层成像
SAT实例——总结
回溯求解可满足性问题
惰性数据结构
从单元子句强制移动
算法的比较
*通过更加努力地工作来获得提速
*通过前瞻来获得提速
*更进一步的前瞻
随机可满足性问题
分析随机2SAT问题
归结法
*一般归结法的下界
使用归结的SAT求解
由冲突驱动的子句学习
不可满足性证书
*清除无用的子句
*刷新文字并重新开始
蒙特卡罗算法
局部引理
迹与板块
迹上的算术
*迹与局部引理
*消息传递
*预处理子句
将约束编码为子句
单元传播与强制
对称性破缺
保可满足性的映射
100个测试样例
调整参数
利用并行化
简史
习题
习题答案
附录A 数值表
附录B 记号索引
附录C 算法、定理、引理、推论和程序索引
附录D 组合问题索引
附录E 习题解答中谜题的答案
同类热销排行榜
- C语言与程序设计教程(高等学校计算机类十二五规划教材)16
- 电机与拖动基础(教育部高等学校自动化专业教学指导分委员会规划工程应用型自动化专业系列教材)13.48
- 传感器与检测技术(第2版高职高专电子信息类系列教材)13.6
- ASP.NET项目开发实战(高职高专计算机项目任务驱动模式教材)15.2
- Access数据库实用教程(第2版十二五职业教育国家规划教材)14.72
- 信号与系统(第3版下普通高等教育九五国家级重点教材)15.08
- 电气控制与PLC(普通高等教育十二五电气信息类规划教材)17.2
- 数字电子技术基础(第2版)17.36
- VB程序设计及应用(第3版十二五职业教育国家规划教材)14.32
- Java Web从入门到精通(附光盘)/软件开发视频大讲堂27.92
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔，龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年，恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...