人工智能-一种现代的方法-chapter6-约束满足问题

第六章 约束满足问题

6.0绪论

从搜索算法的角度看，每个状态都是原子的，或者是不可见的
本章，使用成分表示来描述状态：一组变量，每个变量都有自己的值。当每个变量都有自己的赋值，同时满足所有关于变量的约束时，问题就得到了解决。
这类问题称为约束满足问题(CSP)

CSP搜索算法使用的是通用策略，而不是问题专用启发式来求解复杂问题。
主要思想是通过识别违反约束的变量/值的组合迅速消除大规模的搜索空间。

---

---

6.1定义约束满足条件

• 1.约束满足问题包含三个成分：X、D和C。
  
  值域$D_{i}$是由变量$X_{i}$的可能取值{ $v_{1},.....v_{k}$