usaco网络流.docVIP

Network Flow 网络流 译 By Thunder [编辑] 问题预备 最短路 [编辑] 问题 给出一个有向连通带权图，包含源点和汇点。 每一条弧的权表示那条弧的容量。一个图的流通过分配整数量给每条边来达到 通过每条弧的流不大于这条弧的容量 除了源点和汇点的每个点，流入量等于流出量 使源点的流出总量减去流入总量（或汇点的流入总量减去流出总量)最大 例 给出水管的设计和每条水管的容量。水管里的水必须从上往下流，所以每条水管里，水只能向一个方向流。 计算能从头（自来水厂）流到尾（您的农场）的水量。 [编辑] 算法 算法（贪心）通过迭代增加从源到汇的流来建立网络流。 从每条弧的权等于初始的权开始（弧的权符合那条弧里还未使用的容量）。 给出当前的图，找到从源到汇的一条路径，这条路径上的弧都是非0权。计算这条路径的最大流，叫它路径容量。//增广路径 路径容量 = 瓶颈容量 对于每一条路径上的弧，给弧的权减去路径容量。另外，给路径中的反向弧（在相同两点之间的弧，不过方向相反）加上等于和路径容量相等的权（只要反向弧存在，就增加它的权）。//调整增广路径 继续调整路径直到没有增广路径存在。 这能保证停止，因为您加上每次至少一单位流（权总是整数），并且流严格单调递增。增加反向弧的权相当于减少路径上的流量。 如果您对算法的细节分析感兴趣，请向Sedgewick请教(谁啊...)（注：Robert Sedgewick 普林斯顿大学的计算机科学教授）. 这是算法的伪代码 1 IF (源点 = 汇点) 2 总流 = 无限大 3 结束 ? 4 总流 = 0 ? 5 WHILE (TRUE) 6 # 找到从源到汇的最大的容量的路径 7 # 用修改过的Dijkstra算法 (在Chapter 4 的ditches就要用Bellman-Ford了) 8 FOR 所有的顶点 i 9 前驱(i) = nil 10 flow(i) = 0 11 visited(i) = FALSE 12 flow(源点) = 无限大 ? 13 WHILE (TRUE) 14 最大流 = 0 15 最大流节点 = nil 16 # 找到最大容量的未访问节点 17 FOR 每个顶点i 18 IF ((flow(i)最大流) AND (NOT visited(i))) 19 最大流 = flow(i) 20 最大流节点 = i 21 IF (最大流节点 = Nil) 22 退出内层While循环 23 IF (最大流节点 = 汇点) 24 退出内层While循环 24 visited(最大流节点) = TRUE 25 # 调整相邻节点 26 FOR 最大流节点的所有相邻节点 i 27 IF (flow(i)min(最大流, 最大流节点到i的容量)) 28 前驱(i) = 最大流节点 29 flow(i) = min(最大流, 最大流节点到i的容量)) 30 IF (最大流节点 = Nil) # 没有路径 31 退出外层While循环 ? 32 路径容量 = flow(汇点) 33 总流 = 总流 + 路径容量 ? # 把那个流加到网络里 适当调整容量 35 当前节点 = 汇点 # 对于增广路径上每条弧, 前驱(当前节点), 当前节点 36 WHILE (当前节点不为源点) 38 下一个节点 = 前驱(当前节点) 39 下一个节点到当前节点的容量减去路径容量 40 当前节点到下一个节点的容量加上路径容量 41 当前节点 = 下个节点 这个方法的运行时间为O(FM)，F是最大流 M是弧的数目. 运行时间通常更短, 因为算法每次总是尽可能大的提升流。 为了确定每条弧上的流，比较开始的容量和最后的容量。如果最后的容量变少了，区别就在于通过这条弧的流。 当有回路的时候，这个算法可能产生死循环。 [编辑] 实例 考虑下面那个网络，源点为5，汇点为2最大增广路径为(5,1,3,6,2)瓶颈弧是1-3，容量为5。因此，把路径上所有的弧减去5，把反向弧上加上5（如果需要，添加弧）。这就是得到的图：在新的图里，最大增广路径为(5,4,6,2)瓶颈容量为3，再来一次。现在网络的最大容量路径为(5,4,6,