第二十章 网络问题.docVIP

第二十章 网络流问题 在我们的日常生活中有大量的网络，如电网、水管网、交通运输网、通讯网、生产管理网等．近二、三十年来在解决网络方面的有关问题时，网络流理论及其应用起着很大的作用． 先看一个实例．设有一个水管网络，该网络只有一个进水口和一个出水口，其它管道（边）和接口（节点）均密封．网络中每个管道用它的截面面积作为该管道的权数，它们反映管道在单位时间内可能通过的最大量称为容量．现在在此水管道网络中注入稳定的水流，水由进水口注入经过水管网络后流向出水口，最后从出水口流出，这就形成一个实际的稳定流动，称为流．分析这种实际流动，有如下性质： （1）实际流动是一个有向的流动； （2）每个管道中单位时间内通过的流量不可能超过该管道的容量（权数）； （3）每个内部节点处流入节点的流量与流出节点的流量应相等； （4）流入进水口的流量应等于流出出水口的流量，即为实际流动的流量． 如果我们进一步加大流量，由于受水管网络的限制，加到一定的流量后，再也加不进去了，这就是此水管网络能通过的最大流量．这里所谓的网络流理论正是从这些实际问题中提炼出来的，下面来介绍有向图的网络流理论及其应用．一、网络流与最大流最小截集定理 网络流理论最初由福特和弗克森于1956年创立的，包括理论与算法两部分． 网络流的基本问题如下：设一个有向赋权图其中有两个特殊的节点s和s/．s称为发点，s/称为收点．图中各边的方向和权数表示允许的流向和最大可能的流量（容量），并假设容量均为整数．问在这个网络图中从发点流出到收点汇集，最大可通过的实际流量为多少？流向分布情况怎样？ 网络流理论的关健是引进一个“流”的概念． 在有向赋权图G(V，E）的边集E上定义一个整数值函数中的有向边，记为与节点x邻接的节点的集合，使满足条件： ． 则称为有向赋权图G(V，E）上的一个流． 条件（1）表示从到的正流等于从到的负流；条件（2）表示每条边的实际流量不能超过该边的容量；条件（3）表示每个内部节点（即不是发点或收点的节点）的流量之和必为零，即满足零守恒定律——流进内节点的流量之和等于流出该节点的流量之和；条件（4）表示发点处只能流出，收点处只能流进． 设为图上的一个流，则 称为的流值，它是流在发点处的总流出量．以后还将看到，也等于流在收点的总流入量，即 在展开网络流理论之前，先来看一个例子． 例1 有向赋权图如图20-1所示．图中未标出的有向边（如）都假定为零． 首先注意到，总是一个流，称为零流． 图20-2和图20-3表示另外两个流．其中未标出的边总假定为零．由条件（1）知，反方向边的流必为正方向边的流的负值． ．本例表明，一个已知的图可以有不同的流和流值．那么，如何来判断和寻找具有 图20-1 图20-2 图20-3 最大流值的流呢？为此，我们还要引入另一个概念——截集． 设C为包含发点但不包含收点的节点子集，C/为C的余集（C/=V\C），显然，包含收点而不包含发点，称节点集V的这种分解（C，C/）为网络G的一对截集．从C到C/的各边的权数之和称为截集（C，C/）的容量，记为 在例1中，设 ． 设的一个流，则显然有，其中 对于任意给定的图G，G上不同的截集有不同的容量．同时G上不同的流有不同的流值．称具有最小容量的截集为最小截集，具有最大流值的流称为最大流．网络流理论的基本定理将证明最大流的流值等于最小截集的容量．先看一个引理： 引理1 若f为图G（V，E）的一个流，则对任何截集（C，C/）有． 证明 则流的条件（1），可知=0．故 但是．当．于是 ，即有 ． (2) 定理1（最大流最小截集定理）设G（V，E）为赋整数权的有向图，则为G的最大流，为G的最小截集的充分必要条件是 . 证明：设为整数值，由于被任一对截集的容量所限，故最大流必存在．设的一个最大流，我们选取节点子集C0如下： 设为的非饱和边．若一条路的每一条边都是非饱和的，则称该路为的非饱和路；若存在从S出发的非饱和路达到的节点，称为的非饱和节点．C0是所有的非饱和节点组成的集合． 我们断言C0不包含收点．因为如果，则从s到必存在一条非饱和路R．沿着这条非饱和路，在该路的每条边上把的值都增加1，而得到一个新流 显然为最大流的假设矛盾． 因C0包含s而不包含，故C0与它的余集构成一对截集．由C0的定义可知，对任意．因而 　　　　　　 　　　　　　 （3） 又由式（2）和（3）得知，对任意的一对截集（Ｃ，），有