考虑费用流若干性质

• 考虑一次增广如果不能到达 u ，那么 u 在后续增广中也不会被到达

引理：每次增广得到的路径长度非严格递增 。