重温预备数学知识
  不等式
  秩
  从秩得到的尾部不等式
  应用
  几乎必然和确乎必然的陈述
  习题
第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  习题解答中谜题的答案