3-知识的状态空间表示法及搜索问题讨论.ppt

A*算法的性质(续4) 推论2.1: OPEN表上任意一具有f(n)f*(s) 的节点n,最终将被A*选作扩展节点 由定理2,知A*一定结束,由A*的结束条件,OPEN表中f(t)最小时才结束,而 f(t) ≥f*(t)=f*(s) 所以f(n)＜f*(s) 的n均被扩展.得证 A*算法的性质(续5) 定理3(可采纳性定理): 若存在从初始节点s到目标节点t有路径,则A*必能找到最佳解结束 可采纳性的证明 由定理1、2知A*一定找到一条路径结束 设找到的路径s→t不是最佳的(t为目标) 则:f(t)=g(t)f*(s) 由引理2.2知结束前OPEN中存在f(n)≤f*(s)的节点n, 所以 f(n)≤f*(s)f(t) 因此A*应选择n扩展,而不是t.而假设A*选择t结束矛盾.得证. 注意:A*的结束条件 A*算法的性质(续6) 推论3.1 A*选择扩展的任一节点n,有f(n)≤f*(s) 由引理2.2知在A*结束前,OPEN中存在节点n’, f(n’)≤f*(s). 设此时A*选择n扩展. 如果n=n’,则f(n)≤f*(s),得证. 如果n≠n’,由于A*选择n扩展,而不是n’所以有 f(n)≤f(n’)≤f*(s),得证. A*算法的性质(续7) 定理4: 设对同一问题定义了两个A*算法A1和A