第4章与或图搜索课题.ppt

第四章 与或图搜索;问题: 在边长为 2 的正方形内，任意放置 5 个点，求证其中必存在两个点，它们之间的距离不大于?2。 问题可转化为：在四个单位正方形内，任意放置5个点，至少有两个点在同一正方形内。;问题: 假定我们已经会求矩形的面积，现在要求如图所示的五边形的面积。 方法分析: 五边形的面积转化为矩形面积。;求解步骤：;问题归约法: 当问题复杂时，可把初始问题分解成若干简单的子问题，若子问题仍复杂，可再进一步分解，直到这些子问题的解可直接得到。这种问题的描述和求解方法，称为~. 本原问题: 可直接解答的问题称为~ ，它是不必证明的、自然成立的. 归约法的组成： 1）一个初始问题的描述； 2）一组把问题变成子问题的算子 (分解或转换)； 3）?一组本原问题的描述 不同的算子对应不同的关系,从而使问题归约的描述可用一个与或图的结构来表示.;2 与或图;定义：与或图就是包含与节点和或节点的图，即存在超弧的图，也称为超图. 超图与状态空间图有什么区别？ 与或图是一种更一般的图. 定义：一超弧所相关的边数（K）被称为该超弧的度，实现的连接称为K-连接. K—连接符：从一个父节点指向一组含有K个后继节点的节点集.;在与或图中，节点 n0 有两个连接符：1-连接符指向节点 n1；2-连接符指向节点集合{n4、n5}； 对于节点 n0 来讲，n1 可称为或节点，n4、n5 可称为与节点。 ;3 与或图搜索;定义：不能解节点的递归定义为: 1．没有后裔的非终节点是不能解的节点； 2．若非终节点有 “或” 子节点时，当且仅当所有子节点均不能解时，该非终节点才不能解； 3．若非终节点有 “与” 子节点时，当至少有一子节点不能解时，该非终节点才不能解.;是由能解节点构成的一个子图，是包含一节点（n）到目的(终)节点集合（N）的、连通的能解节点的子图. 在一个与或图 G 中，从节点 n 到节点集 N 的解图记为 G?， G? 是 G 的子图. 1．若 n 是N的一个元素，则G?由单个节点n组成； 2．若 n 有一个指向节点集 {n1…,nk} 的外向连接符 K，使得从每一个节点 ni 到 N 有一个解图 (i=1,…,k)，则 G?由节点 n，连接符 K，以及 {n1 ,…,nk}中的每一个节点到 N 的解图所组成； 3．否则 n 到 N 不存在解图. 如果 n=s 为初始节点，则解图为所求解问题的解图.;若解图的耗散值记为 k(n, N)，则可递归计算如下： 若 n 是 N 的一个元素，则 k(n, N)=0； 若 n 有一个外向连接符指向其后继节点集合{n1…,ni}，并设该连接符的耗散值为 Cn（一般k-连接符的耗散值=k ），则 k(n, N)= Cn+ k(n1, N)+…+ k(ni, N) 具有最小耗散值的解图称为最佳解图，其值也用 h*(n) 标记。;例：从节点 n 开始，正确选择一个外向连接符，一直进行下去直到产生的每一个后继节点成为集合N中的一个元素为止。下图给出了 n0 →{n7，n8}的三个解图（耗散值分别为 8，7，5）.;与或图搜索与状态空间图搜索的区别：;4 与或图启发式搜索算法 AO*;7 S:={n}; 建立含 n 的节点集合S.（已扩展待修正） 8 Until S为空, do: 9 Begin (m为S中任一节点) 10 REMOVE(m, S),当 mc?{S};（m→mc ,从底层开始修正） 11 ? 修改 m 的耗散值 q(m): 对 m 指向节点集 (n1i，n2i, … nki) 的每一个连接符 i 分别计算qi, qi(m)=Ci+q(n1i)+…+q(nki), 并取 q(m):= min qi (m); ? 加(或修正)指针到 min qi (m) 的连接符上. IF M(nji, SOLVED) THEN M(m, SOLVED);（j=1，2，…，k）若该连接符的所有子节点都是能解的,则m也能解. 12 IF M(m, SOLVED) ? (q(m) ? q0(m)) THEN ADD(ma, S); m 能解或修正的耗散值与原先估算q0不同,则把m的所有先辈节点ma添加到S中. （能解或修正向上传递） 13 end (与8匹配) 14 ?end (与2匹配);两个过程的重复: 自上而下的图生长过程（4-6步）: 先通过有标记的连接符，找到目前为止最好的一个局部解图，然后对其中一个非终节点进行扩展，并对其后继节点赋估计耗散值和加能解标记. 自下而上的估价函数值的修正、连接符的标记和SOLVED的标注过程(7-12): 耗散值的修正从刚被扩展的节点n开始，其修正耗散值q(n)取所有估计值中最小