《算法导论》笔记（18） 最大流 含部分习题

流网络，容量值，源结点，汇点，容量限制，流量守恒。反平行，超级源结点，超级汇点。

Ford-Fulkerson方法。残存网络，增广路径，最小切割定理。f是最大流，残存网络不包含增广路径，|f|等于最小切割容量三者等价。

基本的Ford-Fulkerson算法。Edmonds-Karp算法。为了算法的收敛性。残存网络中用广度优先寻找增广路径。证明运行时间为O(V*E^2)：对特定一条边，其成为关键边的次数最多为V/2，残存网络最多有O(E)种可能的关键边，每条增广路径至少一条关键边，则关键边的总数为O(VE)，广度优先搜索的每次迭代代价是O(E)，则总时间为O(V*E^2)。

最大二分匹配。

推送-重贴标签算法。由源点向外流动，初始化时用最大流量将与源点直接相连的结点充满超额流，然后重贴高度标签，升高有残余网络的溢出结点的高度，使超额流量向高度低的结点扩散，如此反复执行溢出与标签操作，直至所有除源点与汇点外的结点都无超额流。则得到最大流。

习题26.1-4 标量流积问题，证明流为凸集。对于任意的流f1及f2，假设f3= f1*a+f2*(1- a)。首先f3要满足流量守恒，∑f(u, v)= ∑f(v, u)，易知f3满足流量守恒。其次要满足容量限制。f3= f2+ a*(f1- f2)，f3<= max(f1, f2)，则f3(u, v)<=c(u, v)。则f3也是一个流。

习题26.1-5 最大流问题表述为线性规划问题。f(u, v)为u到v路径上的流量，各项有最大值c，f(u, v)<= c(u, v)，各结