Dinic算法的复杂度分析及证明

一般图

复杂度主要取决于dfs增广的过程。

将dfs部分的复杂度分成两部分来分析：1）修改增广路上边的流量。至多会增广$m$次，一条增广路的长度至多是$n$，所以这一部分的复杂度是$O(nm)$。2）dfs遍历时找增广路失败时经过的边。由于一旦从某条边出发找最短路失败了，我们就不会再走那条边（当前弧优化），所以这一部分的复杂度是$O(m)$的。故而dfs增广的复杂度是$O(nm)$。

而由于每一次重新建分层图，残余网络上$s$到$t$的最短路长度一定会增加，所以至多重建$n-1$次图。

故dinic的运行时间上界为$O(n^{2}m)$。

单位图 (unit graph)

定义

单位图(unit graph) 是指，所有的边的容量都是整数，且每一个不是$s$或$t$的点，要么出度为$1$，连出去的边容量为$1$，要么入度为$1$，连进来的边容量为$1$。

复杂度分析

在单位图上，至多进行$2\lceil \sqrt{n-2}\rceil$次dfs增广。

考虑某一次dfs增广时，现在已经得到了的流为$f$，最大流为$f^{\ast }$，$R$为$f$的残留网络。则$f^{\ast }-f$是$R$上的一个流，并且$R$是单位图。我们必然可以将$f^{\ast }-f$上容量为$1$的边划分成$|f^{\ast }|-|f|$条从$s$到$t$的路径（可能还有一些环）。由于$R$是单位图，所以除了$s,t$以外的任意一个点至多属于一条路径，所以最短路径的长度至多为$\frac{n-2}{|f^{\ast }|-|f|}+1$。

经过$\lceil \sqrt{n-2}\rceil$次dfs增广之后，最短路的长度至少