《人工智能 一種現代方法》 第三版 筆記摘錄 第6章 約束滿足問題

                          AC-3算法補充 定義約束滿足問題 定義：使用成分表示來描述狀態：即一組變量，每個變量都有自己的值。當每個變量都有自己的賦值的同事滿足所有關於變量的約束時，問題就得到了解決。這類問題成爲約束滿足問題，簡稱CSP。 約束滿足問題包含三個成分 求解CSP 問題的狀態由對部分或者全部變量的一個賦值來定義。 一個不違反任何約束條件的賦值稱作爲相容的或者合

>>阅读原文<<