人工智能导论-第一章(自学)_17909231.ppt

* * * * 突破口：H值估计的要合理，即应该满足单调条件。考虑到h满足A*条件，所以父子节点的h值差，应该小于等于c才合理。 * * 说明了P中有一个节点nj，他自己在closed中，nj+1在open中 * nk=n * 注意：nj＋1是在open中 * 非子节点的情况，肯定后扩展的f值不会小，因为如果小的话，就先扩展了，不会后扩展。 * * * 定理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单调的性质（续） 定理6： 若h(n)是单调的，则由A*所扩展的节点序列其f值是非递减的。即f(ni) ≤ f(nj)。 其中nj在ni的后面扩展。 只需证明nj是ni的子节点的情况。 * 定理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)