教程：最大流-最小割定理.pptVIP

* 最大流最小割定理 网络流之二 一、割的有关概念和定量 1、割的定义： 割（CUT）是网络中顶点的一个划分，它把网络中的所有顶点划分成两个顶点集合S和T，其中源点s∈S，汇点t∈T。记为CUT（S,T）。 如右图：源点：s=1；汇点：t=5。 框外是容量，框内是流量 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 1）、 顶点集合S={1，2，3}和T={4，5} 构成一个割。 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 2）、 顶点集合S={1，3}，T={2，4，5}构成一个割。 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 3）、 顶点集合S={1，3，5}，T={2，4}不能构成一个割。 ？ ◆ 如果一条弧的两个顶点分别属于顶点集S和T（一个顶点在S，另一个在T），那么这条弧称为割CUT（S,T）的一条割边。 ◆ 从S指向T的割边是正向割边； ◆ 从T指向S的割边是逆向割边。 如： 顶点集合S={1，3}，T={2，4，5}构成一个割。 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 正向割边：1?2;3?5 逆向割边：2?3 ◆ 割CUT（S,T）中所有正向割边的容量和称为割CUT（S,T）的容量。不同割的容量不同。 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 容量为：3+4=7 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 割的容量：4+4=8 割的正向流量：4+2=6 逆向割的流量：1 2、网络流与割的关系： 1 2 4 3 5 6 4 2 3 4 5 4 1 2 1 2 4 3 5 2 3 3 1 s t 网络流量：5 1 2 3 4 0 5 4 0 5 3 0 5 2 1 6 1 逆 正 割 割的流量 定理一： 如果f是网络中的一个流，CUT（S,T）是任意一个割，那么f的值等于正向割边的流量与负向割边的流量之差。 证明： 设X和Y是网络中的两个顶点集合，用f（X,Y）表示从X中的一个顶点指向Y的一个顶点的所有弧（弧尾在X中，弧头在Y中：X?Y）的流量和. 只需证明：f=f(S,T)-f(T,S) 即可。 如果X∩Y= ，那么： f(X,(Y1∪Y2))=f(X,Y1)+f(X,Y2) f((X1∪X2),Y)=f(X1,Y)+f(X2,Y) 成立。 下列结论成立： 根据网络流的特点： 如果V既不是源点也不是汇点，那么： f({V},S∪T)-f(S∪T,{V})=0; 任何一个点，流入的与流出的量相等。 如果V是源，那么： f({V},S∪T)-f(S∪T,{V})=f 对于S中的所有点V都有上述关系式，相加得到： f(S,S∪T)-f(S∪T,S)=f 又因为： f(S,S∪T)-f (S∪T,S) = (f(S,S)+f (S,T))-(f(S,S) +f (T,S)) = f(S,T)- f(T,S) 所以：f= f(S,T)- f(T,S) 定理得证 推论1： 如果f是网络中的一个流，CUT（S,T）是一个割，那么f的值不超过割CUT（S,T）的容量。 f= f(S,T)- f(T,S)=f(S,T)=割CUT（S,T）的容量 推论2： 网络中的最大流不超过任何割的容量 定量2： 在任何网络中，如果f是一个流，CUT（S,T）是一个割，且f的值等于割CUT（S,T）的容量，那么f是一个最大流，CUT（S,T）是一个最小割（容量最小的割）。 令割CUT（S,T）的容量为C，所以流f的流量也为C。 假设另外的任意流f1，流量为c1，根据流量不超过割的容量，则c1=c,所以f是最大流。 假设另外的任意割CUT（S1,T1），容量为c1，根据流量不超过割的容量，所以有c1=c,故，CUT（S,T）是最小割。 证明： 定量3：最大流最小割定量： 在任何的网络中，最大流的值等于最小割的容量。 1 2 4 3 5 6 4 2 3 4 5 2 1 2 1 2 4 3 5 4 2 3 4 5 2 2 2 1 1 1 2 2 最大流：7 S={1,2,3},T={4,5} Cut(S,T)是最小割，容量＝３＋４＝７ 结论1： 最大流时，最小割cut（S，T）中，正向割边的流量=容量，逆