人工智能第六章——約束滿足問題(CSP)

摘要 本文會講清楚: 1)什麼是CSP(約束滿足問題) 2)約束傳播與局部相容性 3)CSP形式化爲一個搜索問題(回溯法) 4)如何提高搜索效率(變量/值的順序,提前檢查失敗等) 一、CSP 使用要素化來描述狀態:一組變量,每個變量有自己的值。當每個變量都有自己的賦值同時滿足所有關於變量的約束時,問題就得到了解決。這類問題就叫做約束滿足問題(CSP),全稱Constraint Satisfacti
相關文章
相關標籤/搜索