[图论]-----[网络流]-----最小割的可行边与必须边

最小割的可行边和必须边

我们知道一个流量网络，可能会有很多种最大流方案，这些不同的方案中，最小割的割边集也是不同的。在有些问题中，可能需要确定最小割的可行边与必须边。
如果存在某个最大流方案，使得边 E(u，v) 被割断，那么 E 就是一条最小割可行边。
如果对于每个最大流方案，都有边 E(u，v) 被割断，那么 E 就是最小割必须边。

可行边

E(u，v) 为可行边的充要条件：

1. 边 E(u，v) 满流
2. 在残量网络中，不存在 u 到 v 的路径。

求法：在残量网络上用 Tarjan 算法求 SCC，如果 u 和 v 在同一个 SCC中，说明在残量网络中存在 u 到 v 的路径。理由是该边满流，那么网络中肯定存在他的反向边，反向边与其他 u 到 v 的路径会构成SCC。

必须边

E(u，v) 为必须边的充要条件：

1. 边 E(u，v) 满流。
2. 在残量网络中，源点能到达 u 且 v 能到达汇点。

求可行边的时候已经有了 SCC，此时可以直接判断源点与 u ，汇点与 v 是否在一个SCC中。（没有求过SCC 可以DFS求 源点和 汇点可以到达的点）。

二分图匹配的可行边与必须边

必须边判定条件：(x,y)流量为1，且在残量网络上属于不同的强连通分量。
可行边判定条件：(x,y)流量为1，且在残量网络上属于相同的强连通分量。
由于二分图匹配本质上也是最大流，所以也可以按上面的最小割处理，但是要注意只能枚举两边点之间的正向边，不能包含源点到入点及出点到汇点的边。

例题

模板: 洛谷P4126 [AHOI2009]最小割.
二分图必须边数量: HDU3026 Chinese Chess.