说这个定值是完备的(complete)。如果一个定值无矛盾而且完备的，我们说这个定值是一个解(solution)，这样的定值就是CSP的解。
CSPs的解决方法.定义域有限的约束满足问题通常利用搜索方法来解决。最常用的技术是回溯法(backtracking)、约束传递constraint propagation，以及局部搜索local search的改良。回溯法 是一种递回演算法，它保持部分变数的赋值。一开始，所有的变数都还没被赋值。在每一个步骤中，先选取一个变数，并且将所有