【2017年整理】6约束满足问题.ppt

约束满足问题（CSP）;概要;CSP：定义;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;范例：图形着色;范例：图形着色;CSP定义;CSP定义;二元CSP;实例：N个皇后;实例：密算（Cryptarithmetic）;更多实例;CSP：标准搜索;搜索空间;V1;深度优先搜索（DFS）;DFS;CSP：改进;V1;回溯DFS;回溯DFS;回溯DFS评论;向前查看;向前查看;向前查看;向前查看;向前查看;向前查看;约束传播（CP）;约束传播;解图形着色问题的CP;;;注： 在设置V2后，无需更多搜索，只需一步CP就直接得到一个解。 一些问题甚至可无需任何搜索，直接由CP来解。;更一般的CP：边一致性;更一般的CP：k一致性;CSP：启发方式;变量与值的启发式算法;CSP启发式算法：变量排序1;CSP启发式算法：变量排序1;CSP启发式算法：变量排序2;CSP启发式算法：变量排序2;CSP启发式算法：值排序;CSP启发式算法：值排序;CP实例：白描解释;假设;3种可能的边标记;4种可能的交点类型;1;存在3?43?42=208种可能的边标记与交点类型的组合。 例如，在一个Y交点处，有43种可能的边标记组合。但仅有5种实际上可能的组合。;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;CSP形式;+;+;+;+;+;+;+;标记;例子：调度;4项任务 4个资源 10项操作;优先约束： S11+T11?S12 S12+T12?S13 ......; 容量约束： S11+T11?S21或者S21+T21?S11 操作(1,1)和(2,1)享用同一资源R1。因此，要么(1,1)在(2,1)之前全部完成，要么(2,1)在(1,1)之前完成。;一般的CSP解;CSP：树结构CSP;重要特例：约束树;V2V1V4V5V7V3V6V8 将变量排序，使得在序列中一个结点的父结点总出现在该结点之前 如果父域中所有的值与所有子域中的值相一致，则很容易从树根开始来选择一致性的值。;约束树算法;类树;更一般场合;去掉由p个变量组成的连接群G，从而把图形转换成一个可有效求解的树问题。G称为循环割集（cycle cutset） 不知道怎样为G中变量赋值： 对于每次可能的为G中变量的一致性赋值： 将树算法应用于其余变量 总体算法称为割集调节（cutset conditioning）;去掉由p个???量组成的连接群G，从而把图形转换成一个可有效求解的树问题。 G称为循环割集 不知道怎样为G中变量赋值： 对于每次可能的为G中变量的一致性赋值： 将树算法应用于其余变量 总体算法称为割集调节（cutset conditioning） 注： 为实现一次为G中变量的一致性赋值，在最坏场合下，需查看G中所有可能赋值：dp 树算法： (N-p)d2 总时间复杂性：O((N-p)dp+2) 不幸的是，不可能用多项式时间来找到p的极小值。;CSP：解CSP的局域搜索;解CSP的局域搜索技术;解CSP的局域搜索;一般局域搜索：最少冲突算法;;总结