第四章搜索3—与或图搜索.pptVIP

内容 4.0 与或树表示 4.1 与/或树的一般搜索 4.2 与/或树的广度优先搜索 4.3 与/或树的深度优先搜索 4.4 与／或树的启发式搜索 4.5 博弈树的启发式搜索 4.0 与或树表示 不同于状态空间方法的另外一种形式化方法。 基本思想： 当一个问题比较复杂时，直接进行求解往往比较困难。 可通过归约（分解或变换），将它转化为一系列较简单的问题。 通过对这些较简单问题的求解来实现对原问题的求解。 4.0 与或树表示 【例4.0】 设有四边形ABCD和A′B′C′D′，证明它们全等。 4.0 与或树表示 分析：原问题分解为两个子问题： 4.0 与或树表示 4.0 与或树表示 4.0.1 分解 问题P可以归约为一组子问题{P1,P2,……,Pn}。 只有当所有子问题Pi(i＝1，2，……，n)都有解时,原问题P才有解。 即分解所得到的子问题的“与”和原问题P等价。 与树 K-连接符 4.0 与或树表示 4.0.2 等价变换 问题P可以归约为一组子问题{P1,P2,……,Pn}。 这些子问题Pi中只要有一个有解则原问题P就有解，只有当所有子问题Pi都无解时原问题P才无解。 即变换所得到的子问题的“或”与原问题P等价。 或树 把一个原问题变换为若干个子问题可用一个“或树”来表示。 4.0 与或树表示 4.0.3 与或树 如果一个问题既需要通过分解，又需要通过变换才能得到其本原问题，则其归约过程可用一个“与/或树”来表示。 4.0 与或树表示 4.0.4 解树 由可解节点构成，并且由这些可解节点可以推出初始节点(它对应着原始问题)为可解节点的子树。 在解树中一定包含初始节点。 4.0 与或树表示 【例4.1】三阶梵塔问题。 解： 用三元组表示问题在任一时刻的状态：(i,j,k) i：代表金片C所在的钢针号； j: 代表金片B所在的钢针号； k; 代表金片A所在的钢针号； 在该与/或树中，有7个终止节点，它们分别对应着7个本原问题。如果把这些本原问题从左至右排列起来，即得到了原始问题的解： 4.0 与或树表示 内容 4.0 与或树表示 4.1 与/或树的一般搜索 4.2 与/或树的广度优先搜索 4.3 与/或树的深度优先搜索 4.4 与／或树的启发式搜索 4.5 博弈树的启发式搜索 4.1 与/或树的一般搜索 与/或树的搜索过程实际上是一个不断寻找解树的过程。其一般搜索过程如下： （1）把原始问题作为初始节点S0，并把它作为当前节 点； （2）应用分解或等价变换操作对当前节点进行扩展； （3）为每个子节点设置指向父节点的指针； （4）选择合适的子节点作为当前节点，反复执行第 （2）步和第（3）步，在此期间需要多次调用可解 标记过程或不可解标记过程，直到初始节点被标 记为可解节点或不可解节点为止。 4.1 与/或树的一般搜索 在与/或树中，除端节点和终止节点外，一个节点的可解性完全是由其子节点来决定的。 对与节点，只有其所有子节点都为可解时它才为可解，只要有一个子节点不可解它就是不可解的； 对或节点，只要有一个子节点可解它就是可解的，仅当所有子节点都是不可解时它才为不可解。 可解标记过程 由可解子节点来确定其父节点、祖父节点为可解节点的过程。 不可解标记过程 由不可解子节点来确定其父节点、祖父节点为不可解节点的过程。 4.1 与/或树的一般搜索 搜索解树的过程中，节点删除策略： ① 如果搜索过程确定某个节点为可解节点，则其不 可解的后裔节点就可从搜索树中删去； ② 如果搜索过程能确定某个节点为不可解节点，则 其后裔节点也可从搜索树中删去。 内容 4.0 与或树表示 4.1 与/或树的一般搜索 4.2 与/或树的广度优先搜索 4.3 与/或树的深度优先搜索 4.4 与／或树的启发式搜索 4.5 博弈树的启发式搜索 4.2 与/或树的广度优先搜索 与/或树的广度优先搜索算法： （1）把初始节点S0 放人Open表中； （2）把Open表的第一个节点取出放入Closed表，并记该节点 为n； （3）如果节点n可扩展，则做下列工作： ①扩展节点n，将其子节点放入Open表的尾部，并为每一个子 节点设置指向父节点的指针； ②考察这些子节点中是否有终止节点。若有，则标记这些终 止节点为可解节点，并用可解标记过程对其父节点及先辈 节点中的可解节点进行标记。 如果初始解节点S0能够被标记为可解节点，就得到了解树，搜索成功，退出搜索过程； 如果不能确定S0为可解节点，则从Ope