第 6 章 图搜索算法.pptVIP

（5）增广路径 给定网络G = (V, E)及一个流f，一条增广路径p是剩余网络Gf中的一条从s到t的简单路径。根据剩余网络的定义，增广路径上的每一条边(u, v)将接纳一些从u到v的附加正流而不会违背该边上的容量限制。 定理6-6 若f 是G的一个最大流，则G关于f 的剩余网络Gf 中不存在增广路径。 （6）流网络的割 流网络G = (V, E)的一个割(S, T)是V的一个分为S和T= V – S，且s ? S及t ? T 的一个划分。若f是一个流，则跨越割(S, T)的净流定义为 。割(S, T )的容量为 。一个网络的最小割是该网络的容量最小的割。 引理6-7 流网络G中的任一个流f，以G的任一割的容量为上界。 2．算法的伪代码描述 定理6-7 设流网络G关于流f 不存在增广路径，则f 是G的一个最大流。 EDMONDS-KARP(G, s, t, c) 1 f←f0 2 cf←c 3 Gf←G 4 (?, d) ←BFS(Gf, s) 5 while d[t] ?? 6 do p←由?决定的从s到t的路径 7 cp ← min { cf (u, v) : (u, v)在p中} 8 for p中的每条(u, v) 9 do f[u, v] ← f[u, v] + cp 10