一、初始状态

给每个变量都赋一个值

二、后继函数

一次改变一个变量的取值

三、约束满足问题的局部搜索

允许状态不符合约束

动作定义为：给变量重新赋值

变量选择：随机选择一个违反约束的变量重新赋值

赋值方案：最小冲突启发式

 

四、约束图转化为树

 

 一般的约束图转化为树的形式：

 

两种方法，基于删除结点，基于合并结点

 

第一种：先对某些变量赋值，使剩下的变量形成一棵树。

第二种：分治，约束图分解为相关联的子问题集，独立求解，合并结果