南师大算法笔记-网络流(上)

定义1-网络

一个流网络(flow network),简称网络，是一个简单的加权的简单有向图 G=(V,E,C),边(u,v )$\in E$,的权值c(u,v)>0,并称为这条边的容量。当且仅当c(u,v)=0时，(u,v)$\notin E$。此外，图中有两个点分别是源点和汇点，记为s和t。

定义2-流

网络G=(V,E,C)上的一个流f，就是给G中的每一个边(u,v)赋一个实数f(u,v)并满足：

1. 每个边的流不能超过他的容量，即$0\le f(u,v)\le c(u,v)$
2. 除了源点S和汇点T外，其他节点的出流量等于入流量，也就是 U ∈ V − { S , T } U\in V-\{S,T\} U∈V−{S,T}
   $$\sum _{u\in U}f(u,v)=\sum _{u\in U}f(v,u)$$

流网络、流、网络流之间的区别

流网络、流、网络流，看起来极为相似，很多资料中也互相混用，但三者还是有所区别。网络流是指所有容量都是正数的st-网；流代表个体，特指某一条边上的流量；网络流代表整体，表示流网络上所有流的集合。此外，网络流还有另一个含义，指用流网络的模型找出解决问题的方法。网络流的含义究竟是集合还是方法，需要根据具体的上下文而定。通常来讲，这些概念在实际问题中非常直白，不必太过纠结。

定义3-净出流

源点的流出流量-源点的流入流量并且将其标注为$|f|$。
$$|f|=\sum _{v\in V}f(s,v)-\sum _{v\in V}f(v,s)$$

定义4-规范流

如果边(u,v)和(v,u)上都有非零的流，这样也就是说，这个节点有流入的流，也有流出的流，我们把这样的流称之为非规范流。我们可以将一个方向的流量化为零，也就是说这个节点只有流入的或者流出的流，我们把这个过程称之为规范化，并将这个节点上的流称之为规范流。

定义5-相对流

边(u,v)上的相对流定义如下：
$$\varphi (u,v)=f(u,v)-f(v,u)$$
G中所有边的相对流组成一个相对流$\varphi$
来几个说明：

1. 相对流的引入是为了数学推导的方便，就如代数上引入正负一样。
2. $\varphi (u,v)$为从u，v的净流量，可正可负，但是$\varphi (u,v)=-\varphi (v,u)$
3. ${\sum }_{v\in V}\varphi (v,u)=0$ 流量守恒,一个节点的所有的相对流之和为0。
4. 净出流$|f|$的值可以表示为$|f|={\sum }_{v\in V}\varphi (s,v)$

规范流和相对流的关系

特别提醒，本段的f(u,v) 表示规范流f。

1. 如果规范流f(u,v)>0,那么 $\varphi (u,v)=f(u,v)$,否则，$\varphi (u,v)=-f(u,v)$
2. 从$\varphi$计算f , f ( u , v ) = m a x { 0 , ϕ ( u , v ) } f(u,v)=max\{0,\phi(u,v)\} f(u,v)=max{0,ϕ(u,v)}(就是说，相对流是负的，那么在规范流中一定是被化为0的边)

定义6 -最大流

网络最大流问题是在给定的一个网络流G=(V,E,C),找出最大值的f 或者相对流的问题

定义7-集合间的流量

假设X和Y分别是网络G=(V,E,C)的两个顶点的集合，而f是G上的一个流。
从集合X到Y的流量定义为f(X,Y)=${\sum }_{x\in X}{\sum }_{y\in Y}f(x,y)$
从集合X到Y的相对流量定义为$\varphi (X,Y)={\sum }_{x\in X}{\sum }_{y\in Y}\varphi (x,y)$

引理1

设f是网络G=(V,E,C)上的一个流。而$\varphi$是对应的相对流，又设X，Y，Z 分别是网络中三个顶点的集合，则如下等式成立。
$\varphi (X,X)=0$

$\varphi (X,Y)=-\varphi (Y,X)$
此外，如果$X\cup Y=\varnothing$，又如下公式：
$\varphi (X\cup Y,Z)=\varphi (X,Z)+\varphi (Y,Z)$
$\varphi (Z,X\cup Y)=\varphi (Z,X)+\varphi (Z,Y)$

割及其容量(cut)

网络中的一个割(S,T)就是将顶点集合划分为两个不相交的子集S和T，使得$s\in S,t\in T$。从S中的点到T中的顶点的边，称其为**穿越边（cross edge）**割(S,T)的容量就是所有穿越边的容量之和。即
$$c(S,T)=\sum _{u\in S}\sum _{v\in T}c(u,v)$$
来举个例子吧！如下图所示，求割(S,T)的容量：
c(S,T)=5+3=8 (只包含从集合S到集合T的边)

引理2 源点的净出流和任意割的相对流相等

设f是网络G=(V,E,C)上的一个流,$\varphi$是对应的相对流,(S,T)是任意一个割，那么$|f|=\varphi (S,T)$
【注】这里说的流是不是指的这个网络中的所有流的总和？如果是一个单一的流，又怎么会和任意的割产生关系呢？ 这是值得思考的。 这里只是用两个符号f和$\varphi$代替一个操作符，不指向任何具体的边。
证明(prove):
从穿过这个割的相对流量来推导。(相对就是正减负嘛)
ϕ ( S , T ) = ϕ ( S , T ) + ϕ ( S , S ) = ϕ ( S , T ∪ S ) = ϕ ( S , V ) ( V 是 所 有 顶 点 的 集 合 ) = ϕ ( { S − s } ∪ { s } , V ) ( s 指 网 络 G 的 源 点 ) = ϕ ( S − s , V ) + ϕ ( s , V ) ( 由 于 V 中 包 含 所 有 节 点 ， 所 以 首 项 为 0 ) = ϕ ( s , V ) ( 相 对 流 的 定 义 ， 流 出 − 流 入 ， 正 好 是 净 流 量 ) = ∣ f ∣ \begin{aligned} \phi(S,T) & =\phi(S,T)+\phi(S,S) \\ & =\phi(S,T \cup S) \\ & =\phi(S,V) (V是所有顶点的集合)\\ & =\phi(\{S-s\} \cup \{s\} ,V) (s指网络G的源点)\\ & =\phi(S-s,V)+ \phi(s,V)(由于V中包含所有节点，所以首项为0)\\ & =\phi(s,V)(相对流的定义，流出-流入，正好是净流量) \\ &=|f| \end{aligned} ϕ(S,T)​=ϕ(S,T)+ϕ(S,S)=ϕ(S,T∪S)=ϕ(S,V)(V是所有顶点的集合)=ϕ({S−s}∪{s},V)(s指网络G的源点)=ϕ(S−s,V)+ϕ(s,V)(由于V中包含所有节点，所以首项为0)=ϕ(s,V)(相对流的定义，流出−流入，正好是净流量)=∣f∣​

引理3 汇点的净入流和任意割的相对流相等

证明方法和引理2类似，我们只要把T分解就可以了
ϕ ( S , T ) = ϕ ( S , T ) + ϕ ( T , T ) = ϕ ( S ∪ T , T ) = ϕ ( V , T ) ( V 是 所 有 顶 点 的 集 合 ) = ϕ ( V , { T − t } ∪ { t } ) ( s 指 网 络 G 的 源 点 ) = ϕ ( V , T − t ) + ϕ ( V , t ) ( 由 于 V 中 包 含 所 有 节 点 ， 所 以 首 项 为 0 ) = ϕ ( V , t ) ( 相 对 流 的 定 义 ， 流 出 − 流 入 ， 正 好 是 净 流 量 ) = ∣ f ∣ \begin{aligned} \phi(S,T) & =\phi(S,T)+\phi(T,T) \\ & =\phi(S \cup T,T) \\ & =\phi(V,T) (V是所有顶点的集合)\\ & =\phi(V,\{T-t\} \cup \{t\} ) (s指网络G的源点)\\ & =\phi(V,T-t)+ \phi(V,t)(由于V中包含所有节点，所以首项为0)\\ & =\phi(V,t)(相对流的定义，流出-流入，正好是净流量) \\ &=|f| \end{aligned} ϕ(S,T)​=ϕ(S,T)+ϕ(T,T)=ϕ(S∪T,T)=ϕ(V,T)(V是所有顶点的集合)=ϕ(V,{T−t}∪{t})(s指网络G的源点)=ϕ(V,T−t)+ϕ(V,t)(由于V中包含所有节点，所以首项为0)=ϕ(V,t)(相对流的定义，流出−流入，正好是净流量)=∣f∣​

引理4 源点净出流或者汇点净入流恒小于等于任意割的容量

设f是网络G=(V,E,C)上的一个流,$\varphi$是对应的相对流,(S,T)是任意一个割，那么$|f|\le c(S,T)$
证明(prove):
由引理2 可得，
$$\begin{array}{rl}|f|& =\varphi (S,T)\\ & =\sum _{u\in S,v\in T}\varphi (u,v)\\ & =\sum _{u\in S,v\in T}[f(u,v)-f(v,u)]\\ & \le \sum _{u\in S,v\in T}f(u,v)(当f是规范流时，等号成立)\\ & \le \sum _{u\in S,v\in T}c(u,v)(当f流充满容量时，等号成立)\end{array}$$
综上，源不等式的以证明。

定义8 剩余网络

设f是网络G=(V,E,C)上的一个流,$\varphi$是对应的相对流，对应于f的剩余网络$G_f=(V,E_f,C_f)$定义为如下的一个流网络：

1. 与原网络G有相同的顶点集合V，相同的源点s和汇点t。
2. 对于边(u,v)，它的剩余容量定义如下 $C_f(u,v)=c(u,v)-\varphi (u,v)$
3. $E_f$包括所有剩余容量大于零的边，即 E f = { ( u , v ) ∣ C f ( u , v ) > 0 } E_f=\{(u,v)|C_f(u,v)>0\} Ef​={(u,v)∣Cf​(u,v)>0}

下面我们计算下剩余网络：

$\varphi (s,v1)=10-0=10$
$\varphi (s,v2)=4-0=4$
$\varphi (v1,v2)=5-0=5$
$\varphi (v1,v3)=5-0=5$
$\varphi (v2,v3)=4-0=4$
$\varphi (v2,v4)=5-0=5$
$\varphi (v3,v4)=0-0=0$
$\varphi (v3,v5)=9-0=9$
$\varphi (v4,v5)=5-0=5$

---

$C_f(s,v1)=15-10=5$
$C_f(v1,s)=0-(-10)=10$

$C_f(s,v2)=4-4=0$
$C_f(v2,s)=0-(-4)=4$

$C_f(v1,v2)=8-5=3$
$C_f(v2,v1)=3-(-5)=8$

$C_f(v1,v3)=12-5=7$
$C_f(v3,v1)=0-(-5)=5$

$C_f(v2,v3)=7-4=3$
$C_f(v3,v2)=9-(-4)=13$

$C_f(v2,v4)=6-5=1$
$C_f(v4,v2)=0-(-5)=5$

$C_f(v3,v4)=0-0=0$
$C_f(v4,v3)=2-0=2$

$C_f(v3,v5)=16-9=7$
$C_f(v5,v3)=0-(-9)=9$

$C_f(v4,v5)=5-5=0$
$C_f(v5,v4)=0-(-5)=5$

选择$C_f$大于零的项，从重新绘制剩余网络图：

边的剩余流量的分析说明：

$$\begin{array}{rl}{C}_f(u,v)& =c(u,v)-\varphi (u,v)\\ & =c(u,v)-[f(u,v)-f(v,u)]\\ & =[c(u,v)-f(u,v)]+f(v,u)\end{array}$$
上式表明，剩余容量有两部分组成：

1. (边的容量-流)之后的剩余容量
2. 将流f(v,u)从u 推回到v去 产生的相对容量

【注】如果$(u,v)\in E_f$,必有$(u,v)\in E$或者$(v,u)\in E$ 可见$|E_f|\le 2|E|$，这里的绝对值可以看作边数，也就是剩余网络的边数小于等于原网络的边数，则构造剩余网络的时间复杂度时$O(|V|+|E|)$ ,此处不懂怎末计算的时间复杂度，先存档。