Network Flow Algorithm
Network Flow Algorithms
フローネットワーク(Flow network)/輸送網(Transportation network)を扱うアルゴリズム。
各アークに容量(capacity)を設定し、各アークをフロー(flow)が流れる。
ネットワークフローアルゴリズムの適用分やには次のような物がある。
線形計画法(linear programming)に落とし込んでシンプレックスアルゴリズムを用いて解を求めることも可能だが、問題の変形と得られた解をもとの問題に適した形に戻す必要がある。また他のアルゴリズムで解いた方が速い場合がある。
- 最小費用流問題(maximum cost flow problem)
供給節点sが複数ユニットを配布節点wのネットワークに流す。
これらは、需要節点tで消費される。各辺には、容量(low, high)、実際のフロー、この辺を流すときの1ユニットあたりのコストが付随する。
目標:需要のすべてを満たしながら、全辺での総コストを最小化する
- 最大流問題(maximum flow problem)
最小費用流問題を特殊化。
ソース節点sが複数ユニットを配布節点w経由でシンク節点に到達するように流す。各辺には、容量と実際のフローが付随する。
目標:ネットワークフローFを最大にする
○Ford-Fulkerson algorithm
○Edmonds-Karp algorithm
○Dinic's(Dinitz') algorithm
○Goldberg-Tarjan(PUSH/RELABEL) algorithm ※
※様々な最適化/ヒューリスティックを加えた改良バージョンが存在する。並列化可能。
- マッチング問題(matching problem)
Flow Network
- N = (G, c, s, t): フローネットワーク
- G: 有向グラフ(通常、連結グラフ)
- V: Gの点集合
- : Gの辺集合
- c(e): 辺eを流れることができるユニットの最大数を制限する容量(capacity)
- : シンク(sink)/目標(target)/終点(terminus)/流入点/出口. フローユニットを消費する特別なノード.
- : ソース(source)/湧出点/入口. フローユニットを生産する特別なノード.
- : 辺を流れるユニット数を定義するフロー(flow)
※形式的にとする場合がある。
- : vを終点とする辺集合
- : vを始点とする辺集合
fは次のような制約を満たさなければならない。
容量制約(Capacity constraints)
辺を流れるフローf(u,v)は、非負で、容量を超えない。
※
歪対称性(Skew symmetry)/反対称性(Asymmetry)
形式的に
とすれば、
これにより、ネットワークフローアルゴリズムがuからvへの正味のフローを決定する場合に、フローを足し合わせることができるようになる。
流量保存則(Flow conservation law)
ソースsとシンクtを除いた任意の接点に流入するフローの総和と流出するフローの総和は等しい。
ネットワークにおいて、sとtを除いては、フローの生産や消費が行われないという性質を保証する。
※Kirchhoffの電流則(KCL:Kirchhoff's Current Law)みたいなもんです。
- : vにおける流出量 - 流入量
- : フローの境界(boundary).
歪対称性を考慮すれば、
と書ける。
- : フローfの流量.
※通常なので
- : 最大流
- ネットワーク経路(network path)
閉路でない異なる節点列[tex:
残余ネットワーク(residual network)
- : 残余容量(residual capacity)
- : 残余ネットワーク(residual network)
利用可能な容量で構成されたネットワーク
本来のネットワークにはuからvへの辺がない場合でも、残余ネットワークではuからvへの辺がある場合もある。
反対向きのフローは相殺されるため、vからuへのフローが減少するということはuからvへのフローが増加することを意味する。
フローネットワーク
残余ネットワーク
- : e=(v,w)の逆辺
※容量制約と歪対称性より
- : 仮想的な辺の集合
- : 残余ネットワークにおける辺集合
- P: 増加パス/道/経路(augmenting path)
となる残余ネットワーク上での単純経路(simple path,同じ頂点を2度以上通らない経路).
- : 増加パスPの容量. Pを通してだけ流量を増やすことができる。
- 臨界辺(critical edge): を満たす辺e
- : N(f)上の頂点uからvへの最短距離(ホッポ数)
切断/カット(cut)
このときの(S, T)またはSをNのカットという.
従って、(S, T)の選び方は、種類ある。
- : s-tカット
- : (s-t)カットの容量
- : 最小カット(容量)
- : SからTへの流量
最大流最小カット定理(max-flow min-cut theorem)
最大フロー=最小カット(容量)
※最大流問題を線形計画問題に落とし込むと、最小カット問題は双対問題(Dual Probrem)となっており、強双対定理(strong duality theorem)より、最大流最小カット定理が成り立つ。
※強双対定理:(P)または(D)のいずれか一方が最適解を持てば、もう一方も最適解を持ち、(P)の最適値と(D)の最適値は一致する。
- Nの流量が最大
- 残余ネットワークは増加パスPを持たなない
- Nのあるカット(S,T)について
証明
- (I)→(II)
とし、は増加パスPをもつとすると、
のP上に流量F'>0が存在し、となりより大きい流量が得られることになり矛盾する。
従って、(I)→(II)
- (II)→(III)
N(f)は増加パスPを持たないとすると、N(f)にsからtへのパスは存在しない。
S = {s, N(f)上でsから到達可能な頂点}とし、T = V - Sとすると、tはSに含まれないので、(S,T)はNのカットである。
の任意の要素(u,v)において、であればvはSに含まれ矛盾するので、.
ここで、と仮定すると、NにTからSへ流れる辺が存在することになる。
するとSからTへの辺がN(f)に存在することになるが、これはN(f)にsからtへのパスは存在しないことと矛盾する。
従って、
((II)→(III))
- (III)→(I)
となるカット(S,T)が存在するとする。
フローは非負なので、
フローネットワークの容量制約のため、辺に容量を超えたフローを流すことはできないので、
ここで、(*)は、
Fがc(S,T)の下界、c(S,T)がFの上界であるとことを示している。
従って、F=c(S,T)が存在するなら、そのとき、
となる。((III)→(II))
Dinitz(Dinic)の層別ネットワーク(layered network)/レベルネットワーク(level network)
- level(v): 各点vのsからの距離(辺数最小の増加パスに含まれる辺数)
- : 層(layer). とする.
- : を結ぶ辺集合
- : をあわせた点集合
- : 層別ネットワークのグラフ要素
- : Dinitz(Dinic)'s layered network/level network.
- : でのeのフロー.
- ブロッキングフロー(blocking flow): 各s-tパスにいくつかのsaturated arc(流量=容量となっている辺)を含むようなフロー