网络流算法

网络流

本文参考了南京大学蒋炎岩老师的讲解(B站视频链接)

考虑割的定义

对于有向图 $G(V,E)$
对于DFS/BFS，每次搜索会将新的节点 $v\in V$ 纳入已经搜索的集合 $S$ 中

则对于尚未搜索的部分，定义为集合 $V-S=T$，则必然存在 $S,T$ 满足 $G$ 的 $s-t$ 割

• $S\cap T=V,S\cup T=\varnothing$
• $s\in S,t\in T$

即起点/终点分别位于两个集合当中，这个边集合称作割

定义割的大小 ∣ { ( u , v ) ∈ E ∣ u ∈ S , v ∈ T } ∣ |\{(u,v) \in E|u \in S, v \in T\}| ∣{(u,v)∈E∣u∈S,v∈T}∣，即按照 $S\to T$ 方向穿过割的边数

因此对于$G$ 中任意两点间$s\to t$找不到路径，等价于至少存在一个 $s\in S,t\in T$的$s-t$ 割大小为 $0$

不止一条路径

求 $G$ 中有多少不相同的 $s\to t$

• 可共享节点，不能共享边

对于大小为 $n$ 的 $s\to t$ 割，必然存在至多 $k(k\le n)$ 条 $s\to t$ 的路径（上界）。

同时，如果能找到 $m(m\le k)$ 条不相交路径（下界），就证明了一共有 $k$ 条不相交路径。

寻找不相交路径的数量

Ford-Fulkerson 算法

1. 使用DFS/BFS找到一条路径 $L$
2. 对于$e\notin L$，保持方向不变，对于 $e\in L$，将其反向
3. 对于更新后的图（称作残余网络），重复步骤 $1,2$，若不满足 $1$，则终止
   对于终止的 Ford-Fulkerson 算法，必有割 $s\to t$ 大小为 $0$.

当算法终止时，假设有 $m$ 条路径，则必有真实路径数 $k,k\ge m$，若同时有最小割 $t=m$，则必有路径数量为 $k$

最大流和最小割

考虑带权图

带权图等价于多重边。如权重为 $20$ 的边 $a{\to }_{20}b$，等价于 $20$ 条权重为 $1$（无权）的边即 $20\times a\to b$。

边的权值称作容量

若存在 $p$ 条有重复边的路径 { x 1 , . . . , x p } \{x_1,...,x_p\} {x1​,...,xp​}，则定义了如下的线性优化目标
$$\min \sum _{i=1}^p{x}_i$$
其满足约束条件

$$\begin{gathered} x_1+...\le a \\ {x}_2+...\le b \\ \dots \\ {x}_i\ge 0 \end{gathered}$$
其中 $a,b,...$ 表示 $x_1,x_2,...$ 公共边中最小的容量。这就是网络流的原始表述。