约束满足问题的局部搜索

一、初始状态

给每个变量都赋一个值

二、后继函数

一次改变一个变量的取值

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

允许状态不符合约束

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

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

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

 

四、约束图转化为树

 

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

 

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

 


第一种:先对某些变量赋值,使剩下的变量形成一棵树。
第二种:分治,约束图分解为相关联的子问题集,独立求解,合并结果

 

posted @ 2018-03-18 18:38  夜游星  阅读(624)  评论(0编辑  收藏  举报