[工学]第1章 搜索问题.ppt

* 注意: nj＋1是在open中 定理1.5的证明(续1) 由单调限制条件, 对P中任意节点ni有: h(ni) ? C(ni, ni+1)+h(ni+1) g*(ni)+h(ni) ?g*(ni)+C(ni, ni+1)+h(ni+1) 由于ni , ni+1在最佳路径上, 所以: g*(ni+1) = g*(ni)+C(ni, ni+1) 代入上式有: g*(ni) +h(ni) ? g*(ni+1)+h(ni+1) 从i=j到i=k-1应用上不等式, 有: g*(nj+1)+h(nj+1) ? g*(nk) +h(nk) 即: f(nj+1) ? g*(n)+h(n) * 定理1.5的证明(续2) f(nj+1) ? g*(n)+h(n) 另一方面, A*选n扩展, 必有: f(n) = g(n)+h(n) ? f(nj+1) 比较两式, 有: g(n) ? g*(n) 但已知g*(n)是最佳路径的耗散值, 所以只有: g(n) = g*(n)。得证。 * h单调的性质(续) 定理1.6: 若h(n)是单调的, 则由A*所扩展的节点序列其f值是非递减的。即f(ni) ? f(nj)。 * 定理1. 6的证明 由单调限制条件, 有: h(ni) – h(nj) ? C(ni, nj) * = f(ni)-g(ni) = f(nj)-g(nj) f(ni)-g(ni) - f(nj)+g(nj) ? C(ni, nj) = g(ni)+C(ni, nj) f(ni)-g(ni) - f(nj)+ g(ni)+C(ni, nj) ? C(ni, nj) f(ni) - f(nj) ? 0, 得证。 对算法加以改进 一些结论: OPEN表上任意具有f(n) f*(s)的节点定会被扩展。 A*选作扩展的任一节点, 定有f(n) ? f*(s)。 * 改进的出发点 OPEN = ( … … … … ) * f*(s) f值小于f*(s)的节点 f值大于等于f*(s)的节点 fm: 到目前为止已扩展节点的最大f值, 用fm代替f*(s) 修正过程A 1. OPEN: =(s), f(s)=g(s)+h(s), fm: =0; 2. LOOP: IF OPEN=( ) THEN EXIT(FAIL); 3. NEST: ={ni|f(ni)fm} IF NEST ≠ ( ) THEN n: =NEST中g最小的节点 ELSE n: =FIRST(OPEN), fm: =f(n); 4. -- 8. : 同过程A。 * * s(10) A(1) B(5) C(8) G 目标 6 3 1 1 1 8 前面的例子: OPEN表 CLOSED表 fm s(0+10) s(0+10) 10 A(6+1) B(3+5) C(1+8) s(0+10) C(1+8) 10 A(6+1) B(2+5) s(0+10) C(1+8) B(2+5) 10 A(3+1) s(0+10)C(1+8)B(2+5)A(3+1) 10 G(11+0) A*算法应用举例 (1)八数码问题 下面给出该八数码问题取不同启发函数, 应用A*算法求得最佳解时所扩展和生成的节点数。W(n): 不在位的将牌数；P(n): 每一个将牌与其目标位置之间距离(不考虑夹在其间的将牌)的总和 启发函数 h(n)=0 h(n)=W(n) h(n)=P(n) 扩展结点数 26 6 5 生成结点数 46 13 11 * * (2)迷宫问题 迷宫图从入口到出口有若干条通路, 求从入口到出口处最短路径的走法。 下图为一简单迷宫示意图及其平面坐标表示。以平面坐标图来表示迷宫的通路时, 问题的状态以所处的坐标位置来表示, 即综合数据库定义为(x, y), 1?x, y?N, 则迷宫问题归结为求(1, 1)?(4, 4)的最短路径问题。 * * 迷宫走法规定为向东、南、西、北前进一步, 由此可得规则集简化形式如下: R1: if (x, y) then (x+1, y) R2: if (x, y) then (x, y-1) R3: if (x, y) then (x-1, y) R4: if (x, y) then (x, y+1) * * 由于该