changxv大佬说网络流非常万能,几乎可以解决所有与图有关的题目(网络流的强悍!),这里写出博客只是谈谈我自己的心得体会,帮助那些看到网络流望而却步的同学们以及我自己有个大致了解。
概念:
在一张带权图G中,我们已知源点s与汇点t,假设我们要将水从s输送到t,其间必然会通过一些边以及其它中转点(边就像是水管,边权就是这个水管的最大容量即最大运送的水量),最大流问题就是要我们求在每个水管最大容量内最多能将多少水从s送到t。
变量定义:
对于每一条边,我们定义它的上限为容量cap(u,v),实际运送水量称为流量flow(u,v)
struct edge{
int from,to,cap,flow;//一般只用一个cap即可(看到后面就知道啦)
}
注意:从u->v的水管送2单位水,再从v->u的水管送4单位水没有意义,因为其等价于从v->u送(4-2=2)单位水。因此,对于每一条从u->v的边,我们建立一条正向边(正向弧)和一条反向边(反向弧),规定其中flow(u,v)>=0,flow(v,u)<=0。
最大流性质:
除了源点s与汇点t,其余结点都为中转点,所以有:
1、s的出水流量等于t的入水流量
2、flow(u,v)=-flow(v,u)
3、任意中转结点的总入水流量等于-总出水流量,即:正向弧flow+反向弧flow=0
增广路算法:
即是求解最大流的算法,算法思想很简单,即从零开始不断增加流量,并且每次都保持上述3条最大流性质。
如:对于一条边(u,v),若我们要向这条边送d单位的水量,则flow(u,v)+=d,flow(v,u)-=d。
我们每一次增广后的图称为残量网络,对于flow=cap的边,我们称它已满流,则在下一次增广中这条边是不能流动的(也可以说删除了这条边)。
显然,每次增广之后流量始终满足3条性质,所以只要残量网络中不存在增广路(s和t不连通),则当前流就是最大流。
由此可以看出我们每