《人工智能 一种现代方法》 第三版 笔记摘录 第6章 约束满足问题

                          AC-3算法补充 定义约束满足问题 定义：使用成分表示来描述状态：即一组变量，每个变量都有自己的值。当每个变量都有自己的赋值的同事满足所有关于变量的约束时，问题就得到了解决。这类问题成为约束满足问题，简称CSP。 约束满足问题包含三个成分 求解CSP 问题的状态由对部分或者全部变量的一个赋值来定义。 一个不违反任何约束条件的赋值称作为相容的或者合

>>阅读原文<<