約束知足問題 CSP【轉】

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

>>阅读原文<<