教案17_图论最大流问题4.pptVIP

* 第四节 网络最大流问题 例 连接某产品产地v1和销地v6的交通网如下： v2 v5 3 4 8 v3 v1 v4 v6 5 10 6 11 17 3 5 弧（vi，vj）：从vi到vj的运输线， 弧旁数字：这条运输线的最大通过能力, 制定一个运输方案，使从v1到v6的产品数量最多。 弧旁数字： 运输能力。 问题：这个运输网络中，从v1到v6的最大输送量是多少？ v2 v5 3 1 3 v3 v1 v4 v6 1 5 3 6 2 2 2 一、基本概念与定理 1. 网络与流 定义1 给定一个有向图D=（V，A），在V中指定 一点vs 称为发点，指定另一点vt 称为收点， 其余点称中间点。任意弧(vi ，vj )∈A，有 cij ≥0，称为弧的容量。称D为一个容量网 络。记为D=（V，A，C）。 流: 定义在弧集A上的一个函数f={f(vi ,vj )}，并称 f(vi ,vj )为弧(vi ,vj )上的流量。简记 f = {fi ,j } 弧旁数字： 容量 (a)图是一个网络 v2 v5 3 4 8 v3 v1 v4 v6 5 10 6 11 17 3 5 v2 v5 3 1 3 v3 v1 v4 v6 1 5 3 6 2 2 2 弧旁数字： 流量 cij? fij vi vj v2 v5 3.1 4.0 8.3 v3 v1 v4 v6 5.0 10.5 6.3 11.6 17.4 3.2 5.3 2. 可行流与最大流 定义2 满足下述条件的流 f 称为可行流: 1)容量限制条件: 对每一弧(vi , vj )∈A 0≤fij ≤cij 2)平衡条件: 对中间点vi (i≠s,t ),有 V( f ) 称为可行流 f 的流量,即发点的净输出量。 如所有fij=0， 零流。 可行流总是存在的 3. 增广链 对可行流 f ={ fij }： 非饱和弧：fij cij 饱和弧：fij =cij 非零流弧：fij 0 零流弧：fij =0 链的方向：若μ是联结vs和vt的一条链，定义链的方向是从vs到vt 。 前向弧：弧的方向与链的方向一致，记为μ+。 后向弧：弧的方向与链的方向相反，记为μ-。 v2 v5 3.3 4.1 8.3 v3 v1 v4 v6 5.1 10.5 6.3 11.6 17.2 3.2 5.2 μ = (v1,v2,v3,v4,v5,v6 ) μ+={(v1,v2) ,(v2,v3), (v3 , v4),(v5,v6)} μ - ={(v5,v4)} v2 v5 3.3 4.1 8.3 v3 v1 v4 v6 5.1 10.5 6.3 11.6 17.2 3.2 5.2 定义3 设 f 是一个可行流, μ 是从vs 到vt 的一条链,若μ满 足下列条件,称之为(关于可行流 f 的)一条增广 链。 (vi , vj ) ∈ μ- 0 fij ≤ cij 后向弧 是非零流弧， (vi , vj ) ∈ μ+ 0≤ fij cij 前向弧是 非饱和弧， v1 v2 v3 v4 v5 v6 8.4 6.0 6.5 3.3 5.4 4. 截集与截量 设S，T?V，S?T= ? ，始点在S，终点在T中的所有弧的集合，记为（S，T）。 S T v2 v5 3.3 4.1 8.3 v3 v1 v4 v6 5.1 10.5 6.3 11.6 17.2 3.2 5.2 =(v1,v2,v3) V1 1=(v4,v5,v6) 定义5 给一截集（V1，V1），把截集（V1，V1）中所 有弧的容量之和称为这个截集的容量（简称为截 量），记为C （V1，V1）， 即 不难证明，任何一个可行流的流量V( f )都不会 超过任一截集的容量。即 可行流 f *，截集(V1*，V1*), 若V( f *)=C( V1*，V1*）， 则 f *必是最大流， (V1*，V1*) 必是D的最小截集。 定理1 可行流 f *是最大流，当且仅当不存在关于 f * 的增广链。 证明：若 f *是最大流，设D中存在关于 f *的增广链 μ， 由增广链的定义，可知? 0,令 不难验证， 是一个可行流,且 ? = min 令 这与 f *是最大流的假设矛盾。 设D中不存在关