約束滿足問(wèn)題是一類問(wèn)題的統(tǒng)稱

標(biāo)準(zhǔn)搜索的狀態(tài)是一個(gè)節(jié)點(diǎn)，節(jié)點(diǎn)對(duì)應(yīng)某一個(gè)特定的狀態(tài)，節(jié)點(diǎn)是不可分割的。

約束滿足問(wèn)題CSP的狀態(tài)，是一系列因子及其狀態(tài)結(jié)構(gòu)的組合。

約束滿足問(wèn)題，常常需要啟發(fā)式（歷史經(jīng)驗(yàn)）與組合搜索方法

一個(gè)CSP通常包括三元組

變量x，變量的集合

范疇D，（x對(duì)應(yīng)v的集合）

約束C，約束的集合

地圖著色問(wèn)題：

變量x，相當(dāng)于每個(gè)州的名稱和位置

范疇D，相當(dāng)于x的賦值v的集合，紅、綠、藍(lán)

約束C，相鄰兩個(gè)州的顏色不能一致。

四色定理的計(jì)算機(jī)解決方法

作業(yè)車間調(diào)度，約束滿足問(wèn)題

任務(wù)互相之間的約束

CSP的不同類型

有限空間/無(wú)限空間

離散/連續(xù)

n元約束

勇于解決算式迷問(wèn)題

算式迷的舉例

x變量，每一個(gè)字母的賦值

D范疇，每一個(gè)字母可能的值，（0~9）

D約束，幾個(gè)字母之間滿足的等式

約束滿足問(wèn)題，也常常用來(lái)處理決策的問(wèn)題