约束可满足问题

1.约束可满足问题（CSP）由三个基本元素组成：变量集V={V₁,V₂,...,V_l}，变量的域D={D₁,D₂,...,D_l}，约束C。变量的域D是变量可能取值的集合，变量V只能在域D内取值，约束C表述了变量V之间必须满足的关系。求解约束问题就是在各变量的域D中找到一个值S使得各变量之间满足约束C，约束问题也可以表示为三元组<V,D,C>。

2.定义域有限的约束满足问题常利用搜索方法来解决。技术有回溯法，约束传递和局部搜索改良。约束满足问题，一般用于求解满足约束问题的所有解，所以使用搜索算法比较好，而线性规划或者整数规划问题，一般用于找出满足某个条件的最优解，一般使用单纯形法和分支定界法等。