- 5
- 0
- 约2.7千字
- 约 4页
- 2020-11-07 发布于天津
- 举报
运输网络:最大流最小割定理
定义 设N = (V, E)是一个无环连通有向图。则称 N为一个网络或者运输网络,若N满足如 下条件:
存在惟一的一个顶点 a在V,并且id (a)等于0。顶点a称为源点。
存在惟一的一个顶点 z在V,称为汇点,其中od⑵等于0。
因为图N是带权图,所以存在从E到非负整数集合的一个函数, 它赋给每条边e = (v ,
w) € E 一个容量,记为 c(e) = c(v, w)。
定义 如果N = (V, E)是一个运输网络,则从 E到非负整数集合的函数 f称为N的流(flow),
若
对于每条边e w e,都有f (e) c(e);并且
对于不同于源点a或者汇点z的每个v亡V,都有£ 同f (w, v)=云wm f (v, w)。(如
果不存在边(v, w),贝U f (v, w) = 0。)
例
定义 设f是一个运输网络 N = (V, E)的一个流。
a)称网络中的一条边 e为饱和的,若f (e) = c(e)。当f (e) c(e)时,则称这条边为 不饱 和的。
b)如果a是N的源点,则val(f) = £ 恒f (a,v)称为流的值(value of flow)。
最大流 具有最大可能值的流。
定义 如果N = (V, E)是一个运输网络,并且C是N的相伴无向图的一个割集, 则称C为
个割,若从这个网络中去掉 C中边可以导致a和z的分离。
例 割Ci将网络中的顶点划分成两个集合: P = {a , b}和它的补集P = {d, g, h, z}, C〔记作
(P, P )。割的容量记作c(P, P ),定义为
c(p, F)= c(w, W),p
定理 设f是网络N = (V, E)中的一个流。如果 C = (P,P )是N中任意一个割,则 val(f)不能
超过 c(P, P )。
推论1如果f是运输网络N = (V, E)中的一个流,则流出源点a的流值等于流入汇点 b的流 值。
推论2设f是运输网络N = (V, E)中的流,并且令(P, P )表示一个割,其中val(f) = c(P,P)。
则f是这个网络N中的最大流并且(P,P)是最小割。
推论3 对于运输网络N = (V, E),令f是N中的流,并且令(P,P )是一个割。则val(f) = c(P,P )
当且仅当
a)对于每条边e = (x, y)都有f (e) = c(e),其中x在P并且y = P
b)对于每条边e = (v, w)都有f (e) = 0,其中v在P并且w亡P。
例 考虑从 a 到 z 的一条有向路径。定义△ p = min e?{c(e) - f (e)} = min {8 - 4, 8 - 6} = min{4, 2} = 2。
Pl = min e. Pl {c(e) - f (e)} = min {6 - 4, 6 - 3, 5 - 2} = min{2, 3, 3} = 2 。
定义△ P2 = mineq2{ △ e},其中对于正向边有 △ e = c(e) - f (e),对于从b到d的反向边有
e = f (e)。所以,可以得出 Ap2= min [(8 - 6, 6 - 5, 5 - 4} p {1}] = 1 。
定义 设N = (V, E)是一个运输网络,并且存在一个顶点和边的交替序列,其中的边都取自
N的相伴无向图。则称这个序列为 半路径(semipath)o
定义 设f是运输网络 N = (V, E)中的流。则f-增广路径(f-augmenting path) p是一条(从a
到z的)半路径,其中对于 p上的每条边e来说,有
f (e) c (e), 如果e是一条正向边
f (e) 0, 如果e是一条反向边。
定义 设p是运输网络N = (V, E)中的一条f-增广路径。对于在半路径p上的每条边e来说, 有
△ e = c(e) 一 f (e) 若e是一条正向边
△ e = f (e)若e是一条反向边
常称△ e的值为边e上的容许量。
p = mine0( △ e}是最小的增加量(对于正向边)以及最大的减少量(对于反向边) 。
定理 设N = (V, E)是一个运输网络,并且 f是流。则流f是N中的最大流当且仅当 N中不 存在f-增广路径。
定理 最大流最小割定理。对于一个运输网络 N = (V, E)来说,N中可以得到的最大流值等
于网络中所有割里的最小容量。
例 第一种方式:使用有向路径 (a, b), (b, z)并且然后是(a, d), (d, z)作为f-增广路径。第二种
方式:从有向路径(a, d), (d, b), (b, z)然后是半路径(a, b}, ( b, d}, ( d, z}作为前两条连续的f-增 广路径。
定义 设N = (V, E)是一个运
原创力文档

文档评论(0)