ダイクストラ法
グラフ上の最短経路問題を解くアルゴリズム.エドガー・ダイクストラが 1959 年出版の論文で提案.
入出力
- 入力:グラフ 、コスト関数 、始点 、終点 .
- 解:始点から終点への経路.すなわち、次を満たす頂点の列 (ただし ).
- 、
- 、
- 任意の について .
- 解のコスト:経路に含まれる各辺のコストの和.
- 出力:コスト最小の解.
直観的なアイディア
まず前提として、始点ではない任意の頂点 について、始点から への最短経路は、始点から別の頂点 への最短経路に を加えた形に必ずなっています.何故ならば、始点から への最短ではない経路に を付け加えた形の経路は、 への経路の部分を最短経路に置き換えることによってコストを削減することができるからです.
よって、終点に単一の辺で接続されている頂点への最短経路に終点を加えたもののうち、コストの最も小さなものを選べばそれが始点から終点への最短経路になっているわけですが、すると今度は始点から別の頂点への最短経路問題を解かなければなりません.
ダイクストラ法ではこれを以下のような考え方によって効率よく求めていきます.
まず、始点と単一の辺で繋がっている頂点のうち、始点との間の辺のコストが最も小さい頂点を探します.これを とおきます.ちゃんと書くと
です.このとき、始点から への最短経路は、 です.何故ならば、始点から直接 に向かわずに迂回してより小さいコストの経路を探そうと思うと、始点から次の頂点へ移動した段階で辺 のコストを超えてしまうからです.また辺のコストは非負であるため、経路のコストは経路の後ろに頂点を付け足していく分には単調非減少なので、 より小さなコストの経路を作ることはできません.
次は、 という形と、 という二つの形の経路の中で、コストが最も小さいものの終端頂点を とおきます(ただし として は除く).ちゃんと書くと
とおいて、 の方が よりも小さければ で、逆なら です.
すると、やはり同様に、仮に ならば よりも小さなコストの経路で に至ることはできませんし、また ならば よりも小さなコストの経路で に至ることはできません. または から迂回してより小さなコストの経路を探そうと思うと、最初の一歩で今注目している経路のコストを超えてしまうからです.
擬似コード
以上を繰り返して、始点に近い頂点から順にその頂点への最短経路を定めていくアルゴリズムがダイクストラ法です.
ただし、ダイクストラ法では各頂点への最短経路のコストのみを計算していって、終点への最短経路のコストが決定された後に、一気に最短経路を求めます.
以下に擬似コードを示します(簡単のため としました).
; // 始点から各頂点への最短経路のコストを格納する配列
; // 各頂点への最短経路のコストが定まっているかどうかを示す
;
;
;
もし を取れなければ「解なし」を出力して終了;
;
;
// この時点で始点から終点への最短経路のコストが定まっている.
;
と を満たす を任意に一つ選ぶ;
;
; // コスト関数が非負ではなく正なら必要はない
;
;
計算量
計算モデルにチューリングマシン等を使うなど堅苦しいことは言わずに、上記の擬似コード上での使用メモリと動作ステップ数を数えます.入力されたグラフの頂点数を とおきます.
まず、使用した配列は と の二つだけなので必要な作業メモリは ワードです.
最初の while ループは最大でも 回しか回りません.一回ごとに が な頂点が一つ選ばれ、その頂点の の値が になり、一度 の値が になった頂点の値は に戻らないため、高々頂点の個数回しかループが回らないからです.
同様に、二つ目の while ループも最大 回しか回りません.
また、最初の while ループの中身を見ると、 のところと のところで for 文が 回ずつ回っています.
二つ目の while ループの中でも を得るために 回 for 文が回ります.
以上をまとめると、上記の擬似コードのステップ数は となります.
ヒープを使ったときの時間計算量
辺の本数を とおくと、ダイクストラ法の時間計算量は だとか だとか、文献によって異なる記述が見つかるかもしれません.これは頂点の隣接関係が隣接リストで与えられているときに、最初の while ループの の探索のためにヒープを使って頂点を管理する場合の時間計算量です.
やり方は詳しく述べませんが、最小ヒープというものを使うと時間計算量は になります.また、フィボナッチヒープというものを使うとならしの時間計算量が になります.Brodal queue というものを使うと最悪時時間計算量が になるらしいです*1.
同じ頂点同士を結ぶ辺を高々一つしか持たない単純有向グラフの場合、 は最高で となるので最小ヒープが最悪ですね.
ただし、これらはあくまでも理論的な時間計算量です.ヒープを使わないもの、最小ヒープを使うもの、フィボナッチヒープを使うものの三種類を実装して実行時間を比較してみたところ、時間計算量的には一番性能の悪い最小ヒープを使うものが一番速かったです*2.フィボナッチヒープは最小ヒープよりも若干遅く、グラフがメモリに載りきるようなサイズの問題でわざわざ実装するほどのものではありませんでした*3.これは理論的に時間計算量の良いアルゴリズムは、大抵オーダで隠れている定数部分に大きな定数を隠しているためです.