先求最小割,然后对残量网络跑Tarjan。对于所有满流的边,若其两端点不在同一个SCC中,则这条边是满足条件的。 证明见 来源:HAOI2017 新型城市化 转载于:https://www.cnblogs.com/utopia9999/p/9664738.html