图论讲义2012要点解析.ppt

* * 4. 重复第 1 步，构造最短路(即费用最小增广链)： 5. 重复第 2 步，在原流量不减少的前提下调整流量； * * 6. 重复第 3 步，重新构造网络图，原则与第 3 步相同： 7. 重复第 4 步，寻找最短路： * * 8. 重复第 5 步，在原流量不减少的前提下调整流量； 9. 重复第 6 步，重新构造网络图，原则与第 3 步相同： * * 10. 重复第 7 步，构造最短路： * * 11. 重复第 8 步； 12. 重复第 9 步，重新构造网络图： 13. 由于无法再找到最短路，因此计算停止，第11步所得流量即为最小费用的最大流。 * * 从 s→t 的流量等于通过割的从V→ 的流量减 →V的流量，有： 用 v*( f ) 表示网络中从 s→t 的最大流，则有 因此，上例中最大流不会超过14（所有割集中最小者） 。 最大流 v*( f ) 应 最小割的容量(用 c*(V, )表示) * * 三. 最大流最小割定理 增广链： 如果在网络的发点和收点之间能找到一条链，在这条链上： 所有指向为 s→t 的弧（称前向弧，记作μ+），存在f c (非饱和)；（正向弧不饱和） 所有指向为 t →s 的弧（称后向弧，记为μ -），存在 f 0(非零)，（反向弧非零流） 这样的链称增广链。 * * 当有增广链存在时，找出 再令 显然，经过计算后 f ’ 仍然为可行流，但较原来的可行流 f 流量增大了θ 。因此，只有当网络图中找不到增广链时，s→t 流才不可能进一步增大。 * * 定理2. 在网络中 s→t 的最大流量等于它的最小割集的容量，即 证明：略（教材163页） 三. 求网络最大流的标号算法 Ford-Fulkerson 标号算法，其本质是判断是否存在增广链，如果存在，则找出增广链，调整流量；若不存在，则说明已达到最大流。 * * 第一步：首先给发点 s 标号(0 , ε(s) )。 第一个数字是使这个点得到标号的前一个点的代号，因 s 是发点，因此记为0。 第二个数字 ε(s) 表示从上一个标号到这个标号点的流量的最大允许调整值，s 为发点，不限允许调整容量，故 ε(s)=∞。 第二步：列出与已标号点相邻的所有未标号点： 考虑从标号点 i 出发的弧 (i ,j )（即正向弧)，如果有 fij=cij，不给点 j 标号；若fijcij ，则对 j 标号， 记为(i , ε( j ))，其中 ε( j ) = min{ε( i ) ,(cij -fij)} * * 考虑所有指向标号点 i 的弧 (h ,i ) （即反向弧) ，如果有 fhi=0，对 h 不标号， 若 fhi0，则对 h 点标号，记为(i , ε( h ))，其中ε( h ) = min{ε( i ) , fhi)}. 如果某未标号点 k 有两个以上相邻的标号点，可按 (1) ,(2) 中所述规则分别计算出 ε( k )的值，并取其中的最大的一个标记。 第三步：重复第二步可能出现如下两种结果： 1. 标号过程中断，t 得不到标号，说明该网络中不存在增广 链，给定流量即为最大流量。记已标号点集为V，未标号点 集为 ，(V , ) 为网络的最小割。 t 得到标号，这时可用反向追踪法在网络中找到一条从 s→t 的有标号点以及相应的弧连接而成的增广链。 * * 第四步：修改流量。 设原图中可行流为 f ，令 这样得到网络上的一个新的可行流 f ’ 。 第五步：抹掉图上所有标号，重复第一到第四步。 注意：在求解步骤中，第三步起到控制运算停止的作用， 而不是第五步。 * * 例：用标号法求下述网络图 s →t 的最大流量，并找出该网络图的最小割。 * * 解：(1) 先给 s 点标号 (0 , ∞)； * * (2) 从 s 点出发的弧 (s , v2)，因有 fs2cs2 ，且 ε(v2)=min{ε(s) , (cs2- fs2)}=2 故对 v2 点标号(s , 2)。 (s , v1)饱和，不标号。 * * (3) 弧 (v1 , v2)，因有 f120 ，且 ε(v1)=min{ε(v2) , f12)}=2 故对 v1 点标号(v2 , 2)。 (v2 , v4)饱和，不标号。 * * (4) 弧 (v1 , v3)，因有 f13c13 ，且 ε(v3)=min{ε(v1) , (c13- f13)}=2 故对 v3 点标号(v1 , 2)。 * * (5) 弧 (v4 , v3)，因有 f430 ，且 ε(v4)=min{ε(v3) , f43)}=1 故对 v4 点标号(v3 , 1)。 (