Google OR-Tools(七) 网络流 Network Flows

本文参考Google OR-Tools官网文档介绍OR-Tools的使用方法。

1 网络流模型

网络流问题(Network Flows)是图论领域的一个经典问题，由多个节点和节点间的连接构成一个网络，在这个网络上需要考虑最大效率地传输。和其他图问题相比，网络流最关键的一个约束就是网络上的每条边都有固定的容量，在这条边上传输的最大量不能超过容量，拿现实中的例子来举例，比如一条网路上的数据上传有最大流量限制，一条交通要道上通过的车流量有上限。
数学上，将一个网络流定义为一个图$G=(V,E)$，$V$表示图上所有的节点集合，$E$表示图上所有的边集合，对于图$G$，有：

• 每条边具有方向性，表示这上面的流的可流动方向
• 每条边$e\in E$，都有一个非负数的容量$c_e$，例如下面示意图中A和B间的容量为4
• 有一个源节点$s\in V$，源节点只有流出，没有流入
• 有一个终结点$t\in V$，终结点只有流入，没有流出
  

在图$G$上，定义函数$f(e)$表示边$e$上的流的大小，对于$f(e)$有着基本约束$0\le f(e)\le c(e)$

2 最大流问题 Maximum Flows

2.1 线性规划建模

在基本的流模型上，加上一个流平衡约束，对于一个除了$s$和$t$的节点$v$，有
$$\begin{array}{r}\sum _{eintov}f(e)=\sum _{eleavingv}f(e)\end{array}$$
这个约束表示对于节点$v$，流入的量等于流出的量
然后我们定义函数$v(f)$表示网络流上流的总量值:
$$\begin{array}{r}v(f)=\sum _{eoutofs}f(e)\end{array}$$
即从$s$节点流出的总量。有了这些信息，我们就可以把最大流问题定义为，对于一个网络流$G$，找到它的最大的$v(f)$，也就是可以从节点$s$流出的最大流量
最大流问题显然是一个线性规划问题。我们以上面的网络流示例图为例，要求的变量就是每条边上的流量大小$f(e)$，如下图中的$f_{SA}$，$f_{SC}$，$...$

需要满足容量约束
$$\begin{array}{r}{f}_{SA}\le 4\\ \end{array}$$