洛谷$P4126\ [AHOI2009]$最小割 图论

正解:网络流+$tarjan$ 解题报告: 传送门$QwQ$ $umm$最小割的判定问题$QwQ$,因为并不会做是看的题解才会的,所以也没什么推导过程直接放结论趴$QwQ$ 首先跑个最大流,然后有. 1)可行流($x,y$)的充要条件:满流&残余网络中不存在$x$到$y$的路径 2)必然流($x,y$)的充要条件:满流&残余网络中$ST$分别能到达$xy$ 证明的话都可以用反证法? 对于1,挺显然

>>阅读原文<<