人工智能实验算法具有可采纳性证明.pdf

A*算法具有可采纳性

，，

一般地说对任意一个图当s到目标节点有一条路径存在时如果搜索算法总是在找到一条从s

到目标节点的最佳路径上结束,则称该搜索算法是可采纳的(Admissibility)°A*就具有

，

可采纳性下面就来证明A*的可采纳性及若干重要性质。

，，

定理1:对有限图如果从初始节点s到目标节点t有路径存在则算法A一定成功结束。

：，，，

证明设A搜索失败则算法在第2步结束OPEN表变空而CLOSED表中的节点是在结束

之前被扩展过的节点。由于图有解，令(nO=s,n,n,…,n=t)表示某一任一解路,我们

12

从n开始逆向逐个检查该序列的节点，找到出现在CLOSED表中的节点n,即nCLOSED,

kii

,

nCLOSED(n—定能找到因为nCLOSED,n：CLOSED)。由于n在CLOSED中,

l+1iokl

，，，

必定在第6步被扩展且nl+1被加到OPEN中因此在OPEN表空之前ni+1已被处理过。若nl+1

，，，

是目标节点贝U搜索成功否则它被加入到CLOSED中这两种情况都与搜索失败的假设矛

，

盾因此对有限图不失败则成功。［证毕］

，，

因为A*是A的特因此它具有A的所有性质。这样对有限图如果有解则A*一定能在找到到

，，：

达目标的路径结束下面要证明即使是无限图A*也能找到最佳解结束。我们先证两个引理

，，，

引理1:对无限图若有从初始节点s到目标节点t的一条路径则A*不结束时在OPEN中即使

，。

最小的一个f值也将增到任意大或有f(n)f*(s)

：，(

证明设d*(n)是A*生成的搜索树中从s到任一节点n最短路径长度的值设每个弧的长度均为

)

1),搜索图上每个弧的耗散值为C(n,n)(C取正。令e=minC(n,n),贝Ug*(n)

ii+1ii+1

一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值将增到

任意大。