A *アルゴリズムの完全性の証明

Question

A *アルゴリズム は最適で（ヒューリスティック関数が過小評価されている場合）、完全であり、許容可能です（いくつかの条件がある場合）。私は許容性と最適性の証明を知っています。

しかし、A *アルゴリズムが完全であることをどのように証明しますか？

Answer 1

完全性を証明するために、特にA *を調べる必要はありません。 1つの要素からノードキューを使用して有限グラフ検索アルゴリズムを実行し、そのグラフノードのすべての子を生成して、それらをキューに戻すことが完了すると、「A *」はその種のアルゴリズムの特殊なケースにすぎません。

これを取得したら、たとえば次のように、Googleによる任意グラフ検索の完全性の証明を簡単に見つけることができます。

http://ocw.mit.edu/courses/aeronautics-and-astronautics/16-410-principles-of-autonomy-and-decision-making-fall-2010/lecture-notes/MIT16_410F10_lec04.pdf

証明自体はそれほど複雑ではありませんが、私見ではここで要約するには長すぎます。