P4126 [AHOI2009]最小割
可行边的条件。
1.流满。显然,你要是跑出来流不满,那我直接割掉经过你的瓶颈边得到的答案显然 \(<c\)。
- 假如我能通过退流使得它未流满,那此时根据 1,这条边一定不存在于当前最小割方案之中。但是假如我在它满流的时候割了的话,因为你现在能退流了,说明仍然会存在 \(S\to x\to y\to T\) 的流,所以你可以认为割掉它实际上是废的,理应割掉在 \(S\to x,y\to T\) 这路径上的瓶颈。那么如何实现退流操作,我们的目的是在不改变最大流的情况下减少 \(x\to y\) 的流量,那么直接让其一部分流量走过 \(x\to y\) 的其他路径即可。
即你可以总结出来,可行边即为它在某条流路径中是瓶颈,但这些流路径中不一定只有它一个瓶颈,但是因其一定是瓶颈,所以容量 -1 之后一定全局流量 -1。
必要边的条件。
-
可行边。
-
显然存在一条流路径使得只有它是瓶颈,否则的话,每条流有大于等于 2 个瓶颈,割去其他的即可。那么意味着,我这条边的容量再增加 1 还能流。那么只要考虑残余网络上是否有 \(S\to x,y\to T\) 的非 0 路径即可。
总结:必要边要使得每条流路径瓶颈都只有它,那么若这条边容量 +1,则全局流量 +1。