約束滿足問題

約束滿足問題 （ CSPs ） 是種數學的問題 ， 其定義爲一組物件 ( object ) ， 而這些物件需要滿足一些限制或條件 。 CSPs將其問題中的單元 ( entities ) 表示成在變數上有限條件的一組同質 ( homogeneous ) 的集合, 這類問題透過 " 約束滿足方法 " 來解決 。 CSPs是人工智慧和運籌學 的熱門主題, 因爲它們公式中的規律 ， 提供了共同基礎來分析 、 解決很多看似不相關的問題 。 , 需要同時透過啓發式搜索 和 的方法 ， 來在合理的時間內解決問題 。 布林可滿足性問題 ( SAT ), ( SMT ) 和回答集程式設計 ( ASP ) 可以算是某種程度上的約束滿足問題 。 以下舉例爲幾個簡單的約束滿足問題: 八皇后問題 圖著色問題 填字遊戲 、 數獨及其他一些邏輯益智遊戲 這些是提供的ASP, Boolean SAT和SMT教學課程的人通常會教的 。 在一般情況下 ， 約束滿足問題會是更困難 ， 而且可能難以用這些簡單系統的例子來表達 。 現實生活中的例子包含和資源配置 。