RGZN3图搜索技术中的问题归约.docVIP

图搜索技术 ---问题归约(Problem Reduction) 某些比较复杂的问题求解方法含有子问题的概念。应用这种方法去分析原始问题以产生一个子问题的集合。这样，对该子问题集合的某个具体子集的解答就意味着是对原始问题的一个解答。例如“猴子和香蕉”问题的例子。 为了解答“猴子和香蕉”这个总问题，我们可以把它归约为下列四个子问题： 子问题１：猴子从位置ａ走到位置ｂ； 子问题２：猴子把箱子从位置ｂ推到位置ｃ； 子问题３：猴子爬上箱顶； 子问题４：猴子摘到香蕉。 如果我们能够得到这四个子问题的一组解答，那么我们也就求得“猴子和香蕉”问题的一个解答。每个子问题可用任何一种可行的方法加以解答。可用上一章中的状态空间法求解，也可用归约的方法再进行分析并产生出子——子问题等等。 任何首先产生子问题然后又解决子问题的解题方法，叫问题归约法。状态空间法问题归约方法 节点: 状态问题 算符: 一状态 另一状态将大问题分解为一批小问题 求解: 在一个图(纯”或”图)中在一个”与或”图中找一找一条”解路”棵”解树”例: 已知结论I,L,K成立,试证明结论A成立。一个采用问题归约的问题表示可由下列三部分组成： 1.一个初始问题描述；如对结论的A描述 2.一套把问题变换为子问题的算符； 3.一套本原问题描述。如 I,L,K 采用问题归约法生成与或图的足够部分以 问题求解证明始点是可解的 3.1.1 示例（梵塔难题） 它的一种通常的提法如下：有三个柱子（1、2和3）和三个不同尺寸的圆盘（A、B和C）。在每个圆盘的中心有个孔，所以圆盘可以堆叠在柱子上。最初，全部三个圆盘都堆在柱子1上：最大的圆盘C在底部；最小的圆盘A在顶部。要求把所有圆盘都移到柱子3上。搬动圆盘时，每次只许移一个，而且只能先搬动柱子顶部的圆盘，还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上。这个问题的初始配置和目标配置如图所示。柱123起始状态柱 123目标状态 当然，这个问题可用状态空间法来求解。 状态 （i，j，k） 描述：大片在i上；中片在柱子j上；而小片在柱子k上。 起始状态 （1，1，1） 目标状态 （3，3，3） 状态空间搜索图为：：：：梵塔难题也可以由简单的问题归约方法来求解。梵塔问题的一种传统提法是64个圆盘，而不仅仅是三个圆盘。如果按照前述有关规则来把64个不同尺寸的圆盘从柱子1移至柱子3，那么需要搬动圆盘264－1≈264=1064log2≈1019.27次！ 问题归约解法 始问题 （1，1，1） （3，3，3） 算符： 将大问题（难度为n）分解为若干个小问题（难度〈= n-1）本原问题：一次只移一片的问题，即状态空间中只需迈一步就可解决的问题 问题归约图可把状态空间中每一状态（节点）看成是从该状态到目标状态所形成的问题： 状态 i状态j 3.1.2 问题归约方法中的问题描述用状态空间表示来描述某个问题往往是方便的。我们已经知道，任何状态空间搜索问题可以由下列三部分来表示：1.初始状态的集合S；2.把一些状态描述变换为另一些描述的算符集合F；3.目标状态集合G。于是，三元组合（S，F，G）就规定了一个问题，并且可作为一个问题描述。对于梵塔难题，基本上也应用了这种表示法。 3.1.3 问题归约算符 定理证明中问题的归约形式： 问题表示： 令S代表我们要证明是正确的论点，T代表前提论点的集合。这样，我们就令 S|T （读做S给T）描述已知T前提的S证明问题。 即：若有前提论点集合T,则必有结论S的证明问题 归约方式：一般情况下，需加入个前提，从而归约方式变成：3.1.4 本原问题描述 状态空间搜索中走动一步就可解决的问题 具有已知解答的可能是相当复杂的问题第二节 与或图表示 3.2.1 与或图 例如，设想问题A既可由求解问题B和C，也可由求解问题D、E和F，或者由单独求解问题G来解决。这一关系可由如下图所示的结构来表示。图中各节点由它们所表示的问题来标记。要使含有一个以上子问题的每个节点集合都聚集在它们各自的父辈节点之下，从而需引入附加节点M,NM和N 作为附加节点分别为{B,C} {D,E,F}的唯一父辈节点，将M和N理解为具有问题描述作用。问题A被归约为单一替换子问题M、N、G. 可解节点: 1.终叶节点是可解节点（因为它们与本原问题相关连）。 2.如果某个非终叶节点含有或后继节点，那么只有当其后继节点至少有一个是可解时，此非终叶节点才是可解的。 3.如果某个非终叶节点含有与后继节点，那么只有当其后继节点全部为可解时，此非终叶节点才是可解的。 不可解节点: 1.没有后裔的非终叶节点为不可解节点。 2.如果某个非终叶节点含有或后继节点，那么只有当其全部后裔为