图论专题——网络流基础概念

网络流基础概念

流网络

流网络是一个有向图 $G=(V,E)$，图中每一条边 $(u,v)\in E$ 有一个非负的权值 $c(u,v)$，被称为容量 . 在流网络中，有两个特殊的节点——源点 $s$，汇点 $t$.

流

设 $G=(V,E)$ 为一个流网络，容量函数为 $c$，源点为 $s$，汇点为 $t$，定义 $G$ 中的流 $f$ 为 $V$ 到 $V$ 的实值二元关系：$$V\times V\to R$$
对于 $f(u,v)$，满足：

1. 容量限制：对于有向边 $(u,v)\in E$，流量不能超过该边的容量，即 $0\le f(u,v)\le c(u,v)$
2. 流量守恒：流入一个节点的流量必须等于流出该节点的流量，即 ∀   u ∈ V − { s , t } ， ∑ v ∈ V f ( v , u ) = ∑ v ∈ V f ( u , v ) \forall \ u\in V-\{s,t\}，\sum_{v\in V}f(v,u)=\sum_{v\in V}f(u,v) ∀ u∈V−{s,t}，v∈V∑​f(v,u)=v∈V∑​f(u,v)

所以，定义整个网络的流量为，即从源点流出的净流量 $f$：$$|f|=\sum _{(s,u)\in E}f(s,u)-\sum _{(u,s)\in E}f(u,s)$$

残存网络

在阐述残存网络的概念之前，首先铺垫剩余容量的概念，剩余容量 $c_f(u,v)$ 是指
$$c_f(u,v)=\{\begin{array}{l}c(u,v)-f(u,v),若(u,v)\in E\\ f(v,u),若(v,u)\in E\\ 0,其他\end{array}\text{\hspace{1em}(1)}$$
所以给定一个流网络 $G=(V,E)$ 和一个流 $f$，则由 $f$ 诱导的图 $G$ 的残存网络为 $G_f=(V,E_f)$，其中 $E_f$ 为：
E f = { ( u , v ) ∈ V × V , c f ( u , v ) > 0 } E_f=\{(u,v)\in V\times V ,c_f(u,v)>0\} Ef​={(u,v)∈V×V,cf​(u,v)>0}

增广路径

给定流网络 $G=(V,E)$ 和流 $f$，增广路径 $p$ 是残存网络 $G_f$ 中一条从源点到汇点的简单路径，且路径上的有向边的剩余容量 $c_f$ 都大于零.

对于增广路径 $p$，能够为 $|f|$ 增加的流的值 $c_f(p)$ 为： c f ( p ) = m i n { c f ( u , v ) , ( u , v ) ∈ p } , c f ( p ) > 0 c_f(p)=min\{c_f(u,v),(u,v)\in p\},c_f(p)>0 cf​(p)=min{cf​(u,v),(u,v)∈p},cf​(p)>0
增广后，$|f^{\prime }|=|f|+c_f(p)$

切割

对于流网络 $G=(V,E)$，定义该流网络的一个切割 $(S,T)$，为把点集 $V$ 划分为 $S$ 与 $T$，满足 $S\bigcup T=V,S\bigcap T=\varnothing ,s\in S,t\in T$.

定义横跨切割$(S,V)$ 的 净流量 $f(S,T)$ 为：
$$f(S,T)=|f|$$
切割 $(S,V)$ 的容量 $c(S,T)$ 为:
$$c(S,T)=\sum _{u\in S}\sum _{v\in T}c(u,v)$$

最大流，最小割

最大流：在容量的限制下，求 m a x { ∣ f ∣ } max\{|f|\} max{∣f∣}

最小割：在流网络中，最小割为 m i n { c ( S , T ) } min\{c(S,T)\} min{c(S,T)}

最大流最小割定理

最大流最小割定理是网络流理论体系中的一条重要的定理，它是网络流算法的理论基础.
最大流最小割定理告诉我们两个重要的结论：

1. 一个流是最大流当且仅当其残存网络不包含任何增广路径
2. 在网络中，最大流的值等于最小割的容量

我们这里直接引用算法导论上的原话：

---

证明第一部分：$f$ 是一个最大流 $\Rightarrow$ 残存网络 $G_f$不包括任何增广路径

反证法：
假设，若在 $f$ 是一个最大流的情况下，残存网络中仍然存在增广路径。由增广路径的性质，我们知道，该增广路能够为 $|f|$ 增加 $c_f(p)(c_f(p)>0)$ 流的值，增广后的新总流为 $|f^{\prime }|=|f|+c_f(p)>|f|$ ，可知 $f$ 不是一个最大流，矛盾，证毕.

---

证明第二部分：残存网络 $G_f$不包括任何增广路径 $\Rightarrow$ $|f|=c(S,T)$，其中 $c(S,T)$是流网络的一个切割.

证明：

$Step1:$
首先，由于残存网络 $G_f$ 中不包含增广路径，则在 $G_f$ 中不存在从 $s$ 到 $t$ 的路径。
我们定义点集 $S$ 与点集 $T$： S = { v ∈ V ， 在 G f 中 与 s 连 通 } S=\{v\in V，在 G_f 中与 s 连通\} S={v∈V，在Gf​中与s连通} $$T=V-S$$
所以很显然，$s\in S,t\in T$，即 $(S,T)$ 是一个 $V$的划分，即 $(S,T)$ 是 $G$ 的一个切割

$Step2:$
接着，在流网络 $G$ 中，考虑一对节点 $u\in S,v\in T$，则有两个重要结论：

1. 若 $(u,v)\in E$，则必有 $f(u,v)=c(u,v)$ ，即该路径满流，为什么？

因为，若存在 $f(u,v)<c(u,v)$ 即存在横跨切割 (从 $S$ 到 $T$) 的未满流的边，那么在残存网络 $G_f$ 中，$c_f(u,v)>0$，即存在 $(u,v)\in E_f$，则 $v\in S$，不满足上述的划分，矛盾，所以横跨切割(从 $S$ 到 $T$) 的路径必满流.

2. 若 $(v,u)\in E$，则必有 $f(v,u)=0$，即该路径零流，为什么？

因为，若 $f(v,u)\ne 0$，那么在残存网络中，$c_f(u,v)=f(v,u)>0$，即存在 $(u,v)\in E_f$，同理上述
不满足，所以横跨切割(从 $T$ 到 $S$) 的路径必零流.

3. 若 $(u,v)\notin E且(v,u)\notin E$，则 $f(u,v)=f(v,u)=0$

$Step3:$
由上述结论可知，对于网络的净流量 $f(S,T)$:
$$f(S,T)=\sum _{u\in S}\sum _{v\in T}f(u,v)-\sum _{u\in S}\sum _{v\in T}f(v,u)=\sum _{u\in S}\sum _{v\in T}c(u,v)-\sum _{u\in S}\sum _{v\in T}0=c(S,T)$$
由净流量的结论可知：$$f(S,T)=|f|$$
所以：$$|f|=f(S,T)=c(S,T)\ge c_{min}(S,T)$$
而由证明第一部分可知：
$$|f_{max}|=c(S,T)\ge c_{min}(S,T)$$

---

证明第三部分：流网络的任意流 $f$ 的值 $|f|$ 不能超过 $G$ 的任意切割的容量

证明：
设 $f$ 为任意流，$(S,T)$ 为任意切割，可知：
$$|f|=f(S,T)=\sum _{u\in S}\sum _{v\in T}f(u,v)-\sum _{u\in S}\sum _{v\in T}f(v,u)$$
$$\le \sum _{u\in S}\sum _{v\in T}f(u,v)\le \sum _{u\in S}\sum _{v\in T}c(u,v)=c(S,T)$$
由任意性，$|f_{max}|\le c_{min}(S,T)$

---

证明第四部分：$|f|=c(S,T)$，其中 $c(S,T)$是流网络的一个切割 $\Rightarrow$ $f$ 是一个最大流.

证明：
由证明第三部分，任意流都小于任意切割容量，则 $|f|=c(S,T)$ 总是隐含着一个最大流

---

证明第五部分： m a x { ∣ f ∣ } = c m i n ( S , T ) max\{|f|\}=c_{min}(S,T) max{∣f∣}=cmin​(S,T)
由证明第二部分与证明第三部分分别可知，对于最大流 $f$，同时满足：
$$|f_{max}|\ge c_{min}(S,T)，|f_{max}|\le c_{min}(S,T)$$
所以： m a x { ∣ f ∣ } = c m i n ( S , T ) max\{|f|\}=c_{min}(S,T) max{∣f∣}=cmin​(S,T)

---