ワーシャル–フロイド法(英: Floyd–Warshall Algorithm)は、重み付き有向グラフの全ペアの最短経路問題を多項式時間で解くアルゴリズムである。名称は考案者であるスティーブン・ワーシャル(英語版)とロバート・フロイドにちなむ(2人はそれぞれ独立に考案)。フロイドのアルゴリズム、ワーシャルのアルゴリズム、フロイド–ワーシャル法とも呼ばれる。
ワーシャル–フロイド法の概略は以下の通りである:
- 入力:
- (有向または無向)グラフ
![{\displaystyle G=(V,E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/644a8d85ee410b6159ca2bdb5dcb9097e2c8f182)
の各辺の長さ
- 出力:頂点
と頂点
を結ぶ最短経路を全ての
に対して出力 - 計算量:
![{\displaystyle O(V^{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d79dfa438ce6a2035c8fab4878e8687ea6106c9)
簡単の為
上のグラフ
のみを考える。
を
以下の整数とし、
とする。
の 各頂点
に対し、
を
に制限したグラフ上での
から
への最短経路を
とする。(経路が無い場合は
「なし」とする。)
とし、
を
に制限したグラフ上での
から
への最短経路を
とする。
内での
から
への最短経路は、
を経由するか、あるいは
内にあるかのいずれかであるので、 次が成立することが分かる。ただしここで記号「
」は「経路
を進んだ後に経路
を進む」という経路を表す。
:
が
より短い場合
: そうでない場合。
よって
に対する最短経路
が全ての
に対して分かっていれば、
に対する最短経路
が全ての
に対して求まる。
ワーシャル–フロイド法は以上の考察に基づいたアルゴリズムで、
を空集合に初期化後、
に頂点
を付け加えていくことで
上の最短経路を全ての
に対して求める。
が空集合の場合、
上の
と
を結ぶ最短経路は明らかに次のようになる。ただし簡単の為、各頂点
に対し、
と
を結ぶ辺は多くとも一本としている:
を結ぶ辺
があれば、最短経路は
. - そうでなければ
と
を結ぶ経路は
にはそもそも存在しない。
したがってワーシャル–フロイド法では、
を上述のルールで
もしくは「なし」に初期化した後、前述の方法で
上の最短経路を全ての
に対して求める。
ワーシャル–フロイド法の擬似コードを記述する。以下で、経路の長さが無限大は経路がないことを意味している。
は
の長さ。
を更新する際、経路も記録すると、
も求めることができる。
グラフ
および各辺
の長さ length(e) を入力として受け取る。 // 初期化 for each i
{1,...,n} for each j
{1,...,n} di,j ← i と j を結ぶ辺 e があれば length(e) なければ 無限大 // 本計算 for each k
{1,...,n} for each i
{1,...,n} for each j
{1,...,n} if (di,j > di,k + dk,j) di,j ← di,k + dk,j
から
への最短経路を
とし、
と
を
上の頂点とすると、
から
への最短経路(の一つ)は
を
、
間に制限したものと一致する。 したがって
さえ知っていれば
を計算する必要もないし記憶する必要もない。 このことを利用すると、ワーシャル–フロイド法における計算量と記憶量を大幅に減らすことができる。
計算量が増えてしまうことを厭わなければ、さらに記憶量を減らすこともできる。
を一つ固定し、
に対する最短経路
が全ての
に対して求まっているとする。
において
上にある全ての辺を順に赤く塗っていく、という作業を全ての
に対して繰り返し、最終的に赤くなった辺を集めることでできる
の部分グラフを
とする。
さえあれば、
を全て復元できる。 したがってワーシャル-フロイド法では
を全て記憶しなくても
のみを記憶しておけばよい。 (ただし
から
を復元するのに計算量が必要であるため、計算量が増えてしまう。 なお適切に経路
を選べば
は木になるので、このことを利用すれば復元にかかる計算量もある程度押さえられる。)
ワーシャル–フロイド法は以下のような問題を解くのに利用可能である:
- 有向グラフでの最短経路を求める(フロイドのアルゴリズム)。この場合、全エッジの重みを同じ正の値に設定する。通常、1 を設定するので、ある経路の重みはその経路上にあるエッジの数を表す。
- 有向グラフでの推移閉包を求める(ワーシャルのアルゴリズム)。スティーブン・ワーシャルの元々のアルゴリズムでは、重みなしのグラフであり、ブーリアンの隣接行列が使用されていた。そのため、加算の代わりに論理積(AND)が使われ、最小を求めるには論理和(OR)が使用されていた。
- ある有限オートマトンにより受容される正規言語を記述する正規表現を探す(クリーネのアルゴリズム)。
- 実数の行列の逆行列を求める(Gauss-Jordan elimination)。
- 最適ルーティング。ネットワーク上の2つのノード間で通信量が最大な経路を求めるといった用途がある。そのためには上掲の擬似コードのように最小を求めるのではなく最大を求めるようにする。エッジの重みは通信量の上限を表す。経路の重みはボトルネックによって決まる。したがって上掲の擬似コードでの加算操作は最小を求める操作に置き換えられる。
- Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L. (1990年). Introduction to Algorithms (first edition ed.). MIT Press and McGraw-Hill. ISBN 0-262-03141-8
- Section 26.2, "The Floyd-Warshall algorithm", pp. 558–565;
- Section 26.4, "A general framework for solving path problems in directed graphs", pp. 570–576.
- Floyd, Robert W. (1962年6月). “Algorithm 97: Shortest Path”. Communications of the ACM 5 (6): 345. doi:10.1145/367766.368168.
- Kleene, S. C. (1956年). “Representation of events in nerve nets and finite automata”. In C. E. Shannon and J. McCarthy. Automata Studies. Princeton University Press. pp. pp. 3–42
- Warshall, Stephen (1962年1月). “A theorem on Boolean matrices”. Journal of the ACM 9 (1): 11–12. doi:10.1145/321105.321107.