管理运筹学-第七章图与网络分析.pptVIP

基本概念与基本定理 1.网络与流 网络： D=(V,A,C),满足下列条件： （1）有向图； （2）有一个发点(vs)、一个收点(vt)和若干中间点； （3）每一条弧(vi,vj)?A都对应一个容量c(vi,vj)?0. 网络上的流：定义在弧集合上的一个函数f={f(vi,vj)} (fij). 称 f(vi,vj)为弧(vi,vj)上的流量。 vs v2 v3 v4 v5 vt 10 8 4 5 3 5 6 3 11 9 5 0 6 4 1 5 5 0 5 6 2. 可行流与最大流 可行流：满足以下条件的流 1) 容量限制 ：对任意 (vi,vj)?A ，0? fij ?cij 。 2) 平衡条件： 中间点：流入量=流出量 发点：流出量-流入量=流量v(f) 收点：流入量-流出量=流量v(f) 最大流问题： 求一个可行流{fij}，使v(f)达到最大。 3.增广链 给定一个可行流，网络中的弧可以分为： 饱和弧 非饱和弧 零流弧 非零流弧 给定一条从发点vs到收点vt的链?，定义链的方向是从vs到vt，则链上的弧被分成两类： （1）前向弧 ?+ （2）后向弧 ?- 增广链：从发点vs到收点vt的链?，若满足：每一条前向弧都是非饱和弧，每一条后向弧都是非零流弧，则称之为增广链。 vs v2 v3 v4 v5 vt 10 8 4 5 3 5 6 3 11 9 5 0 6 4 1 5 5 0 5 6 4. 割集与割的容量 割集的容量： 任何一个可行流的流量都不会超过任何一个割集的容量 定理2：可行流 f*是最大流的充要条件是D中不存在关于f*的增广链。 3. 寻求最大流的标号法（Ford Fulkerson） 算法的思想：从一个可行流开始，寻找增广链。若找到就调整可行流；若找不到增广链，则当前的可行流就是最大流。 算法的实现： （1）标号过程 （2）调整过程 该算法是由Ford和Fulkerson于1956年提出的，又称Ford-Fulkerson算法。 （1）标号过程： 检查的过程就是给邻点标号的过程。 已标号点 未标号点 已检查（所有邻点中该标的都标了） 未检查（邻点中还有该标号而未标的点） 当所有vi的邻点都检查之后，vi成为标号已检查的点，而新得到标号的点成为标号未检查的点。 重复上述过程，直到vt得到标号或标号范围无法扩大为止。 若vt得到标号，则可找到一条增广链，否则算法结束。 （2）调整过程 倒向追踪找到一条增广链?，令调整量 去掉标号，重复（1）（2）两个过程。 例1：用标号法求下列网络的最大流 s t v1 v2 v3 v4 （2，0） （5，3） （10, 6） （6, 6） （4, 3） （2, 1） （2，1） （7，1） （5，1） （5，5） [0 ，?] s t v1 v2 v3 v4 （2，0） （5，3） （10, 6） （6, 6） （4, 3） （2, 1） （2，1） （7，1） （5，1） （5，5） [s，2] [v1， 2] [v3,,2] [s ，4] [v1 ，1] 解 s t v1 v2 v3 v4 （2，2） （5，5） （10, 6） （6, 6） （4, 3） （2, 1） （2，1） （7，1） （5，3） （5，5） [0 ，?] [s,4] [v2 ，1] [v2 ，1] [v3 ，1] s t v1 v2 v3 v4 （2，2） （5，5） （10,7） （6, 6） （4, 3） （2,0） （2，1） （7，1） (5，4) （5，5） [0 ，?] [s,3] [v2 ，1] [v4 ，1] [v4,1 ] [v3 ，1] s t v2 v4 （2，2） （5，5） （10, 8） （6, 6） （4, 3） （2, 0） （2，2） （7，0） （5，5） （5，5） [0 ，?] [s,2] 标号范围无法扩大，得到最大流，最小割。 v1 v3 vs v2 v1 v3 vt (2，2) (3，3) (5，2) (5，0) (2，1) (2，2) (8，1) 例2 （1）下图所给网络的流是否为可行流？ （2）求出网络的最大流。 解 （1）由于各条弧上的流量均为非负数且不超过容量，各中间点的流入量等于流出量，所以是可行流。 vs v2 v1 v3 vt (2，2) (3，3) (5，2) (5，0) (2，1) (2，2) (8，1) [0，?] [vs ，3] [v1 ，3] [v2 ，1] [v3 ，1] vs v2 v1 v3 vt (2，2) (3，3) (5，3) (5，1) (2，0) (2，2) (8，2) [0，?] [vs