网络流

预备知识：

设G=（V,E）是有两个称为源和汇的特异顶点s，t的有向图，c（u，v）是定义在所有顶点对上上的容量函数，若（u，v）∈E，则c（u，v）>0，否则c（u，v）=0.

定义一：一个G上的流是一个顶点对上的实函数f，具有以下4个条件。

C1：斜对称:对于所有u，v∈V，f（u，v）= - f（u，v），我们说如果f（u，v）> 0，则存在从u到v的流

C2：容量约束：对于所有u，v∈V，f（u，v）≤ c（u，v），我们说若f（u，v）=c（u，v），则边（u，v）是饱和的

C3：流守恒：对于所有u∈V-{s，t}，v∈V， ∑f（u，v）=0。换句话说，任何一个内部定点的网络流（流出总量减除流入总量）为0。

C4：对于所有v∈V，f（u，v）=0.

定义二：一个割{S,T}是把顶点集V分成两个子集S和T的一个划分，使得s∈S和t∈T。割{S,T}的容量由c（S,T）表示，c（S,T）=

详见http://zh.wikipedia.org/zh-cn/%E7%BD%91%E7%BB%9C%E6%B5%81。