RBFS (R. E. Korf, 1993) - QiitaRBFS, Recursive Best First Search を紹介します。 (Korf, R.E. 1993. Linear-space best-first search. Artificial Intelligence. 62(1):41–78.) IDA* + inconsistent heuristics IDA* は、 ノードを$f\leq F$の範囲で探索し、各イテレーションごとに$F$を増やしていきます。IDA*は $f$ が単調増加することを仮定しているので、F以下のノードについて特に展開順序は定めていません。しかし、$f$ が単調増加しない場合、$f=F$ のノードの子孫に $f<F$ なゴールノードが来る場合があります。 このことにより、IDA*にinconsistent heuristicsを組み合わせると、IDA*の 最良優先(Best-first orde
