藉助這道題目，講一下所有最大流建模的思路
對於原問題的解集\(S\)和我們建模之後的網路的可行流集合\(T\)，我們需要證明\(\forall s∈S,\exists t∈T,|s|=|t|\)（前面一個絕對值符號表示\(s\)的值，後面一個絕對值符號表示\(t\)的最大流）且\(\forall t∈T,\exists s∈S,|s|=|t|\)（其實上面的證明方法也就是充分必要性證明）
那麼對於二分圖的建模見藍書，來像上面證明一下
首先對於二分圖的任意一個匹配，我們可以構造一個流\(f\)，使得從源點到匹配點的邊，從匹配點到匯點的邊，匹配邊的流量為\(1\)，其餘的邊的流量為\(0\)，不難驗證這是一個流（滿足流量守恆和容量限制）；其次對於構造的網路的任意一個流，將流量為\(1\)的中間的邊作為匹配邊，不難驗證這是一個二分圖（滿足每個點只匹配一次）