以下こちらの説明を参考に計算量を説明する(元資料は Dinic ではなく Hopcroft-Karp アルゴリズムの説明である).
まず重要な定理として 「現在得られているマッチングを M とする. また最大マッチングのうちの 1 つを M∗ とする. このとき残余ネットワークには(超頂点 s,t を除いて)点素な増加道が |M∗|−|M| 個含まれる.」 が成り立つことを示す. GM=MΔM∗ (M と M∗ の対称差) とする.
GM は各点の次数が高々 2 以下なので単純閉路, 単純パス, 孤立点の 3 要素からなる(それぞれの頂点集合は disjoint). ここで閉路, パスについては M と M∗ に含まれる辺が交互に現れることに注意.
閉路, 孤立点については M,M∗ の辺を同数含むもしくは全く含まないので結局 M と M∗ が交互に現れる点素なパスで M∗ 内の辺から始まり, M∗ 内の辺で終了するものが少なくとも |M∗|−|M| 個存在する. そして s → (そのようなパス) → t と進むパスは明らかに増加道となっているので示せた.
Dinic で一度幅優先探索をしてからもう一度幅優先探索をするまでをフェーズと呼ぶことにする. まず辺の容量がすべて 1 であるため s -> t 増加道を見つけたら, それに沿ってフローを流すとそのパス上の辺が全て invalid になる(正確には今後見なくてよい)ので 1 回のフェーズ は O(m) で終了する.
次にフェーズの総回数について説明する. √n 回のフェーズを終えた時点での増加道の長さは √n 以上である(これは 二部グラフのマッチングに限らず, 一般のグラフに Dinic アルゴリズムを適用させたときに満たす性質なのでここでは証明を省く). 現在のマッチング M と任意の最大マッチング M∗ を考える.
上に示した定理より, 残余グラフには |M∗|−|M| 個の点素な増加道が含まれる.
「点素な増加道の数 ≤ 頂点数/増加道の長さ」 が成り立つことからこの点素な増加道の数は √n で抑えられ、 結局のところ |M∗| と |M| の差が √n で抑えられることが分かる. 残りのフェーズ数は各フェーズで少なくとも 1 つはマッチングのサイズが増加することから O(√n) 回であることが言え, 合計のフェーズ数は O(√n) 回となる.
ゆえに計算量は上述の通り O(m√n) となる.
二部グラフに 2 つの超頂点を足した形のグラフがすべて O(m√n) の計算量で解けるわけではなく, 二部グラフ型だが計算量が O(m√n) とならない例を次のコードで構成してみた(コード 1, コード 2).
どちらも頂点数 n, 辺数 m としたとき計算量が O(nm) になってしまう例である. O(n2m) の worst case は構成できなかった(構成するの結構きつい).
ちなみに uniformly at random に辺を m 個張った二部グラフについては Dinic アルゴリズムが期待計算量 O(mlogn) となることも知られている.
(補足)
最大流最小カット定理のように二部グラフの最大マッチング問題を整数計画問題に書き下し、その緩和問題である線形計画問題の双対を取って解に整数制約を加えると最小頂点被覆問題になる. ここで現れる行列が完全単摸性を持つ(無向二部グラフの接続行列なので) ことが確認できるので強双対性と合わせて最適値は等しくかつ解として整数ベクトルとなるものが存在する.
つまり最大マッチングのサイズは最小頂点被覆のサイズに等しいことが言える. これは Kőnig の定理と呼ばれ、 Hall の結婚定理と等価の定理である.
(個人的な復習を兼ねた証明)
二部グラフの左側, 右側を A,B とし、マッチングの済んだ(A-B 間の)残余グラフ上で A のマッチングされていない頂点からたどれる頂点の集合を L とする. このとき (A∖L)∪(B∩L) が最小頂点被覆に対応する.
まずは頂点被覆であることを示す.
被覆されてない, つまり e=(a,b)(a∈A∩L, b∈B∖L) があったとする.
(a,b) がマッチングに含まれないとすると a から b がたどれてしまい b∈L でダメ, 含まれるとすると a∈L から b から a にたどったことになり b∈L が成り立ちこれもダメ.
次に最小性を示す.
先ほどの証明から (A∩L, B∖L) 間には辺がなく, また (A∖L, B∩L) 間にある辺はすべて A∖L 内の頂点から B∩L 内の頂点へ向かう向きである(逆向きが存在するとすると矛盾する).
よって最大マッチングに含まれる任意の頂点の組は (A∖L, B∖L) 間もしくは (A∩L, B∩L) 間にあることが分かる(事実 1).
今 A∖L 内の頂点は L に含まれないことからすべてマッチングされている.
また B∩L 内の任意の頂点について L に含まれることから A のマッチングされていない頂点からたどることができる.
もし B∩L の中にマッチングされていない頂点が存在した場合新たに増加道が取れてしまうので仮定に矛盾する.
つまり B∩L 内の頂点もすべてマッチングされている(事実 2).
事実 1 と事実 2 を合わせると A∖L 内の頂点が含まれるマッチングのペアと B∩L 内の頂点が含まれるマッチングのペアはすべて異なるので最大マッチングのサイズは (A∖L)∪(B∩L) のサイズ以上となる.
よって弱双対性と併せて (A∖L)∪(B∩L) が確かに最小の頂点被覆となっていることが分かる. 同時にこれは Kőnig の定理の構成的な証明にもなっている.