最小割求法&&可行边和必须边

最小割的可行边与必须边

就是在残量网络上跑tarjan

可行边：

满流并且残量网络上不能存在入点到出点的路径

必须边：

满流并且残量网络上入点能从源点到达，出点能到汇点。

 

任意一种最小割求法：

跑一边最大流

残量网络上从S开始BFS，标记能到达的点

如果一个边的入点能从S到达，出点不能从S到达，这条边就在最小割里

证明：

1.不能到出点，所以这些边一定都满流

2.由于一定不在同一条路径上，所以之和一定是最大流

3.找出的边一定是割集，否则有增广路还可以增加最大流