众所周知,求最大流要是没有反向边,基本都是错的

那为什么反向边能修正错误的增广

查了一些资料,好像没有什么严格证明的样子,可能图论还是太复杂了点

不过还是找到了PKU camp的PPT,感觉说的还不错,大概意思就是反向边可用于二路合并

back edge

(你刚才说我画的丑是吧)

考虑某种情况,如图有一条增广路通过aba \to b的路径,flow=nflow = n

那么至少说明,

e1,e4e1,e4capflow=ncap-flow=n

如果此时已经跑不动了,那就只能增广到这里得到最大流nn

假如添加了反向边的机制,发现能bab \to a反向流动flow=nkflow=n-k的流量

至少说明,

e2,e3e2,e3capflow=nkcap-flow=n-k

此时的情况和图的上半部分对应

添加了反向边后的情况其实等价于下半部分,把n(nk)n-(n-k)的流退回去后

我们可以得到最大流maxflow=2n+kmaxflow=2n+k

关键是,这是在不影响其他边的前提下获得的增广(e1,e2,e3,e4e1,e2,e3,e4均不受影响)

因此我们可以感性地认为反向边的策略是正确的