4、,該弧是非飽和??;(v1,v2)是不飽和的間隙為?12=c12-f12=5-3=21、如果fij=cij,該弧是飽和弧;弧關(guān)于流的分類(lèi)fij=5cij=5v1v2fij=3cij=5v1v2設(shè)是網(wǎng)絡(luò)D=(V,A,C)的一個(gè)可行流(v1,v2)是0流弧4、如果fij>0,該弧是非0??;(v1,v2)是非0弧3、如果fij=0,該弧是0流?。换£P(guān)于流的分類(lèi)fij=0cij=5v1v2fij>0cij=5v1v2鏈及可增廣鏈鏈在最大流問(wèn)題中,研究的是有向網(wǎng)絡(luò)圖。但是在求最大流的方法中,則要使用無(wú)向網(wǎng)絡(luò)中的鏈。vsv
5、1v3vtv2v48(8)7(5)9(4)9(9)5(5)6(1)2(0)5(4)10(8)非0流弧可增廣鏈vsv1v3vtv2v48(8)7(5)9(4)9(9)5(5)6(1)2(0)5(4)10(8)非飽和弧割集和割集的容量設(shè)有網(wǎng)絡(luò)D={V,A,C},點(diǎn)vs與點(diǎn)vt的是集合V中的任意兩點(diǎn),若點(diǎn)集V被剖分成兩個(gè)非空集合,使,記以中的點(diǎn)為始點(diǎn),的A中弧的集合記為則稱這個(gè)弧的集合是分離點(diǎn)vs與點(diǎn)vt的割集(又稱截集)。中的點(diǎn)為終點(diǎn)割集的容量是割集中各弧的容量之和,用表示。割集的容量為9+9=18割集KKvsv
6、1v3vtv2v48(8)7(5)9(4)5(5)6(1)2(0)5(4)10(8)9(9)考慮KK的不同畫(huà)法vsv1v3vtv2v48(8)7(5)9(4)9(9)5(5)6(1)2(0)5(4)10(8)割集割集容量基本定理(可行流與割集的關(guān)系)由于有限網(wǎng)絡(luò)的割集只有有限多個(gè),則截集容量的集合是有限的實(shí)數(shù)集合,令稱割集容量為C0的割集為D的最小割集。(瓶頸)§2割切-定理6.1證明-1[]wffSjSijiij=-???,∵又∵0≤fij≤cij∴fij-fji≤fij≤cij因?yàn)楦罴侨我獾?,所以得證。
7、[]=≤-=??????SjSiijSjSijiijcffw,,C(S,)S∴證明增廣路定理:證明:1必要性v(f)為最大流,則不存在可增廣鏈;因?yàn)槿舸嬖谠鰪V鏈,則v(f)不為最大流。2充分性不存在可增廣鏈,則v(f)為最大流;若網(wǎng)絡(luò)流圖G中不存在可增廣路,則考察所有s到t的路徑,將滿足增廣條件路徑連接的節(jié)點(diǎn)并入集合S中,遇到不滿足條件點(diǎn)時(shí)停止;T=V/S,[S,T]為s-t割集。這時(shí),對(duì)于任意弧(i,j),若是前向弧,fij=cij,若是逆向弧,fji=0,下式成立,v(f)為最大流,C[S,T]為最小割。
8、[]==-=??????TjSiijTjSijiijcffw,,C(S,)T∴最大流-最小割定理:v(fmax)=Cmin[S,T];這樣就得到了一個(gè)尋求最大流的方法(算法思想):從一個(gè)可行流開(kāi)始,尋求關(guān)于這個(gè)可行流的可增廣鏈,若存在,則可以經(jīng)過(guò)調(diào)整,得到一個(gè)新的可行流,其流量比原來(lái)的可行流要大,重復(fù)這個(gè)過(guò)程,直到不存在關(guān)于該流的可增廣鏈時(shí)就得到了最大流。沿著這條鏈從vs到vt輸送流,還有潛力可挖,