重溫預(yù)備數(shù)學(xué)知識(shí) 1

不等式 3

鞅 6

從鞅得到的尾部不等式 8

應(yīng)用 9

幾乎必然和確乎必然的陳述 11

習(xí)題 12

第7 章組合查找 [4A.1]

7.2 生成所有可能的組合對(duì)象 [4A.281]

7.2.1 生成基本組合模式 [4A.281]

7.2.2 回溯編程 30

數(shù)據(jù)結(jié)構(gòu) 32

沃克方法 33

排列與蘭福德對(duì) 34

單詞矩形 36

無(wú)逗點(diǎn)碼 37

選擇的動(dòng)態(tài)排序 38

重溫順序分配 39

無(wú)逗點(diǎn)碼問(wèn)題的列表 41

行動(dòng)和撤銷(xiāo)的一般機(jī)制 43

無(wú)逗點(diǎn)碼的回溯 44

運(yùn)行時(shí)間估計(jì) 46

*估計(jì)解的個(gè)數(shù) 49

分解問(wèn)題 52

歷史注記 53

習(xí)題 55

7.2.2.1 舞蹈鏈 65

精確覆蓋問(wèn)題 66

副項(xiàng) 70

進(jìn)度報(bào)告 73

數(shù)獨(dú) 74

多聯(lián)骨牌 79

多聯(lián)立方 82

分解精確覆蓋問(wèn)題 83

受限顏色覆蓋 87

引入重?cái)?shù) 92

*新的舞步 95

*分析算法X 98

*分析匹配問(wèn)題 102

*保持適當(dāng)?shù)膶?zhuān)注 104

利用局部等價(jià)性 106

*預(yù)處理選項(xiàng) 108

最小成本解 111

*實(shí)現(xiàn)最小成本截?cái)?116

*使用ZDD 的舞蹈鏈 119

總結(jié) 122

歷史注記 123

習(xí)題（第 1 組） 124

習(xí)題（第 2 組） 156

習(xí)題（第3 組） 174

7.2.2.2 可滿足性 185

一個(gè)簡(jiǎn)單的例子 188

精確覆蓋 189

圖著色 190

因式分解整數(shù) 192

故障測(cè)試 194

學(xué)習(xí)布爾函數(shù) 198

有界模型檢測(cè) 200

互斥中的應(yīng)用 204

數(shù)字體層成像 208

SAT 實(shí)例總結(jié) 210

回溯求解可滿足性問(wèn)題 211

惰性數(shù)據(jù)結(jié)構(gòu) 214

從單元子句強(qiáng)制移動(dòng) 215

算法的比較 218

*通過(guò)更加努力地工作來(lái)獲得提速 219

*通過(guò)前瞻來(lái)獲得提速 223

*更進(jìn)一步的前瞻 229

隨機(jī)可滿足性問(wèn)題 231

分析隨機(jī)2SAT問(wèn)題 235

歸結(jié)法 238

*一般歸結(jié)法的下界 241

使用歸結(jié)的SAT 求解 244

由沖突驅(qū)動(dòng)的子句學(xué)習(xí) 246

不可滿足性證書(shū) 253

*清除無(wú)用的子句 255

*刷新文字并重新開(kāi)始 259

蒙特卡羅算法. . . . . . . . . . . . . . . . . . . . . . 261

局部引理 265

跡與板塊 267

跡上的算術(shù) 269

*跡與局部引理 271

*消息傳遞 274

*預(yù)處理子句 279

將約束編碼為子句 281

單元傳播與強(qiáng)制 287

對(duì)稱(chēng)性破缺 289

�？蓾M足性的映射 291

100 個(gè)測(cè)試樣例 297

調(diào)整參數(shù) 308

利用并行化 312

簡(jiǎn)史 313

習(xí)題 317

習(xí)題答案 370

附錄A 數(shù)值表 656

附錄B 記號(hào)索引 660

附錄C 算法、定理、引理、推論和程序索引 666

附錄D 組合問(wèn)題索引 667

附錄E 習(xí)題解答中謎題的答案 671