@ComeIntoPower 在完备匹配二分图中求必须边和可行边时，在跑完最大匹配的残留网络中用$tarjan$，然后根据连通块信息判断是否有新的增广路（二分图意义下的增广路）。

非完备匹配二分图的话有些情况涵盖不了，要用超汇的特性人为构造假的增广路（我的理解）

原本是没有这句话的，前几天刚学，然后就加了这句。。。