約束滿足問題

目錄 1.CSP定義 2.與局部搜索的區別 3.如何形式化CSP 4.約束傳播與局部相容性 5.CSP形式化爲一個搜索問題（回溯） 6.CSP回溯搜索如何提高搜索效率 1.CSP定義 使用一組變量來描述狀態，每個變量有自己的值。當每個變量都有自己的賦值同時滿足所有關於變量的約束時，問題就得到了解決。 2.與局部搜索的區別 局部搜索一次爲8個變量賦值，再調整取值；CSP部分賦值，一次爲一個變量賦值。

>>阅读原文<<