P3731 新型城市化

传送门

对于二分图，若一条边一定在最大匹配中，则跑完最大流后残量网络中，这条边必满流，且两个顶点不在同一个 SCC 中。