CSP約束滿足的回溯搜索，本質(zhì)上也是一中深度優(yōu)先搜索算法

但是增加了類似剪枝的功能，如果回溯時發(fā)現(xiàn)部分后續(xù)節(jié)點(diǎn)不是最優(yōu)的，則拋棄這些后續(xù)節(jié)點(diǎn)

用約束滿足問題來解決四皇后問題

CSP回溯算法的邏輯：

對于回溯問題的優(yōu)化三個思路

回溯搜索不僅僅搜索的是最優(yōu)策略，也要搜索約束條件

如澳大利亞的地圖上色問題

一方面是約束問題（相鄰省份不能用相同的顏色）

通過回溯，組合搜索（一個省份的顏色賦值，取決于所有相鄰省份的已確定的顏色賦值）

啟發(fā)式函數(shù)

智能回溯

回到上一步，查看上一步如果可能賦值得到的群體不同后續(xù)策略

并傾向于選擇上一步能獲得最多后續(xù)可能策略的步驟