ワーシャル=フロイド法とは
今回は有向グラフの情報が与えられたとき, 全ての始点から全ての終点までの最短距離をワーシャル=フロイド(Warshall–Floyd)法と呼ばれるアルゴリズムで求めていきます. 有向グラフの最短距離を求めるアルゴリズムのうち, ベルマン=フォード法は以前紹介しました:
wakabame.hatenablog.com
今回紹介するワーシャル=フロイド法では, 頂点の集合を としたとき, 任意の頂点 に対してその間の最短距離を一挙に計算してしまいます. その代わり, 計算量は とやや大量になってしまいます.
隣接行列
グラフの情報をどのように理解するかですが, ここでは隣接行列を使って話を進めていきます(重みがない場合は, 隣接リストを用いることもあります). 隣接行列とは 行 列の正方行列 であり, は頂点 から頂点 が隣接している場合の距離を辺の情報によって与えています. 後の議論のため, 頂点 から頂点 を結ぶ辺がない場合は距離を無限大として初期化されているものとしてください. 無向グラフの場合は頂点 から頂点 への距離は頂点 から頂点 への距離と常に等しいため, 対称行列となります. したがって下三角成分だけを見れば十分です.
また, 重みがない場合は辺があるなら距離は, そうでないなら距離はとして実装する場合もあります.
考え方
頂点 から頂点 への最短距離を求めることを考えていきます. 残りの頂点は 個あり, その全ての順列を計算して最小のものを選んでは計算量は頂点の個数に指数関数的に比例してしまいます. そこで, 頂点 と頂点 のほかには頂点 しかないグラフを考えます. すると, このグラフの頂点 と頂点 へ移動する方法は, 頂点 から直接頂点 にいく道と, 頂点 を経由する道が考えられます. したがって最短距離は
\begin{equation}
\min{(A[i][j], A[i][0]+A[0][j])}
\end{equation}
です.
そこで, 任意の についてグラフの辺を緩和します.
次は頂点 と頂点 のほかに頂点 と頂点 があり, グラフの辺の情報は先ほどのステップで緩和されているものを考えます. すると, 頂点 と頂点 へ移動する方法は, 頂点 から頂点 に頂点 を経由しない道と経由する道が考えられます. したがって最短距離は
\begin{equation}
\min{(A[i][j], A[i][1]+A[1][j])}
\end{equation}
です.
ここでも, 任意の についてグラフの辺を緩和します.
以後はこのステップを頂点の個数分だけ繰り返していきます. pythonのコードは以下のようになります:
def Warshall_Floyd(edges,N): for k in range(N): for i in range(N): for j in range(N): edges[i][j]=min(edges[i][j],edges[i][k]+edges[k][j]) return edges
forループが3重になっていますが, 非常にシンプルですね.
『プログラミングコンテストチャレンジブック第二版』P.98によると, ワーシャルフロイド法は一種の動的計画法とみなすことが出来ます. すなわち,
を頂点, および頂点 に制限されたグラフでの頂点 から頂点 までの最短距離とすると, 漸化式
が成立します. 初期化条件を,
とし, 任意の について緩和した後に をインクリメントして緩和を繰り返していきます.
また, 漸化式の右辺にしか含まれていないことから, この動的計画法では二次元配列を使いまわしても支障なく動きます. このように上記のコードを理解することもできます.