给定一个流网络 G = (V,E),其源为 s,汇为 t,边 e = (u,v),描述一种算法来确定边 e 是否与某个最小割 (S,T) 相交。
我的第一个想法是计算最大流量 f,然后将 e 的容量减少一些 a > 0。然后我们检查残差图是否有从 s 到 t 的路径(这意味着我们可以进一步增加流量 f) .
现在,如果没有从 s 到 t 的路径,我们可以确定 e 不会越过任何最小割。
问题在于另一个方向。如果有一条从 s 到 t 的路径,那可能是因为我们在选择 a > 0 时不小心创建了一个新的最小割使 e 交叉。
那么如何选择足够小的 a > 0 呢?