ディニッツ法

ディニッツ法（ディニッツほう、）とは、1970年にイスラエル（元はソ連）のコンピュータ科学者のにより提案されたネットワークフローにおける最大流問題に対するアルゴリズムである。ディニッツ法は計算量  で動作し、同じく最短増加路を求め計算量  で動作するエドモンズ・カープ法に類似している。ディニッツ法はレベルグラフとブロッキングフローという概念を導入することで上記の計算量を達成している。

 歴史 
ディニッツは1969年1月の修士課程の生徒としてディニッツ法を編み出した。数十年後、当時のことを以下のように語った:

1970年にディニッツは Doklady Akademii Nauk SSSR に論文を寄稿した。1974年には（ディニッツの博士課程指導学生の）およびテクニオン・イスラエル工科大学のアーロン・イタイはディニッツ法やが考案したブロッキングフローに関する概念に強く興味を抱いた。しかしながら、これらの論文は掲載誌の Doklady Akademii Nauk SSSR に規定されているページ数の制限（4頁）により、論文の内容を理解するのに難儀した。論文の解読を続けたことで、結果として層別ネットワークに対する手続きを除いた論文の内容を三日間で理解することができた。両者は著者の名前を間違えながらも、数年かけてディニッツ法に関する講義を行って世間に知らしめていった。イーブンとイタイは層別ネットワークの代わりに幅優先探索と深さ優先探索を組み合わせたディニッツ法を普及したため、現在ではこの方法によるディニッツ法が一般的に知られている。

フォード・ファルカーソン法が提案されてから約10年間は無理数の辺容量を持つような一般のネットワークに対する強多項式時間アルゴリズムの存在性は示されていなかった。そのため最大流問題が強多項式時間で解けるかは不明であった。ディニッツ法と（1972年発表の）エドモンズ・カープ法はフォードファルカーソン法において各反復で求まる増加路が最短路であるならば、増加路の長さが単調増加するため、有限の反復回数で必ず終了することをそれぞれ独立して証明した。

 定義 
ネットワーク において辺容量を 、フローを  とする。このとき、

 残余容量  は以下のように定義される:
 もし、 ならば、

 もし、 ならば、

 そうでなければ、

残余ネットワークは重みなしのネットワーク  と定義される。ただし、
 .

増加路は残余ネットワーク  における路 – である。

 は  において始点  から頂点  への最短路の値を表す。このとき  におけるレベルグラフは  と定義される。ただし、

である。

ブロッキングフローは  から  へのフロー  を表し、 で定義される。ただし、 であり、 から  への路は含まれない。

 アルゴリズム 
ディニッツ法
 入力: ネットワーク 
 出力:  から  へのフロー  の最大値
 各辺  のフローを  とおく。
  における  から  を構築する。もし、 が存在するならば、アルゴリズムは停止し、 を出力する。
  におけるブロッキングフロー  を求める。
  から増加路  を求め、ステップ2へ戻る。

 分析 
反復ごとにブロッキングフローの層の数は少なくとも1ずつ増えることから、ブロッキングフローは最大でも  の層の数となる。また以下のことが言える:

 レベルグラフ  は幅優先探索によって計算量  で求まる。
 レベルグラフ  におけるブロッキングフローは計算量  で求まる。

このことから一回の反復にかかる計算量は  となる。結果として、全体の計算量は  となる。

と呼ばれるデータ構造を用いると、各反復におけるブロッキングフローは計算量  まで減少させることができるため、ディニッツ法の計算量は  まで改良することができる。

 特別なケース 
単位容量を持つネットワークにおいては強多項式時間が保たれる。ブロッキングフローは計算量  で求めることができ、反復も  もしくは  を超えない範囲で終了することが保証されている。すなわちディニッツ法は計算量  で動作する。

最大二部マッチング問題に対するネットワークにおいては、反復の上界が  となることが知られており、計算量は  で動作する。このことはとして知られている。一般的に言えば、ネットワークにおいてシンクおよびソースを除く各頂点を結ぶ辺がすべて容量1の入る辺もしくは容量1の出る辺であり、他の辺の容量がすべて整数値をとる単位ネットワーク上で成り立つ。

 具体例 
ディニッツ法を以下で説明する。レベルグラフ  において頂点の赤色の数値は  を表す。また青色の辺からブロッキングフローが求まる。

    1. 300px 300px 300px ブロッキングフローは以下の路から構成される:
 フロー4を持つ路: 
 フロー6を持つ路: 
 フロー4を持つ路: 
それゆえ、ブロッキングフローは 14 となり、フロー  は  となる。増加路は3つの辺から構成されることに注意する。 2. 300px 300px 300px ブロッキングフローは以下の路から構成される:
 フロー5を持つ路: 
それゆえ、ブロッキングフローは 5 となり、フロー  は  となる。増加路は4つの辺から構成されることに注意する。 3. 300px 300px 300px  において  に到達することはできないことから、アルゴリズムは終了してフローの最大値19を返す。各反復ごとに増加路となる辺の数は一つ前の反復より少なくとも一つ増加することに注意する。

 脚注 

 注釈 

 出典 

 参考文献 





 関連項目 
 フォード・ファルカーソン法
 最大流問題

Category:アルゴリズム
Category:グラフ理論
Category:数学に関する記事