フォード・ファルカーソンのアルゴリズム(英: Ford-Fulkerson algorithm)とは、フローネットワークにおける最大フローを求めるアルゴリズムである[1]。レスター・フォード Jr.(英語版、ドイツ語版、フランス語版、ロシア語版) と デルバート・ファルカーソン(英語版、ドイツ語版、スペイン語版、フランス語版) にちなんで命名されたもので、1956年に発表された。フォード・ファルカーソンのアルゴリズムの特殊版であるエドモンズ-カープアルゴリズムも「フォード・ファルカーソン」と呼ばれることがある。
このアルゴリズムの背景にある考え方は非常に単純である。始点から終点への経路があって、経路上の各辺に容量の空きがあるとき、その経路を使って流れを作ることができる。これを経路が見つかるたびにくりかえす。容量に空きがある経路を「増加道; augmenting path」と呼ぶ。
アルゴリズム
グラフ
にて、
から
への容量
でフロー
とする。ここで、始点
から終点
への最大フローを求める。最終的に、次のような状態となる。
:
から
へのフローは容量を超えない。
:
と
の間の総フローの性質。
から
へのフローが
、
から
へのフローが
であるとき、
であり、かつ
となる。
:
と
を除く全てのノード
で成り立つ。あるノードに流れ込むフローとそこから出て行くフローは常に等しい。
すなわち、ネットワーク上のフローは、アルゴリズムの毎回の適用後に常に正当なものとなる。ここで、残余ネットワーク
を容量が
で、フローのないネットワークと定義する。ただし、
のフローによって
がクローズ(満杯)となっても
は残余ネットワークに残る可能性があるため、
となるかどうかは定かではない。
アルゴリズム フォード・ファルカーソン
- 入力 フロー容量
、始点
、終点
のグラフ ![{\displaystyle \,G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29b3be4c9db92bd17404355920bdb6812a3b3c80)
- 出力
から
へのフロー
の最大値 - 全ての枝
について
とする。
内で
から
への経路
があり、経路上の全ての枝
について
であるとき:
を求める。
であるような各枝について
(この枝にそってフローを送る)
(フローは後で返される)
経路は、
について、例えば幅優先探索や深さ優先探索を行うことで得られる。前者の場合を特にエドモンズ-カープアルゴリズムと呼ぶ。
複雑性
フロー増加道をグラフ上で既に確立されているフローに追加していくと、最終的にフロー増加道が見つからなくなり、最大フローが得られる。しかし、そのような状態に到達するかどうかは不確実であり、単にアルゴリズムが完了した場合は解が正しいということしか保証できない。アルゴリズムが無限に実行される場合、そのフローは最大フローに近づいているかどうかも不明である。ただし、そのような状態はフローの値が無理数の場合でしか発生しない。容量が整数の場合、フォード・ファルカーソンの実行時間の上限は O(Ef) であり、E はグラフ内の枝数、f はグラフの最大フローである。これは、増加道が O(E) 回まで見つけることができ、毎回少なくともフローが 1 増加するためである。
フォード・ファルカーソンのアルゴリズムの派生として、エドモンズ-カープアルゴリズムがある。これは、終了することが保証されており、最大フローと実行時間が独立で、実行時間は O(VE2) となる。
例
以下の例は、4ノードのフローネットワークでフォード・ファルカーソンのアルゴリズムを適用する様子を最初の数ステップだけ図示したものである。始点は A で終点は D。増加道は深さ優先探索で探し、隣接ノードは辞書順で調べる。この例では、アルゴリズムの最悪ケースを示している。各ステップではフローは1ずつしか増えない。この場合、幅優先探索で経路を求めると、2ステップで完了する。
経路 | 容量 | フローネットワーク |
| 初期状態のフローネットワーク | |
| ![{\displaystyle \min(c_{f}(A,B),c_{f}(B,C),c_{f}(C,D))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/125e2597a6b98728af70e9c39bc0aab5a6b5a685) ![{\displaystyle =\min(c(A,B)-f(A,B),c(B,C)-f(B,C),c(C,D)-f(C,D))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b6b0352b54fec566757f76f2e3e0fb34f88bb87) ![{\displaystyle =\min(1000-0,1-0,1000-0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfe44fd03dc9094ceadb1a27de54568a36e5ef45) | |
| ![{\displaystyle \min(c_{f}(A,C),c_{f}(C,B),c_{f}(B,D))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9628e9217dd481b295ae6ab9dd0b0bebff8ba2e9) ![{\displaystyle =\min(c(A,C)-f(A,C),c(C,B)-f(C,B),c(B,D)-f(B,D))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87e019310c4ab004762200891ecbcaca6760f2ea) ![{\displaystyle =\min(1000-0,0-(-1),1000-0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfb642007c0b3b2015ea6ec31376b77a44bba37b) | |
| 1998ステップ後… | |
| 最終的なフローネットワーク | |
経路 A,C,B,D を見つけたとき、C から B へフローが押し戻される点に注意されたい。
参考文献
- ^ T. コルメン、R. リベスト、C. シュタイン、C. ライザーソン『アルゴリズムイントロダクション』(第3版)近代科学社、2013年12月17日(原著2009-7-31)。ISBN 476490408X。
外部リンク
- Ford-Fulkerson's algorithm アニメーション解説あり
ウィキメディア・コモンズには、フォード・ファルカーソンのアルゴリズムに関するカテゴリがあります。