約束滿足问題

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