运筹学第六章图与网络分析1..ppt

§4最大流问题如下是一运输网络，弧上的数字表示每条弧上的容量，问：该网络的最大流量是多少？vsv2v1v3v4vt432312234vsv2v1v3v4vt411212132一、基本概念和基本定理1．容量网络在一个有向图中，仅有一个入次为0的点vs称为发点，一个出次为0的点vt称为收点，其余点为中间点。这样的有向图称为网络。如果让网络的每一条弧都对应一个非负的权数（称为该弧的容量），则称这样的网络为容量网络。2.网络的流：定义在弧集合A上的一个函数f={f(vi,vj)}，称f(vi,vj)为弧(vi,vj)上的流量。简记为fij上图中的运输方案就是这个网络上的一个流。每个弧上的运输量就是该弧上的流量。3．可行流满足以下三个条件的流①非负及容量限制条件：0≤fij≤cij②中间点（vi）平衡条件：③发点的纯输出等于收点的纯输入4．最大流使流量达到最大的可行流称为最大流。vsv2v1v3v4vt411212132可行流总是存在的，零流就是一个可行流5.增广链给定可行流f={fij}，使fij=cij的弧称为饱和弧，使fijcij的弧称为非饱和弧，把fij=0的弧称为零流弧，fij0的弧称为非零流弧。若?是网络中连接发点vs和收点vt的一条链，定义链的方向是vs→vt，则链上的弧被分成两类：前向弧（?+）：与u同向的弧后向弧（?—）：与u反向的弧f是一个可行流。如果满足则称μ为从vs到vt关于f的一条增广链。非饱和弧非零流弧图中，链u=(v1-,v2,v3,v4,v5,v6)是一条增广链。u+={(v1-,v2),(v2,v3),(v3,v4),(v5,v6)}u-={(v5,v4)},u+中每条弧非饱和,u-中每条弧非零流v1v3v2v4v6(10,5)(8,3)(5,1)(3,3)(3,2)(5,2)(6,3)(11,6)(17,2)(4,1)v56.截集与截量设S，T?V，S?T=?，我们把始点在S，终点在T中的所有弧构成的集合，记为（S，T）。给定网络D=(V,A,C)，若点集V被剖分为两个非空集合V1和V1，使vs?V1，vt?V1，则把弧集(V1,V1)称为是（分离vs和vt的）截集。若把一截集的弧从网络中去掉，则从vs到vt便不存在路，即截集是vs到vt的必经之路，给定一截集(V1,V1)，把截集(V1,V1)中所有弧的容量之和称为这个截集的容量(截量),记为v(f)?C(V1,V1)vsv1v2v3v4vt(4,4)(8,1)(4,2)(2,2)(4,1)(2,1)(1,1)(7,2)(9,3)V1={vs,v2}V1={v1,v3,v4，vt}截集(V1,V1)={(vs,v1),(v2,v3),(v2,v4)}C(V1,V1)=CS1+C23+C24=4+2+2=8若对于一可行流f*，网络中有一截集(V1*,V1*)，使得v(f*)=C(V1*,V1*)，则f必是最大流，而(V1*,V1*)，必定是容量最小的截集，即最小截集。二、定理1.网络中的可行流是最大流的充要条件是网络中不存在增广链。2．最大流量最小截量定理：任一网络D中，从vs到vt的最大流的流量等于分离vs，vt的最小截集的容量。截集有多个，截量最小者称为最小截集容量（最小截）三、寻找最大流的标号法(Ford，Fulkerson)1．判断可行流f是否为最大流的方法①能否找出vs到vt的增广链，若能，则说明f不是最大流，否则f就是最大流。②v(f)是否等于最小截量，若等，f就是最大流，否则就不是。2．标号法的基本思想从一个可行流f出发，由发点vs开始，用对网络D中的每个点进行标号的办法寻找f的增广链，若无，则f为所求的最大流，若有则在增广链上进行调整。使此链变为非增广链；这时再检查是否还有增广链，若还有，继续调整，直至不存在增广链为止。3．标号算法的步骤从一个可行流出发经过标号过程与调整过程1）标号过程：两种点：已标号点（已检查和未检查两种）、未标号点标号点的标号包含两部分第一个标号表明它的标号是