ダイクストラ波動、ダイクストラ行進、ダイクストラ帰納法

ダイクストラ法（Dijkstra's algorithm）の若干抽象的な定式化として、ダイクストラ行進（Dijkstra procession）とかダイクストラ波動（Dijkstra wave）とか。いずれの場合でも、空間を過去域と現在域と未来域に分けることが出来る。現在域はウエーブフロントとも呼ぶ。

始境界からの距離関数を使って、距離が小さい順に処理を進行（procession）させると、一種の帰納法が使える。