运筹学( 图与网络优化).ppt

vs v1 v3 v4 v2 vt 8,8 5,5 2,2 8,1 7,1 9,9 6,3 6,0 5,4 3,0 vs v1 v3 v4 v2 vt 8,8 5,5 2,2 8,1 7,1 9,9 6,3 6,0 5,4 3,0 (-, ∞) 寻找增广链 利用标号法得不出流f 3 的增广链，因此，f 3 是给定网络的最大流，流值为10。 令S={vs},则 是最小割。 Ford — Fulkerson 算法 Step0 先给网络赋一个初始0流f 0; 给vs标(-,+∞) Step1 寻找流f 的增广链(1.1) 如果所有标号点已经检查且汇点未标号，转Step3； (1.2) 找一个已标号但未检查的点vi 做如下检查： 对每个弧e=(vi , vk ) ,如果vk 未标号且 )} ( ) ( ), ( min{ ) ( e f e c i l k l - = 则给vk标号(+ vi ,l(k)),其中 Ford — Fulkerson 算法 对每个 弧e=(vk , vi ) ,如果vk 未标号且 则给v k标号(- vi ,l(k)),其中 )} ( ), ( min{ ) ( e f i l k l = Step2 增广网络流 从源点vs开始依据标号构造增广链P，并调整流值， 标号的正负表示增加或减少相应弧的流值；擦去所 有标号，转Step1. (1.3)若汇点vt已标号，转Step2;否则转(1.1). Step3 令S表示所有已标号点，则得最小割，相应流为 最大流，结束 。 1 2 3 5 4 6 8 5 2 8 7 9 6 6 5 3 Linear Programming of Maximal Flow Mode * 1 2 3 4 5 － 3 10 8 12 3 － 11 5 9 10 11 － 6 10 8 5 6 － 4 12 9 10 4 － 1 2 3 4 5 1 2 3 4 5 － 2 3 2 4 1 － 4 4 4 1 4 － 4 4 2 2 3 － 5 4 4 4 4 － 1 2 3 4 5 1 2 4 5 3 3 5 4 6 15 10 1→2→4→5 用线性规划求最短路 1 2 4 5 3 100 15 50 10 60 30 求从1到2的最短路 20 §10.4 网络最大流问题 vs v1 v3 v4 v2 vt 3 2 2 2 2 3 1 1 1 网络流图 设D= (V,A,W) 是一个有向网络。vs是网络的源点，vt是网络的汇点。 弧上的数字是允许通过的最大流量。 可行流 设f是定义在弧集A上的一个函数，如果对所有弧 a 成立 并且对所有中间顶点 v 成立 其中，f +(v)是流出v 的流量，f -(v)是流入v的流量。 则称 f 是网络D上的一个可行流。 2,1 vs v1 v3 v4 v2 vt 3,1 2,1 2,2 2,1 3,2 1,0 1,0 1,1 ---容量限制 ----守恒条件 流值 对于源点vs和汇点vt ，流出源点vs的流量等于流入汇点vt的流量，称之为流 f 的值，记为val f 。即 vs v1 v3 v4 v2 vt 3,1 2,1 2,2 2,1 2,1 3,2 1,0 1,0 1,1 val f = 3 最大流 网络最大流是指给定网络上的流值最大的一个可行流。 寻找给定网络的最大流及其有效算法是网络规划的一个重要问题。 Ford 与 Fulkerson 在1957年提出一个求解网络最大流问题的算法，称为Ford — Fulkerson 算法。 割集 设S是网络的顶点子集，且 割集的容量定义为 最小割是指容量最小的割。 定义D的一个割集，简称割为 vs v1 v3 v4 v2 vt 3 2 2 2 2 3 1 1 1 定理1 对于网络的任意流 f 和割 成立 证明 由定义可知 推论1 对于网络的任意流 f 和割 ，成立 vs v1 v3 v4 v2 vt 3 2 2 2 2 3 1 1 1 注：推论2的逆命题也成立，即推论中的等式永远成立。称为最大流最小割定理，是网络理论的一个重要定理。 则f 是最大流，K是最小割。 如果成立 推论2 设 f 是网络的一个可行流， 是网络的一个割， 链、正向弧、反向弧 设P是网络D的一条链，则P中的弧可分为两类： 正向弧—弧的方向与