运筹学第六章电子讲稿.ppt

定义3 设f是一可行流，?是从vs到vt的一条链，若?满足下列条件，则称之为（关于流f的）一条增广链： 在弧(vi,vj)??+上，0?fijcij 在弧(vi,vj)??—上，0fij?cij (4)截集与截量 设S，T?V，S?T=?，我们把始点在S，终点在T中的所有弧构成的集合，记为（S，T）。 定义4 给定网络D=(V,A,C)，若点集V被剖分为两个非空集合V1和V1，使vs?V1， vt?V1，则把弧集(V1,V1)称为是（分离vs和vt的）截集。 截集是从vs到vt的必经之路。 定义5 给定一截集(V1,V1)，把截集(V1,V1)中所有弧的容量之和称为这个截集的容量(截量),记为C(V1,V1)。 v(f)? C(V1,V1) 若对于一可行流f*，网络中有一截集(V1*,V1*)，使得v(f*)= C(V1*,V1*)，则f必是最大流，而(V1*,V1*)，必定是容量最小的截集，即最小截集。 定理1 可行流f*是最大流的充要条件是不存在关于f*的最大流。 若f*是最大流，则网络中必存在一个截集(V1*,V1*)，使得 v(f*)= C(V1*,V1*) 定理2 任一网络D中，从vs到vt的最大流的流量等于分离vs，vt的最小截集的截量。 4.2 寻找最大流的标号法(Ford Fulkerson) 思想：从一可行流出发，检查关于此流是否存在增广链。若存在增广链，则增大流 量，使此链变为非增广链；这时再检查是非还有增广链，若还有，继续调整，直至不存在增广链为止。 过程： 1) 标号过程 标号过程开始时，总先给vs标上(0,+?),这时vs是标号而未检查的点，其余都是未标号的点。一般，取一个标号而未检查的点vi，对一切未标号的点vj； (1)若在弧(vi,vj)上，fijcij，则给vj标号(vi,l(vj))，这里l(vj)=min[l(vi)， cij–fij]。这时点 vj成为标号而未检查的点。 (2)若在弧(vj,vi)上，fji0，则给vj标号(– vi,l(vj))，这里l(vj)=min[l(vi)，fji]。这时点vj成为标号而未检查的点。 于是vi成为标号而已检查过的点。重复上述步骤，一旦vt被标上号，表明得到一条从vs到vt的增广链?，转入调整阶段。 若所有标号都已检查过，而标号过程进行不下去，则算法结束，这时的可行流就是最大流。 2)调整过程 首先按及其它点的第一个标号，利用“反向追踪”的方法，找出增广链?。 令调整量为?= l(vt) 令 fij+ ? (vi,vj)??+ fij′= fij– ? (vi,vj)??— fij (vi,vj)?? 去掉所有的标号，对新的可行流f′={fij′}，重新进入标号过程。 v(f′)=v(f)+? 可结合下图理解其实际涵义。 vs v1 v2 v3 v4 vt (4,4) (8,1) (4,3) (2,2) (4,0) (2,2) (1,1) (7,2) (9,2) vs v1 vt v4 v2 v3 (9,7) (5,3) (3,2) (4,4) (5,5) (3,1) (2,1) (6,3) (7,7) 例 求下列网络的最大流与最小截集。 [解]一、标号过程 （1）先给vs标上(0,+?)。 （2）检查vs,在弧(vs,v1)上,fs1=7,cs1=9,fs1cs1, 则v1的标号为(vs,l(v1))，其中 * * 第十章 图与网络分析 §1.图的基本概念 图：由一些点及一些点的连线所组成。 边：两点之间不带箭头的联线。 弧：两点之间带箭头的联线。 无向图(图)：由点及边所构成的图。记为G=(V,E), V，E分别是G的点集合和边集合。 一条联结点vi,vj的边记为[vi,vj](或[vj,vi]) 有向图：由点及弧所构成的图，记为D=(V,A)，V,A分别是D的点集合和弧集合。 一个方向是从vi指向vj的弧记为(vi,vj) 图G或D中的点数记为p(G)或p(D)，边(弧)数记为q(G