第4章-图搜索策略.pptVIP

作者 朱福喜 朱三元 搜索虽然从①→②→⑧→⑩→⑤比①→③→⑤更长，但由于走③分枝的同时还必须走④，而④不可能通向解, 所以有时走长点的路径比短路径要好一些。 1 2 3 4 7 5 6 9 10 8 目标 不可解 作者 朱福喜 朱三元 3. 与/或图搜索的限制 与/或图搜索仅对不含回路的图进行操作。 例如： 　x 　y ?表示求了x就可以求y.，求了y就可以求x，两者都不可能求解。 作者 朱福喜 朱三元 4.2.3 与/或图搜索算法AO* AO*算法： 1. 令G=Init,计算h’(Init)。 2. 在Init标志solved之前或h’(Init)变成大于Futility之前，执行以下步骤： 2.1沿始于Init的已带标志的弧，选出当前沿标志路上未扩展的节点之一扩展（即求后继节点），此节点称为node。 作者 朱福喜 朱三元 2.2 生成node的后继节点。 若无后继节点，则令h’(node)=Futility,说明该节点不可解； 若有后继节点，称为successor,对每个不是node祖先的后继节点（避免回路），执行下述步骤： 2.2.1 将successor加入G。 2.2.2 若successor∈Sg,则标志successor为solved，且令h’(successor)=0。 2.2.3 若successor∈Sg,则求h’(successor) 作者 朱福喜 朱三元 2.3 由底向上作评价值修正，重新挑选最优路径。 　//　令S为一节点集。 　//　S＝｛已标志为solved的点，或h’值已 // 改变, 需回传至其先辈节点的节点｝ 　 令S初值＝｛node｝,重复下述过程，直到S为空时停止。 2.3.1 从S中挑选一节点,该节点的后辈点均不在S中(保证每一正在处理的点都在其先辈节点之前作处理),此节点称为current,并从S中删除; 作者 朱福喜 朱三元 2.3.2 计算始于current的每条弧的费用,即每条弧本身的费用加上弧末端节点h’ 的值(注意区分与,或弧的计算方法),并从中选出极小费用的弧作为h’（current）的新值。 2.3.3 将费用最小弧标志为出自current的最优路径。 2.3.4 若current与新的带标志的弧所连接的点均标志solved,则current标志solved.。 2.3.5 若current已标志为solved或current的费用已改变，则需要往回传，因此要把current的所有先辈节点加入S中。 作者 朱福喜 朱三元 A B C D step2.3.1 S={A} step2.3.2 current：A 由于有A→B and C的弧，current的费用 =1+1+h’(B)+h’(C)=9 由于有A→D的弧，current的费用=1+5=6 A的费用=min(9,6)=6; （3） （4） （5） 作者 朱福喜 朱三元 A D E F h’(E)=4 h’(F)=4 10 6 node=D，由step2.2.3，扩展D得 successor={E,F}， D的耗费估计已经改变，向上回传，导致A的耗费为min（9，11）=9，所以，最优路径为A→BC弧。 作者 朱福喜 朱三元 4.2.5 对AO*算法的进一步观察 (1) 算法中2.3.5步中可能造成无用的回传 例4.17 （7） A B C D E (10) (6)? （3） （5） 当从E往回传时，若实际上走A →B这条路总是不好时，则从E→B回传是浪费，是无用的回传，所以完全回传至一切祖先的费用很大 作者 朱福喜 朱三元 若仅沿标志往回传，又可能找不到最优解。 如下图所示： C D A B C D E F G A B E F G H