網路流概念補充

最爱丁珰發表於2024-08-25

基本概念補充:

1.網路流可以有環

2.網路流中不存在反向邊,即若\((u,v)∈E\),則\((v,u)∉E\)(如果有\((v,u)∈E\)的話,可以新增一個點\(w\),將\((v,u)\)變成\((v,w),(w,u)\),所以任意一個有反向邊的圖都可以轉化成沒有反向邊的圖);這樣的話考慮問題更加簡便(藍書的網路流考慮了三條定律,但存在負流量,而不存在反向邊的話只用向OI-wiki一樣考慮兩條定律,不存在負流量了)

3.注意源點也有可能有流量流入,匯點也有可能有流量流出

最大流補充:

1.在網路流原圖上我們並不會考慮反向邊;而在殘量網路上我們對於每一條原圖的邊\((u,v)\),都會建立一條反向邊\((v,u)\);由於\(f(v,u)=-f(u,v)\)\(c(v,u)=0\),所以\(c_f(v,u)=f(u,v)\),這就為退流操作奠定了基礎;於是在殘量網路上,如果\((u,v)\)\((v,u)\)都存在,那麼\(c_f(u,v)+c_f(v,u)=c(u,v)\);如果只存在一條,那麼存在的這一條邊的\(c_f\)等於原圖的\(c\)

2.這一條接下來的論述不考慮殘量網路的反向邊。對原圖\(G\)的一個可行流\(f\),可以求出來一個殘量網路\(G_f\),其也是一個流網路,存在一個可行流\(f^{'}\),不難驗證\(f+f^{'}\)\(G\)的一個可行流,且\(|f+f^{'}|=|f|+|f^{'}|\)。所以若\(|f^{'}|>0\),則\(f\)不是最大流

相關文章