金华集训Day5——宇

网络流

定义

\qquad 一个流网络$G=(V,E)$为一张满足以下条件的有向图：
\qquad\qquad 1.每一条边有一个非负容量，即对于任意$E$中的$(u,v)$，有
$c=(u,v)\ge 0$
\qquad\qquad 2.如果$G$中存在边$(u,v)$，那么不存在$(v,u)$。我们将图中不存在的边
\qquad\qquad 的容量定为$0$。
\qquad\qquad 3.图中含有两个特殊节点：源$s$与汇$t$
\qquad 一个流可以看做是一个从$V\times V$到$R$的映射，满足下面两条性质：
\qquad\qquad 1.容量限制：对于任意的$u,v$，$0\le f(u,v)\le c(u,v)$
\qquad\qquad 2.流量守恒：对于任何非源汇的中间节点$u$，我们有$$\sum _{v\in V}f(v,u)=\sum _{v\in V}f(u,v)$$

最大流

\qquad 最大流问题，即是找出一个满足上述条件的$F$，使得${\sum }_{v\in V}f(s,v)$被最大化
\qquad 最大流问题->带反向边的的最大流问题
\qquad 多源汇最大流问题
\qquad 一个流$f$的流量$|f|$定义为：$$|f|=\sum _{v\in V}f(s,v)-\sum _{v\in V}f(v,s)$$

最大流建模

\qquad 点容量的解决办法：拆点，将容量限制转化到边上。

最大流算法-从几个基本想法开始

增广路

定理一：最大流最小切割定理

\qquad 对于一个网络$G$，下面三个命题总是等价
$\cdot$流$f$是$G$的最大流。
$\cdot$当前流$f$是残量网络$G\_f$上不存在增广路。
$\cdot$存在某个割使得$|f|=c(S,T)$成立。由结论2可知，满足条件的割必
\qquad\qquad 定是最小割。