解。
CSPs的解决方法.定义域有限的约束满足问题通常利用搜索方法来解决。最常用的技术是回溯法(backtracking)、约束传递constraint propagation，以及局部搜索local search的改良。回溯法是一种递回演算法，它保持部分变数的赋值。一开始，所有的变数都还没被赋值。在每一个步骤中，先选取一个变数，并且将所有可能的值依次赋予该变数。对于每一个值，在限制条件下的局部赋值的无矛盾性(consistency)都进行检查。在符合无矛盾(consiste