第十章网络的流 网络模型的很多问题可以归结为网络流问题。第九章中介绍的最短路问题,本质上也 是网络流问题,属于网络流问题的一类特殊问题。而多数网络流向题又是线性规划的特殊 类型.都可以建立对应的线性规划或整数规划摸型。那么为什么要用网络流的方法代替线 性规划,不用线性规划的一般求解方法,而要另外建立一些算法呢?由于实际问题中抽象 出来的网络流模型是一类具有特殊结构的问题,利用其特性常常可以研究、寻求一些较单 纯形法更为有效的方法去求解,又由于网络模型的直观性常常可以通过顶点一边的关系 代数学模型来措述一个实际问题,更易于接受.网络流题是图论的重要方面,在广泛 的领域里具有重要的应用。 这一章我们以运输网络为例,介绍网络的流及其它有关问题。主要内容是:流和割的 概念。最大流最小制定理,确定最大流的标记法,最小费用流以及最小费用最大流的网络 模型。 S10.1基本概念和定理 一、流 设G=(W,E)为一有向图,顶点V表示一些城市(或中转站),边集E表示连接顶点 的道路。给每边e∈E(G)赋予一个非负整数c(e) c,),或简记为c4,通常称为容 量,它表示在一定时间内这条边货物的最大通过量则称G为一个网络,现在假定在网络 中有一点s有大批货物要通过网络运送到网络的另一点t.s点我们称为网络的源,通常 假定它没有射入边t点称为汇,假定它没有射出边.除了源和汇以外的点称为G的中间 顶点.这样的网络就是在物资运输问题中常用的数学榄型,常常称为运输网络。 在运输网络中边可以用来表示城市之间的公路或铁路,电信局之间的通讯线路等,边 的容量则可以表示输送的物资量,速率公路或铁路上通过的车辆数或信息量等等。 图10-1表示一个具有一个源s,一个汇t以及4个中间顶点,2,,”的运输网 络.边旁的数字为c· 图10-1 假如,我们把网络中的边视为交通网中的道路,每条道路都有一定输送货物的能力即 容量,问题就成为如何在该运输网络中寻找最佳运输方案 一个货物运输方案,可以用网络上的一个可行流来表示。 所谓网络上的流是指定义在边集合E上的一个函数f(e)=f(,),并称f(e)为 1
✂✁✂✄ ☎✂✆✂✝✂✞ ✟✡✠☞☛☞✌☞✍☞✎☞✏☞✑☞✒☞✓☞✔✖✕☞✗✖✘✙✟✚✠☞✛✖✑✖✒☞✜✣✢☞✤✖✥✙✦✚✧☞★✖✍✖✩☞✪✖✫☞✑✖✒, ✬☞✭☞✮☞✯ ✰✟✡✠☞✛☞✑☞✒, ✱☞✲ ✟✡✠☞✛☞✑☞✒☞✍☞✳☞✴☞✵☞✶✖✑☞✒✖✜✸✷✖✏✖✹✙✟✚✠☞✛✖✑✖✒☞✺✰☞✻✖✼✖✽☞✾✍☞✵✖✶ ✴☞✌, ✿✓☞✔☞❀☞❁☞❂☞❃☞✍✻☞✼☞✽☞✾✖❄✖❅✹✽☞✾☛✖✌☞✜✣❆✖❇☞✘✖❈☞❇✖❉✖❊✙✟✚✠☞✛✖✍✖❋☞●✖❍☞■✻ ✼✖✽✖✾, ❏ ❊✻✖✼✖✽✖✾✍✖✳✖❑✖▲✖▼✖❋◆●, ✷✖❉✖❖✖P✖❀✖❁✖✳✖◗✖❘✖●✖❙? ❚✚✲✖❯✖❱✑✖✒❲✦✚❳✖❨ ❩☞❬✍✙✟✡✠☞✛☞☛☞✌✰✳☞✴✖❭☞❪✖✵☞✶✖✗✖❫☞✍✖✑☞✒, ❴ ❊☞❵☞✵✼☞❛☞❛✓☞✔☞❜☞❝☞❞✣❡✖▲☞✳✖◗☞❢✖❣ ❤✖✐●✖❥✖✘✖❪✖❦✖✍✖❋✖●✖❧✖▲✖▼, ✺ ❚✚✲ ✟✚✠✖☛✖✌✖✍✖♠✖♥✼ , ❛✖❛✓✖✔✖♦✖♣✖q✖r – s ✍✖t✖✉ ❍✖■✖✹✖✈✖☛✖✌❬✖✇✖①✳✖②❯✖❱✑✖✒, ❥✖③✲✖④✖⑤✜✡✟✚✠✖✛✖✑✖✒✰✖⑥✖⑦✍✖⑧✖❉◆❋✖⑨, ⑩✖❶✖❷ ✍✖❸✖❹✖❺✖❭✖❪✖⑧✖❉✖✍✖❃✖❊✖✜ ❻✳✖✥✖❼✖❽✖✔✖❾✖❿❲✟✚✠✖✘✖➀, ✧✖★❲✟✚✠✖✍✖✛✖➁✖❵✖➂✖❪✖t✖✑✖✒✖✜➄➃◆❉❲➅✚➆✰ : ✛✖➇✖➈✖✍ ➉◆➊, ✩◆➋◆✛◆✩◆➌◆➈◆➍◆➎, ➏➍◆✩◆➋◆✛◆✍◆➐◆➑◆●, ✩◆➌◆➒◆❊◆✛◆✔◆➁◆✩◆➌◆➒◆❊◆✩◆➋◆✛◆✍➓✟➔✠ ☛✖✌✖✜ §10.1 →↔➣↔↕↔➙↔➛↔➜↔➝ ➞➠➟➢➡ ➤ G = (V, E) ✘✖✳✖❪❲➥⑥ , q✖r V ➦✖➧✳✖◗✖➨✖➩ (❄ ✦✚➫✖➭), s✖➯ E ➦✖➧✖➲✖④q✖r ✍✖➳✖✫✖✜➄➵✖➸s e ∈ E(G) ➺✖➻✳✖②✖➼✖➽❅✹ c(e) = c(vi , vj ), ❄✖➾➑✖✘ ci,j , ♦❛✖➚✘➶➪ ➹ , ➂➦✖➧✖⑩✳✖➍✖➘✖➴❲➅❻✖➷s✖➬✖➮✍✖✩✖➋✖♦✖♣✖➱, ✃➚ G ✘✖✳✖②❲✟✚✠✖✜❒❐⑩✖❮➍ ⑩ ✟✚✠ ✦✚❪✖✳✖r s ❪✖➋✖❰➬✖➮❉✖♦✖♣❲✟✚✠✖❾✖Ï✖Ð❲✟✚✠✖✍✖❖✖✳✖r t✜ s r✖❼✖❽➚✘❲✟✚✠✖✍ÒÑ, ♦❛ ❮ ➍✖➂✖Ó✖❪✖Ô✖Õs;t r➚✘×Ö, ❮ ➍✖➂✖Ó✖❪✖Ô❩ s ✜ÙØ✖Ú✖Û✖➇✖Ü✖✔✖P✖✍✖r➚✘ G ✍×Ý✖Þ ß✖à✜ ❻✖á✍❲✟✚✠✖â✰ ⑩✖➮✖ã❾✖❿✖✑✖✒❲✦❛❊✖✍✖✹✖✈✖☛✖✌, ❛✖❛✖➚✘×ä✖å✖æ✖ç✖✜ ⑩❾✖❿❲✟✚✠❲✦s ✓✖✔✖❊❬➦✖➧➨✖➩✖è✖➴✖✍✖é✖✫❄✖ê✫ , ë✚ì✖íè✖➴✖✍✖♦✖î✻✫✖ï, s ✍✖➆✖➱✃✓✖✔ ➦✖➧❿✖Ï✖✍➮✖ã➱ , ð✖ñ, é✖✫❄✖ê✫ ✮♦✖♣✖✍✖ò✖ó✖✹❄ì✖ô➱✖ï✖ï✖✜ ⑥ 10–1 ➦◆➧✳◆②◆❭◆❪◆✳◆②◆Û s, ✳◆②◆Ü t ✔◆➁ 4 ②➓✦➔➴◆q◆r v1, v2, v3, v4 ✍◆❾◆❿➓✟ ✠✖✜ s✖õ✍✖✹✖ö✖✘ ci,j ✜ ⑥ 10–1 ❮✖÷, ❼✖❽✖ø❲✟✚✠❲✦✚✍s✖ù✘✖ú✖♦❲✟✖✦✚✍✖➳✖✫, ➸➷➳✖✫✿ ❪✖✳✖➍✖❿✖Ï➬✖➮✍✖û✖ü✖ý ➆✖➱, ✑✖✒✖â✖þ✖✘÷✖ÿ✖⑩✁❾✖❿❲✟✚✠❲✦✚❡✁✂✖✩✁✄✖❾✖❿✖❋✁☎✖✜ ✳✖②➬✖➮❾✖❿✖❋✁☎, ✓✖✔✖❊❲✟✚✠✮ ✍✖✳✖②✖✓✁✆✖✛❬➦✖➧✜ ✝✁✞ ✟✚✠✮ ✍✠✟, ✰✁✡➍✁☛⑩✖s✖➯✁☞ E ✮ ✍✖✳✖②✁✌✖✹ f(e) = f(vi , vj ), ✍➚ f(e) ✘ 1
第十章网络的流 边(,)上的流量(有时也简写作). 图10-2所示的运输方案,就可看作是图10-1上的一个流,每条边上的第二个数字就 是该边上的运输量,称为流量,即1=3,∫2=1,13=1,14=1,f12=1,24=2, f=1,f3=2,j=2. 图10-2 以图10-2为例,显而易见,在运输网络的实际问题中,对于流有两个要求:一是每边 上的流量不能超过该边的最大通过能力(即边的容量):二是中间点的流量为零。因为中间 点只起转运作用,进出该点的流量相等所以我们说中间点的流量为零,另外,发点的净流 出量和收点的净流入量必相等,也是这个方案的总运输量,因此有 对于网络G上给出的满足以下条件的一组流称为可行流 1.容量限制条件.对任意边e=(i.)∈E有 0≤f≤c (10.1) 2.中间点平衡条件,对每个中间点(位≠s,)有 (10.2) 若以v(f)表示网络从s→t的流量(流值),则有 ∑-工-{0喜:时 (10.3) 任一网络G,至少存在一个可行流.因为对于所有的边e,定义=0,则∫显然满 足上述两个条件,称为零流。流值()=0。而运输网络的主要问题是要找出它的一个最 大流,即在满足容量限制和中间点平衡的条件下,使流值()达到最大.容量限制条件是 一个不等式,所以最大流问题是一个典型的线性规划问题, 因此,网络流的线性规划模型可以表示为 max 2=v(f) 满足 当i=s时 ∑f-∑fi= 0, 当i≠s,t时 -v(f),当i=t时 0≤f≤j其中()eE
2 ✎✑✏✓✒✕✔✓✖✑✗✓✘ s (vi , vj ) ✮ ✍✙✟➹ (❪✖➘✯ ➾✁✚✁✛ fij )✜ ⑥ 10–2 ✝ ➧ ✍✖❾✖❿✖❋✁☎, â✖✓✁✜✛✖✰✖⑥ 10–1 ✮ ✍✖✳✖②✖✛, ➸➷s✖✮✍✖✢✁✢✖②✖✹✖ö✖â ✰◆s◆✮✍◆❾◆❿◆➱, ➚✘◆✛◆➱, ý fs1 = 3, fs2 = 1, f13 = 1, f14 = 1, f12 = 1, f24 = 2, f43 = 1, f3t = 2,f4t = 2✜ ⑥ 10–2 ✔ ⑥ 10–2 ✘✖➀, ✣ ✷✖③✁✤, ⑩❾✖❿❲✟✚✠✖✍❯✖❱✑✖✒❲✦, ❂ ✲ ✛✖❪✁✥✖②✖❉✖▲: ✳✰➸ s ✮ ✍☞✛☞➱❏ û✧✦☞♣☞s✍✖✩✖➋☞♦✖♣☞û✖ü (ýs ✍☞➆☞➱); ✢✰✦✡➴☞r☞✍☞✛☞➱☞✘✧★☞✜✪✩✖✘✙✦✚➴ r✧✫✧✬☞➫☞❾✛❊ , ✭ ❩ r☞✍☞✛☞➱✧✮☞ï, ✝✔☞❼☞❽✧✯✙✦✡➴☞r☞✍☞✛☞➱✖✘✧★✖✜✸❖✖P, ✰ r☞✍✧✱☞✛ ❩ ➱✖➇✁✲✖r✖✍✁✱✖✛✖Õ✖➱✁✳✁✮✖ï, ✯ ✰❻②✖❋✁☎✖✍✁✴✖❾✖❿✖➱✖✜✵✩✁✶✖❪: ❂ ✲ ✟✚✠ G ✮➵❩ ✍✁✷✁✸✖✔✁✹➷✁✺✍✖✳✁✻✖✛➚✘✖✓✁✆✖✛: 1. ➆✖➱✁✼✁✽➷✁✺, ❂✁✾✁✿s e = (i, j) ∈ E ❪ 0 ≤ fij ≤ cij (10.1) 2. ✦✚➴✖r✁❀✁❁➷✁✺, ❂✖➸✖②❲✦✚➴✖r vi(i 6= s,t) ❪ X (vi,vj )∈E fij = X (vj ,vi)∈E fji (10.2) ❂✔ v(f) ➦✖➧ ✟✚✠✁❃ s → t ✍✖✛✖➱ (✛✁❄), ✃❪ Xfij − Xfji = ( v(f), ❅ i = s ➘ −v(f), ❅ i = t ➘ (10.3) ✾✖✳❲✟✚✠ G, ❆✁❇✁❈✖⑩✳✖②✖✓✁✆✖✛✖✜✵✩✖✘◆❂✲✝❪✖✍s e, ➍✁☛ fij = 0, ✃ f ✣✁❉✷ ✸ ✮①✥✖②➷✁✺, ➚✘❋❊✁✟✖✜❒✛✁❄ v(f) = 0✜❒✷✖❾✖❿❲✟✚✠✖✍✖➃✖❉✖✑✖✒✰❉✁✂❩ ➂✖✍✖✳✖②✖✩ ➋✖✛, ý⑩✷✁✸✖➆✖➱✁✼✁✽✖➇❲✦✚➴✖r✁❀✁❁✖✍➷✁✺✹ , ● ✛✁❄ v(f) ❍ Ð✖✩✖➋✖✜ ➆✖➱✁✼✁✽➷✁✺✰ ✳✖②❏ï✁■, ✝✔✖✩✖➋✖✛✖✑✖✒✰✳✖②✁❏✖✌✖✍✻✖✼✖✽✖✾✑✖✒✖✜ ✩✁✶, ✟✚✠✖✛✖✍✻✖✼✖✽✖✾☛✖✌✖✓✖✔ ➦✖➧✘ max z = v(f) ✷✁✸ Pfij − Pfji = v(f), ❅ i = s ➘ 0, ❅ i 6= s,t ➘ −v(f), ❅ i = t ➘ 0 ≤ fij ≤ ci,j , ❵❲✦(vi , vj ) ∈ E
$10.1基本概念和定理 3 列出运输网络图10-1的线性规划模型: max z=(f) 满足 f1+f2=v(f) (源s的流量平衡) 2+f3+4=j1(顶点1流量平衡 f24=f12+f2 (顶点2流量平衡 f3t=f13+f43 (顶点3流量平衡 far+faa=fi4+f4(顶点4流量平衡 v(f)=fst+ft (汇t的流量平衡 0≤f1≤4 0<f2<3 0≤f2≤2 (各边的流非负和不超过其容量) 0≤f13≤3 0≤f14≤1 0≤f4≤2 0≤fa≤2 0≤f3t≤3 0≤f≤4 这个模型显然可以用单纯形法求解。共15个约束条件,10个实际变量,9个松弛变量,6 个人工变量,共25个变量.若用单纯形法求解费时费事
§10.1 ❑✁▲✁▼✁◆✁❖✁P✁◗ 3 ❘❩ ❾✖❿❲✟✚✠⑥ 10–1 ✍✻✖✼✖✽✖✾☛✖✌: max z = v(f) ✷✁✸ fs1 + fs2 = v(f) (Û s ✍✖✛✖➱✁❀✁❁) f12 + f13 + f14 = fs1 (q✖r 1 ✛✖➱✁❀✁❁) f24 = f12 + fs2 (q✖r 2 ✛✖➱✁❀✁❁) f3t = f13 + f43 (q✖r 3 ✛✖➱✁❀✁❁) f4t + f43 = f14 + f24 (q✖r 4 ✛✖➱✁❀✁❁) v(f) = f3t + f4t (Ü t ✍✖✛✖➱✁❀✁❁) 0 ≤ fs1 ≤ 4 0 ≤ fs2 ≤ 3 0 ≤ f12 ≤ 2 (❙✖s✍✖✛✖➼✖➽✖➇❏✦✖♣✖❵✖➆✖➱ ci,j ) 0 ≤ f13 ≤ 3 0 ≤ f14 ≤ 1 0 ≤ f24 ≤ 2 0 ≤ f43 ≤ 2 0 ≤ f3t ≤ 3 0 ≤ f4t ≤ 4 ❻②☞☛☞✌✣✧❉✓☞✔☞❊☞❣❤☞✐●☞▲☞▼☞✜❯❚ 15 ②✧❱✧❲➷✧✺,10 ② ❯☞❱✧❳➱ ,9 ②✧❨✧❩❳ ➱ ,6 ②✧❬✧❭❳ ➱ , ❚ 25 ② ❳ ➱☞✜ ❂❊☞❣❤☞✐●☞▲☞▼, ➒☞➘☞➒✧❪ 1
第十章网络的流 图10-3 解在图10-3所示的网络G中,取={,,小,71={,4,t小,那么割 K(,T1)={1,),(2,) 制K的容量 c(%,71)=9+9=18. 注意在组成上述划的边集合中不句括(,2) 我们用表10-1列出图10-3中全部不同的割K及割K的容量c(M,), 表101 K(,T) cy,7) ,2,的,4, (s,,(s,2】 8,1 t2,均,4:t (s.y),(U1,2),(U1,s】 21 S.U7 v1.U3.U4.t (s.1),(y,v4) 17 ,4, 8,1, U2,U, (s,2,(o1,2,(g,,(,t) 19 5,2,4 ,3,t (s,1),(U4,3),(U4,t) 24 51,2,鸭 (2,a,(g,) s,1,2,4 3, (1,),(u4,g(v4,) 25 8,的,2,g,4 (g,t,(4,t) 15 具有最小容量的制称为最小割。由表10-1可知,图10-3中制K(,T)={(,,(,t} 的容量c(,7)=14是最小制 若用f(%,7)表示割中所有→71方向边的流量的总和,f(T1,M)表示割中所有 71一上方向边的流量的总和,则 f%,7)= (10.5) 0,) f,)= (10.6) G.0e71.M) 因为从源s到汇t的流量实际上等于从一了的流量中减去一的流量所 以对应于割处的流量为: (f)=f%,V)-f,) (10.7)
4 ✎✑✏✓✒✕✔✓✖✑✗✓✘ ⑥ 10–3 ⑤ : ⑩ ⑥ 10–3 ✝ ➧ ✍❲✟✚✠ G ✦ , ⑥ V1 = {s, v1, v2}, V 1 = {v3, v4,t}, ❆✖❇✖➈ K(V1, V 1) = {(v1, v3),(v2, v4)}. ➈ K ✍✖➆✖➱✖✜ c(V1, V 1) = 9 + 9 = 18. ⑦✿⑩✻✖þ✮①➈✖✍s✖➯✁☞ ✦❏✁⑧✁⑨ (v3, v2)✜ ❼✖❽✖❊➦ 10–1 ❘❩ ⑥ 10–3 ✦✓✇✁⑩❏✁④✍✖➈ K ➁✖➈ K ✍✖➆✖➱ c(V1, V 1). ➦ 10–1 V1 V 1 K(V1, V 1) c(V1, V 1) s v1, v2, v3, v4,t (s, v1),(s, v2) 15 s, v1 v2, v3, v4,t (s, v2),(v1, v2),(v1, v3) 21 s, v2 v1, v3, v4,t (s, v1),(v2, v4) 17 s, v1, v2 v3, v4,t (v1, v3),(v2, v4) 18 s, v1, v3 v2, v4,t (s, v2),(v1, v2),(v3, v2),(v3,t) 19 s, v2, v4 v1, v3,t (s, v1),(v4, v3),(v4,t) 24 s, v1, v2, v3 v4,t (v2, v4),(v3,t) 14 s, v1, v2, v4 v3,t (v1, v3),(v4, v3),(v4,t) 25 s, v1, v2, v3, v4 t (v3,t),(v4,t) 15 ❭❪✩➌➆➱✍➈➚✘❷❶❹❸❹❺☞✜ ❚✡➦ 10–1 ✓❹❻, ⑥ 10–3 ✦➈ K(V1, V 1) = {(v2, v4),(v3,t)} ✍✖➆✖➱ c(V1, V 1) = 14 ✰✩✖➌✖➈✖✜ ❂❊ f(V1, V 1) ➦✖➧➈❲✦✝❪ V1 → V 1 ❋❲➥s ✍✖✛✖➱✖✍✁✴✖➇,f(V 1, V1) ➦✖➧➈❲✦✝❪ V 1 → V1 ❋❲➥s ✍✖✛✖➱✖✍✁✴✖➇, ✃: f(V1, V 1) = X (i,j)∈(V1,V 1) fi,j (10.5) f(V 1, V1) = X (j,i)∈(V 1,V1) fj,i (10.6) ✩✖✘✁❃✖Û s Ð✖Ü t ✍✖✛✖➱❯✖❱✖✮ï ✲❃ V1 → V 1 ✍✖✛✖➱❲✦✓❼✖❧ V 1 → V1 ✍✖✛✖➱, ✝ ✔✖❂✖❃✲ ➈✁❽✖✍✖✛✖➱✖✘: v(f) = f(V1, V 1) − f(V 1, V1) (10.7)
$10.1基本概念和定理 5 若用(f)表示网络中从源s到t的最大流,则有: v(f)=f'(M,7)-f1,) (10.8) 用K表示最小割.根据割的概念,(f)应小于等于网络中最小割的容量(K),即 (f)=f(,T)-f(,)≤c(K*) (10.9) 由表10-1得出网络图10-3中从源s到汇t的最大流量不超过14单位。 三、最大流最小割定理 前面曾经指出,若∫广为满足下列条件的流: (f)=max{u(ff为G的一个流) 则称f为G的最大流 若K为满足下列条件的制 c(K)=min{c(K)川K为G的一个割} 则称K为最小割。 若网络G中由源s到汇t的流量达到最大值只能等于最小割K的容量,即()- c(K)。这就是著名的Ford-Fulkerson的最大流最小制定理,这是图和网络理论方面的 个重要定理,也是下面要叙述的用标记法求网络最大流的依据,在讲述这个定理之前先介 绍增流链的概念 在网络G中,设Q是一条从源到汇t的链,则在这条链Q上并且与Q的方向一致 的边,称为前向边,在Q上并且与Q的方向相反的边称为后向边. 例如在图10-3中,顶点序列s14t构成一条链,其中(s,),(1,),(4,)是前向 边,(,)是后向边 如果Q是从s到t的一条链,)是G的一个可行流,满足: 1.0≤<,当(位,)是Q的前向边: 2.0<≤4,当(,)是Q的后向边 则称此链为增流链。 如果在网络G上存在一条增流链Q,在前向边中,<G,在后向边中>0,则可 选择一适当小的正数: 0=min 了c-f,当(色,)是Q的前向边 当(6,)是Q的后向边 然后,再令前向边上的流都加日,后向边上的流都减A,不在增流链上的边,流不变。 用算式表示就是 +8,当位,)是Q的前向边: -8,当(位,》是Q的后向边: 其它
§10.1 ❑✁▲✁▼✁◆✁❖✁P✁◗ 5 ❂❊ v(f ∗ ) ➦✖➧ ✟✚✠❲✦✓❃✖Û s Ð t ✍✖✩✖➋✖✛, ✃❪ : v(f ∗ ) = f ∗ (V1, V 1) − f ∗ (V 1, V1) (10.8) ❊ K∗ ➦✖➧✩✖➌✖➈✖✜✵❾✁❿✖➈✖✍➉✖➊,v(f ∗ ) ❃✖➌✲ï ✲ ✟✚✠❲✦✚✩✖➌✖➈✖✍✖➆✖➱ c(K∗ ), ý v(f ∗ ) = f ∗ (V1, V 1) − f ∗ (V 1, V1) ≤ c(K∗ ) (10.9) ❚✚➦ 10–1 ❧❩ ✟✚✠⑥ 10–3 ✦✓❃✖Û s Ð✖Ü t ✍✖✩✖➋✖✛✖➱❏✦✖♣ 14 ❣✁➀✖✜ ➁➟♦➂➄➃➠➡➄➂➆➅✠♥➆➇✠➈ ➉⑨✑➊✓➋✡❩ , ❂ f ∗ ✘✁✷✁✸✁✹❘➷✁✺✍✖✛: v(f ∗ ) = max{v(f)|f✘ G ✍✖✳✖②✖✛}, ✃➚ f ∗ ✘ G ✍✙❶✁➌✁✟✖✜ ❂ K∗ ✘✁✷✁✸✁✹❘➷✁✺✍✖➈: c(K∗ ) = min{c(K)|K✘ G ✍✖✳✖②✖➈}, ✃➚ K∗ ✘✙❶✁❸✁❺✖✜ ❂✟✚✠ G ✦ ❚ Û s Ð✖Ü t ✍✖✛✖➱❍ Ð✖✩✖➋✁❄✁✫✖û✖ï✲✩✖➌✖➈ K ✍✖➆✖➱, ý v(f ∗ ) = c(K∗ )✜ ❻â✰✁➍✁➎ ✍ Ford-Fulkerson ✍✖✩✖➋✖✛✖✩✖➌✖➈✖➍✖➎✖✜ ❻✰✖⑥➇❲✟✚✠◆➎⑦❋✖⑨◆✍✖✳ ②☞⑧☞❉☞➍☞➎, ✯ ✰✹☞⑨☞❉✧➏①✍☞❊☞➐☞➑✖●☞▲❲✟✡✠✖✩✖➋☞✛✖✍✧➐✁❿☞✜ ⑩✁➑①❻②✖➍✖➎☞è➉r✖✧ ★✁➒✖✛✁➓✖✍➉✖➊✜ ⑩ ✟✚✠ G ✦ , ➤ Q ✰✳➷❃✖Û s Ð✖Ü t ✍✁➓, ✃✖⑩❻✖➷➓ Q ✮✁✍❛✁➔ Q ✍✖❋❲➥✚✳✁→ ✍s, ➚✘➉➥s, ⑩ Q ✮✁✍❛✁➔ Q ✍✖❋❲➥✓✮✁➣✖✍s ➚✘✁↔❲➥s ✜ ➀÷✖⑩⑥ 10–3 ✦ , q✖r✁↕❘ sv1v3v4t ❫✖þ✖✳➷➓ , ❵❲✦ (s, v1),(v1, v3),(v4,t) ✰➉➥ s,(v3, v4) ✰↔❲➥s ✜ ÷✁➙ Q ✰❃ s Ð t ✍✖✳➷➓ ,fij ✰ G ✍✖✳✖②✖✓✁✆✖✛, ✷✁✸: 1. 0 ≤ fij < ci,j , ❅ (i, j) ✰ Q ✍➉➥s; 2. 0 < fij ≤ ci,j , ❅ (i, j) ✰ Q ✍✁↔❲➥s; ✃➚✶✁➓✖✘✙➛✁✟✁➜✖✜ ÷✁➙✖⑩ ✟✚✠ G ✮✁❈✖⑩✳➷➒✖✛✁➓ Q, ⑩➉➥s ✦ fij < ci,j , ⑩ ↔❲➥s ✦ fij > 0, ✃✓ ➝✁➞✳✁➟❅➌✖✍✁➠✖✹ θ: θ = min ( ci,j − fi,j , ❅ (i, j) ✰ Q ✍➉➥s, fi,j , ❅ (i, j) ✰ Q ✍✁↔❲➥s ❉ ↔ , ➡✁➢➉➥s✖✮✍✖✛✿✁➤ θ, ↔❲➥s✖✮✍✖✛✿❼ θ, ❏✖⑩➒✖✛✁➓✮ ✍s, ✛❏✁❳✜ ❊✖❘✁■➦✖➧â✰ : f 0 i,j = fi,j + θ, ❅ (i, j) ✰ Q ✍➉➥s; fi,j − θ, ❅ (i, j) ✰ Q ✍✁↔❲➥s; fi,j , ❵✖➂