反復的深化 スター (ID A*) は、メモリ境界検索です。s'
私の質問は、ID A*のオープン状態から新しい状態に到達したときに、すでに「オープン状態」または「クローズ状態」にあるs
かどうかをテストしないのはなぜですか?s'
「問題の状態のグラフ」はツリーであるため、状態が2回到達することはないため、たとえば数独などの問題の場合。ただし、他の問題、たとえば 8 パズルでは、何度も同じ状態になる可能性があります。したがって、状態がすでに「訪問」されているかどうか (オープン状態またはクローズ状態のいずれか) を確実にテストする必要があります。
このようなテストを実行する必要がある場合、考えられるすべての状態の大きなハッシュ テーブルを格納する必要があるため、ID A* はもはやメモリ バウンドではありません。