算法设计与分析(十二).pptVIP

推论9.1 设G=(V,E)是一个流网络，f为G的一个流，p是Gf中的一条增广路径。设fp是Gf中p上的一个流。则，通过f=f+fp定义一个函数 ，则f是G的一个流，其值|f|=|f|+|fp|＞|f|。 证明：由引理9.2和9.3即可得。 含义：把fp加到f上，可以得到G的另外一个流，该流的 值比f大，更接近最大值。 实例如下： 增广路径 s v4 v3 5 12 3 11 8 11 7 5 5 4 11 5 3 15 4 v1 v2 t s v1 v2 v4 v3 t 11/16 12/12 1/4 10 8/13 11/14 7/7 4/9 15/20 4/4 s v1 v2 v4 v3 t 11/16 12/12 1/4 10 12/13 11/14 7/7 9 19/20 4/4 初始网络流 增广路径 * * 根据定义，源点顶点总的净流量大于0，即对于源点顶点，离开它的正流比进入它的正流多； 汇点是唯一一个总净流量小于0的顶点，即进入它的正流要比离开它的正流多。 * 王多强 wdq0818@263.net 9.1 流网络 网络可以被想象成一个输水的管道网。边是“水”的输送管道，顶点是管道间的连接点。 考虑这样一个过程：管道网中有一个源点s产生“水”，水流过网络，最后流入一个汇点t并被消耗。设源点以固定的速度产生“水”，而汇点以同样的速度消耗“水”。除源点和汇点外，水只流经这些顶点，而不聚集在这些顶点中，即 “水”流入某顶点的速度等于流出该顶点的速度。 s v1 v2 v5 v4 v3 t 同时，每个管道有最大流量限制c（可看作流经该管道的最大速度）和实际流量f（可看作当前时刻流经该管道水的速度），显然f≤c。如图，用“f/c”的形式为每条边标注流量和容量。 这样的网络就称为“流网络”。可以把“水”抽象其它任何物资，如交通运输、电流等。 流守恒：流网络中，除源点、汇点外，物资流入某顶点的速度等于流出该顶点速度的性质称为“流守恒”性。 s v1 v2 v5 v4 v3 t 3/5 7/7 2/4 5/6 0/2 2/3 3/4 2/9 1/3 6/6 4/5 流网络：流网络G=(V,E)是一个有向图，V中指定一个顶 点s，称为源点和另一个顶点t，称为汇点。E中 每一条边(u,v)，对应有一个称为容量的非负值 c(u,v)≥0，若非(u,v)∈E，则c(u,v)=0。 为简单起见，假设G是连通的，且假定每个顶点均处于从源点s到汇点t的某条路径上，即对每个v∈V，均存在s→...→v→...→t的路径，故|E|≥|V|-1。 流：设G=(V,E)是一个流网络，s是源点，t是汇点，容量函 数为c。G的流是一个实值函数f：V×V→R。若f满足 下面三条性质，则称f为可行流： 容量限制：对所有的u,v∈V，有f(u,v)≤c(u,v)。 反对称性：对所有的u,v∈V，有f(u,v)=-f(v,u)。 流守恒性：对所有u∈V-{s,t}，有 即，非源点和汇点外的任意结点，流入该结点的流量和等于流出该结点的流量和。 理解流的三个性质： 容量限制说明一个顶点到另一顶点的网络流不能超过设定的容量 反对称性说明从顶点u到顶点v的流是其方向流求负所得。 流守恒性说明从非源点或非汇点的顶点出发的总网络流为0。 根据反对称性，对顶点v∈V-{s,t}，也可以把流守恒性重写为： f(u,v)称为从顶点u到顶点v的流，可以为正，也可以为负。 可行流总是存在的。 例如，让所有边的流量f(v,w)=0，就得到一个其流量f=0的可行流(称为0流)。 对于网络G的一个给定的可行流f， 饱 和 边：网络中满足f(u,v)= c(u,v)的边； 非饱和边：网络中满足f(u,v)＜c(u,v)的边； 零 流 边：网络中f(u,v)=0的边； 非零流边：网络中f(u,v)＞0的边； 弱 流 边：既不是零流边也不是饱和边的边。 若顶点u、v间无边，则f(u,v)=f(v,u)=0，即u、v之间不存在网络流。 进入一个顶点v的总的正网络流定义为 离开一个顶点u的总的正网络流定义为 顶点的总的净流量=离开该顶点的总的正流量-流入该 顶点的总的正流量。 流守恒性：进入非源点或非汇点顶点的正网络流等于 离开该顶点的正网络流，即“流进等于流出”。 网络的流量：流网络流量f的值定义为