本篇是關於着色問題的討論
約束傳播思想：約束規劃(Constraint programming， CP) 是人工智能領域的研究方法， 適合求解具有多種約束的組合優化問題.約束傳播是CP 的關鍵技術之一， 其基本思想是通過循環分析變量、值域和約束， 檢驗並刪除不可能出現在可行解中的變量賦值， 從而約減變量值域. 以上來自百度百科介紹。
下面是一個例子
有紅綠藍黃四種顏色進行着色問題，相鄰圖形不能有相同顏色。每一個圖形都有紅綠藍黃四種選擇。假設最後考慮中間圖形，他有四種選擇，先標在圖中，當1號圖形爲紅時，我們按紅綠藍黃的順序來進行着色。中間圖形與2號圖形排除紅色，2號圖形使用綠色，中間圖形和3號排除綠色，依次往下，3號爲藍色，4號爲黃色，但此時中間圖形沒有選擇，則程序回退，中間圖形爲黃色，4號圖形爲紅色。
僞代碼如下
上圖爲域縮減算法的僞代碼：核心思想就是減少下一個圖片作色的選擇域。
在着色問題中，先從周圍鄰居多的開始着色要優於先從周圍鄰居少的開始着色。
約束傳播思想還能應用在資源調度問題上