最大フロー最小カット定理

最大フロー最小カット定理（さいだいフローさいしょうカットていり、）は、フローネットワークにおける最大フロー問題についての定理である。これは、ネットワークに流れる「もの」の最大流量が、ボトルネックによって決まることを意味している。線形計画法についての定理メンガーの定理から導出することもできる。

 定義 

二端子フローネットワーク  が与えられたとする。つまり、有限の有向グラフ の各エッジ（辺） に非負実数の容量 が割り当てられており、始点となるノード（入口） と、終点となるノード（出口） が指定されたとする。

フロー  の流量  とは、入口  から出て行くフローの合計である。

このネットワーク  のカット  とは、ノード（頂点） を2つの集合  と  に分割し、 には  が含まれ、 には  が含まれるようにすることをいう。

 と  以外は自由にどちらかの集合に属することができるので、可能なカットの種類は

個ある。

カット  の容量  とは、 と  の境界となっているエッジのうち、 から  に向かっているものの容量の合計である。

フローでは流量が保存することから、あるフローが与えられている時、 と  の境界となっているエッジで、 から  へ流れる量から、 から  へ流れる量を引くと、フローの流量と等しくなる。

定理の主張
の最大フローとは、のフローのうち流量が最大のものをいい、最小カットとは、のカットのうち容量が最小のものをいう。このとき、最大フロー  と 最小カット について、

が成り立つ。

証明の概要
証明は、以下のようにしてできる。

最大フローはフォード・ファルカーソンのアルゴリズムにより、以下のようにして見つけることができる。フローが整数値だけでなく、一般の実数値を取ることができる場合、このアルゴリズムは停止するとは限らない。しかし、最大フローが存在するとしたら、この方法により、より流量の大きな新しいフローを得ることはできないのであるから、そのフローの残余ネットワークは増加道を含まないということは言える。その場合、最大フローの存在については、一般の線形計画法の問題に還元するなどして示すことになる。

 二端子フローネットワーク  が与えられたとする。
 最大フローを見つけるために、 から  への道を見つける。この道を構成するすべてのエッジの容量の最小値を、エッジの流量として割り当てると、これはこのネットワークのフローになる。
 流量の余裕を容量とする順方向のエッジと、現在の流量を容量とする逆方向のエッジからなるネットワークで、容量が 0 となるエッジを取り除いたものを残余ネットワーク (residual network) もしくは補助ネットワークと呼ぶ。この残余ネットワークの中で、同じように道を見つける。道の構成要素のうち、順方向のエッジでは流量を増加させ、逆方向のエッジでは流量を減少させることで、より流量の大きな新しいフローを得ることができる。（このような、フロー  の残余ネットワークにおける  から  への道を、 の増加道と呼ぶ。）
 増加道がなくなれば、このフローが  の最大フローである。

最大フローの残余ネットワークは、 から到達可能なノード群  と到達不可能なノード群  に分けることができる。増加道がないので、 は  に含まれる。定義より、残余ネットワーク上では  から  へのエッジは存在しない。もとのネットワークに戻って考えると、 から出るエッジ  はすべて、残余ネットワークに存在しないことから、流量の余裕がない、すなわち  となっていることが分かる。また、 に入るエッジは逆方向のエッジが残余ネットワークにないことから、流量が 0 であることが分かる。これらのことより、となる。

したがって、といえる。

次に  も成り立つことをみる。任意のフロー  に対して、 へ流れこむエッジ  の流量は最大で  であり、これの和は  のカットの容量の定義そのものである。一方、 から  へ逆流するエッジの流量は、当然ながら最小値は 0 以上である。フローの流量は流量保存により、 に流入する流量から逆流する流量を引いたものであることを確認したが、このことよりの流量は最大で カット  の容量となる。このことより、、特にである。

 例 
右図はノード  からなるネットワークであり、始点  から 終点  への総流量は 5 で、これがこのネットワークの最大である。

このネットワークには3つの最小カットが存在する。
{|class="wikitable"
! カット || 容量
|-
| 
| 
|-
| 
| 
|-
| 
| 
|}

 と  が飽和しているにもかかわらず、 は最小カットではないことに注意されたい。これは残余ネットワーク（residual network）  において、エッジ (r,q) の容量が  であるためである。

 歴史 
この定理は1956年、P. Elias、A. Feinstein、クロード・シャノンによって証明された。また、L.R. Ford, Jr. と D.R. Fulkerson も同じ年に独自に証明した。最大フローを求める問題は線形計画問題の特殊形式であり、最大フロー最小カット定理は線形計画の双対性定理の特殊ケースと見ることもできる。

 脚注 
 注釈 

 出典 

 参考文献 
 P. Elias, A. Feinstein, and C. E. Shannon. Note on maximum flow through a network. IRE Transactions on Information Theory IT-2, 117--119, 1956.
 Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0-262-03293-7. Chapter 26: Maximum Flow, pp.643–700.


 関連項目 
 フォード・ファルカーソンのアルゴリズム
 連結グラフ

 外部リンク 
 A review of current literature on computing maximum flows
 Max-Flow Min-Cut Animation
 Max-Flow Problem: Ford-Fulkerson Algorithm

Category:グラフ理論の定理
Category:オペレーションズリサーチ
Category:数学に関する記事