[ISAP][对Dinic算法的常数项进行的大幅优化与改进][ImprovedShortestAugmentingPath][luogu P3376][POJ 1273][CodeVS 1933]

一、从概念入手

网络流用于解决流量问题，同样，我们可以用网络流来解决其简化版本：二分图。

网络流:所有弧上流量的集合f={f(u,v)},称为该容量网络的一个网络流.

• 定义：带权的有向图G=(V,E)，满足以下条件，则称为网络流图(flow network)：

  1. 仅有一个入度为0的顶点s，称s为源点
  2. 仅有一个出度为0的顶点t，称t为汇点
  3. 每条边的权值都为非负数，称为该边的容量，记作c(i,j)。

  弧的流量:通过容量网络G中每条弧< u,v>,上的实际流量(简称流量),记为f(u,v);

性质

对于任意一个时刻，设f(u,v)实际流量，则整个图G的流网络满足3个性质：

1. 容量限制：对任意u,v∈V，f(u,v)≤c(u,v)。
2. 斜对称性：对任意u,v∈V，f(u,v) = -f(v,u)。从u到v的流量一定是从v到u的流量的相反值。
3. 流量守恒定律：对任意u，若u不为S或T，一定有∑f(u,v)=0，(u,v)∈E。即u到相邻节点的流量之和为0，因为流入u的流量和u点流出的流量相等，u点本身不会"制造"和"消耗"流量。