最大流最小割定理:最大流等于最小割,即max V(f) = min C(U, W)。
說明,自己的證法,如有錯(cuò)誤請(qǐng)大家提出:
聲明:最大流=|f|,割為=|[S,T]|
1、|[S,T]| >= |f| (易知,最大流可能比管子粗細(xì)還大?)
2、有如果有Df( |[S,T]| ) = 0 ,則一定是最大流(否則最大流的多于|[S,T]|的流量從何處流...)
3、如果當(dāng)前流量已經(jīng)最大,從源到匯的任意一條路徑一定有飽和邊(增廣路法則)
4、*反證,如果對(duì)任意S,T沒有Df( |[S,T]| ) = 0
取S ={源點(diǎn)},T={V-S};則有源點(diǎn)連接未飽和管道的另一端點(diǎn)K,然后取S={源點(diǎn),K},T={V-S},則有源點(diǎn)連接未飽和管道的另一端點(diǎn)K1,然后取S={源點(diǎn),K,K1},T={V-S},則有源點(diǎn)連接未飽和管道的另一端點(diǎn)K2.........當(dāng)V-S = 匯點(diǎn),我們發(fā)現(xiàn)源點(diǎn),K,K1,K2,K3....匯點(diǎn),為一條增廣路(可能K1,K2不相連,而直接源點(diǎn),K,K2)
得證。