2-1 搜索问题教学教材.ppt

* D B s A 6 5 7 3 4 g=0 2 1 D E A g=3 g=6 g=4 g=9 g=8 g=7 D B s F A t C E 5 5 4 3 4 3 4 2 4 * D B s A 6 5 7 3 4 g=0 2 1 D E A B F 9 10 g=3 g=10 g=6 g=4 g=9 g=8 g=7 g=11 D B s F A t C E 5 5 4 3 4 3 4 2 4 * D B s A C E 6 5 7 3 4 g=0 2 1 D E A B F 9 10 11 12 g=3 g=10 g=6 g=4 g=9 g=8 g=7 g=11 g=12 g=11 D B s F A t C E 5 5 4 3 4 3 4 2 4 * D B s A t C E 6 5 7 3 4 g=0 2 1 D E A B F 9 10 11 12 g=3 g=10 g=6 g=4 g=9 g=8 g=7 g=11 g=12 g=11 g=13 D B s F A t C E 5 5 4 3 4 3 4 2 4 4-5 最佳图搜索算法A* 可采纳性 对任意一个图，当初始结点s到目标结点t有一条路径存在时，如果搜索算法总是在找到一条从初始结点s到目标结点t的最佳路径上结束，则称该算法是可采纳的 * 评价函数 f(n) = g(n) + h(n) 启发函数 h(n) A*算法 使用的启发函数h(n)处在h*(n)的下界范围, 即满足 h(n) ? h*(n) 则A*算法具有可采纳性 * 计算机导论 · 张 伟 关于“评价函数”与“启发函数” 对任意一个图，当初始结点s到目标结点t有一条路径存在时，如果搜索算法总是在找到一条从初始结点s到目标结点t的最佳路径上结束，则称该算法是可采纳的 h*(n) h(n) 启发信息增强 0 无启发信息 算法是可采纳的 定理1.1 对有限图，如果从初始结点s到目标结点t有路径存在，则算法A一定成功结束 证明：反证法 设A搜索失败，则算法在②结束，OPEN为空，CLOSED表示算法结束前被扩展过的结点 根据前提，有解路径，设为n0=s, n1, n2,…, nk=t 解路径上必有ni?CLOSED， ni+1?CLOSED 所以， ni扩展过，ni+1在OPEN中→扩展ni+1→ ni+1在CLOSED中，或者搜索成功。矛盾！ * 引理1.1 对无限图，若存在从初始结点s到目标结点t的一条路径，则A*不结束时，在OPEN表中即使最小的一个f值也将增加到任意大，或有f(n)f*(s). 证明: d*(n)为s到n的最短路径长度(单位弧长) e = min C(ni,ni+1), 则g*(n)? d*(n)e ∵ g(n)? g*(n)? d*(n)e ∴ f(n)= g(n) +h(n) ? g(n) ? d*(n) e (设h(n) ?0 ) 若A*不结束， d*(n) 趋向于?，f值将增大到任意大。 * 设M=f*(s)/e，M是一个定数，所以搜索到一定程度时会有d*(n)M，或d*(n)/M1 ∴ * ) ( * ) ( * ) ( * ) ( * ) ( * ) ( * ) ( s f M n d s f M s f n d e n d n f = = 3 * 1 4 3 2 s 6 5 * 1 4 3 2 s 6 5 * 1 4 3 2 s 6 5 * 1 4 3 2 s 6 5 * 1 4 3 2 s 6 5 本章内容 什么是搜索 回溯策略 图搜索策略 无信息图搜索过程 启发式搜索过程 * 3.无信息图搜索过程 一般图搜索算法中第⑧步任意排列OPEN表中的结点顺序，有两种排列方式，分为： 深度优先 宽度优先 * 深度优先 过程DEPTH-FIRST-SEARCH ① G:=G0(G0=s),OPEN:=(s), CLOSED:=(); ② LOOP: IF OPEN=(),THEN EXIT(FAIL); ③ n:=FIRST(OPEN); ④ IF GOAL(n), THEN EXIT(SUCCESS); ⑤ REMOVE(n,OPEN), ADD(n,CLOSED); ⑥ EXPAND(n)→{mi}, G:=ADD(mi,G); ⑦ ADD(mj,OPEN), 并标记mj到n的指针；把不在OPEN或CLOSED表中的结点放在OPEN表的最前面,使深度最大的结点优先扩展; ⑧ GO LOOP * 关键在OPEN表中的结点排序，深度优先搜索时，总是把深度最大的结点排在OPEN表的前面，优先扩展 为防止陷入“深渊”，可以增加搜索