約束滿足問題 CSP【轉】

約束滿足問題   約束滿足問題在人工智能領域有着廣泛的應用。比如新的學期教室的規劃分配，飛機場跑道的佔用情況，它們都涉及了約束條件。我們所熟知的經典的皇后問題、幻方問題都屬於約束滿足問題。約束滿足問題可以分爲二元約束滿足問題和多元約束滿足問題。其中，多元約束滿足問題可以被劃分爲等價的二元約束滿足問題。因而，研究二元約束滿足問題是一個重要的研究方向。在已有的約束傳播技術中，弧相容（AC）出現的最早，

>>阅读原文<<