网络最大流问题.ppt

增广链01若给一个可行流f={fij}，我们把网络中使fij=cij的弧称为饱和弧，使fijcij的弧称为非饱和弧。把fij=0的弧称为零流弧，fij0的弧称为非零流弧。02若μ是网络中联结发点vs和收点vt的一条链，我们定义链的方向是从vs到vt，则链上的弧被分为两类：一类是弧的方向与链的方向一致，叫作前向弧。前向弧的全体记为μ+。另一类弧与链的方向相反，称为后向弧。后向弧的全体记为μ-。03定义3设f是一个可行流，μ是从vs到vt的一条链，若μ满足下列条件,称之为(关于可行流f的)一条增广链。在弧(vi，vj)∈μ+上，0≤fijcij，即μ+中每一弧是非饱和弧。在弧(vi，vj)∈μ-上，0fij≤cij，即μ-中每一弧是非零流弧。01图10-24中，链μ=(v1,v2,v3,v4,v5,v6)是一条增广链。因为μ+和μ-中的弧满足增广链的条件。如：(v1,v2)∈μ+,f12=5c12=10；(v5,v4)∈μ-,f54=30。024、截集与截量设S,T∈V，S∩T=Φ，我们把始点在S，终点在T中的所有弧构成的集合，记为(S，T)。定义4给网络D=(V，A，C)，若点集V被剖分为两个非空集合V1和，使vs∈V1，vt∈，则把弧集(V1,)称为是(分离vs和vt的)截集。可以看出，从网络中去掉任一截集，则从vs到vt便不存在路。所以，截集是从vs到的vt必经之路。任何一个可行流的流量v(f)都不会超过任一截集的容量。即定义5给一截集(V1,)，把截集(V1,)中所有弧的容量之和称为这个截集的容量(简称为截量)，记为c(V1,)，即显然，若对于一个可行流f*，网络中有一个截集(V1*,)，使v(f*)=c(V1*,),则f*必是最大流，而(V1*,)必定是D的所有截集中容量最小的一个，即最小截集。定理1可行流f*是最大流的充分必要条件是不存在从vs到vt的(关于f*)增广链。证明：(一)必要性用反证法。可行流f*是最大流，假设存在从vs到的vt的(关于f*)增广链。令：由增广链的定义，可知θ0,令网络上的另一个流：仍为可行流(即满足容量限制条件与平衡条件)，但的总流量等于的流量加θ，即这与是最大流的前提矛盾。(二)充分性：若不存在关于f*增广链，那么f*是最大流。因为不存在关于f*增广链，那么在这种定义下，。令：则。因此，可以得到一个截集。令：若且则令若且则令用下面方法定义点集显然有那么，可行流f*上的流量则f*必然是最大流。最大流量最小截量定理：任一个网络D中，从vs到vt的最大流的流量等于分离vs，vt的最小截集的容量。增广链的实际意义是：沿着这条链从vs到vt输送的流，还有潜力可挖，只需按照定理1证明中的调整方法，就可以把流量提高，调整后的流，在各点仍满足平衡条件及容量限制条件，即仍为可行流。这样就得到了一个寻求最大流的方法：从一个可行流开始，寻求关于这个可行流的增广链，若存在，则可以经过调整，得到一个新的可行流，其流量比原来的可行流要大，重复这个过程，直到不存在关于该流的增广链时就得到了最大流。123寻求最大流的思路：利用定理1中对V1*定义，根据vt是否属于V1*来判断D中有无关于f的增广链。实际计算时，可以用给顶点标号的方法来确定属于V1*的点。在标号过程中，有标号的顶点表示是V1*中的点，没有标号的点表示不是V1*中的点。一旦vt有了标号，就表明找到一条增广链；如果标号过程进行不下去，而vt尚未标号，则说明不存在增广链，于是得到最大流。而且同时也得到一个最小截集。第二步：调整过程，沿增广链调整f以增加流量。设已有一个可行流(若网络中没有给定f，则可以设f是零流)，从这个可行流开始，标号法的过程分为两步：二、寻求最大流的标号法第一步：标号过程，通过标号来寻找增广链；1、标号过程在标号过程中，网络中的点分为两类：(1)标号点(又分为已检查和未检查两种)。每个标号点的标号内容包含两部分：标号的第一部分表明它的标号是从哪一点得到的，以便找出增广链；标号的第二部分是为确定增广链的调整量θ用的