离散数学_8概要.ppt

记号 意味着对于所有的顶点i?P∪P,求和。若(i, j)不是边，则Fij=0。 证明：首先注意到 设P= ?a, b, …，k? 于是 ex 8.3.5 在图8.3.1中 可见 在图8.3.2中 可见 最小切割是指具有最小容量的切割。 Th 8.3.2 最大流量最小切割定理 设F是G的一个流量，(P, P)是G的一个切割。如果(8.3.1)式等号成立，则流量最大且切割最小。而且(8.3.1)式等号成立当且仅当 (a) Fij= Cij 对于i?P、j?P (b) Fij=0 对于i?P、j?P 证明：第一个结论直接由(8.3.1)，即 看出。 第二个结论可由Th8.3.1的证明中看出: (8.3.1)式等号成立，当且仅当 注意到： 故(8.3.1)式等号成立，当且仅当 (a) Fij=Cij 对于i?P、j?P (b) Fij=0 对于i?P、j?P ex 8.3.6 在图8.3.2中， 即流量的值等于切割容量的值。所以流量最大而切割最小。 证明：考虑一致定向的边(i, j)，其中i?P，j?P 。因i是已标记的，故必然有 Fij=Cij 否则应在第23和24行标记j。 Th 8.3.3 算法8.2.1结束时生成一个最大流量。而且，如果P和P分别是算法8.2.1结束时已标记的顶点和没标记的顶点集合，则切割(P, P)是最小的。 Fij=0 否则应在第30行和31行标记j