约束满足问题.pptVIP

约束满足问题（CSP） 概要 CSP定义 标准搜索 方法改进 回溯 向前查看 约束传播 启发式算法 变量排序 值排序 CSP实例 树结构CSP 解CSP的局域搜索 CSP：定义 范例：图形着色 考虑一个图形中的N个结点。 把变量V1,…,VN的值赋给N个结点。 值取自{R,G,B} 约束：如果i与j之间有边，则Vi与Vj必不同。 范例：图形着色 CSP定义 CSP={V,D,C} 变量：V={V1,…,VN} 例如：图中结点的值 域：每个变量能取的d个值的集 例如：D={R,G,B} 约束：C={C1,…,CK} 每个约束由一组变量与一列该组变量允许取的值组成 例如：[(V2,V3),{(R,B),(R,G),(B,R),(B,G),(G,R),(G,B)}] 通常隐式地定义约束，即，定义一个函数来测试一组变量是否满足该约束 例如：对每条边(i,j)，有Vi?Vj CSP定义 CSP的解：每个变量有一个满足所有相关约束的值 特点： 状态的分解表示：一组变量及其值 利用状态的结构和通用启发方式 通过确定违反约束的变量与值组合可取消大部分搜索空间 二元CSP 如果变量V与V’出现在一个约束中，则它们是有联系的。 V近邻=与V有联系的变量。 V域，记为D(V)，为变量V可取值的集。 Di=D(Vi) 二元CSP问题的约束图： 结点是变量 连线代表约束 与图形着色问题相同 实例：N个皇