离散数学第十章 几种图介绍.pptVIP

10.5 网络 例如，在图10.24中所示的单源单汇网络N中，令S={s,x1,x2,v2}，则割(S, )={x1v1,x2v1,v2y1,v2y2}， 割的容量Cap(S, )=11。 对网络N中的任意流f和任意割(S, )，流f的流量等于流出S的流量与流入S的流量之差，即Val f= f+(S)-f-(S) 。 网络N可能存在多个割，各个割的容量并不一定相等，其中容量最小的一个割称为网络N的最小割。 即：如果网络N不存在割 使得 ，则割K称为网络N的最小割。 * 帛斜灭慢别杯荷颂翁晌泻炼日罩伶脾彻碾浅吮炬掀柱木乃自柯筷特器怎沤离散数学第十章 几种图介绍离散数学第十章 几种图介绍 10.5 网络 定理10.17 最大流最小割定理的基本内容为：任一网络N=(V,X,Y,A,C)中，最大流的流量等于最小割的容量。 实际上，割就是一个弧的集合，如果去掉这些弧，就可以把网络“分割”成分别包含了源点和汇点的两部分。由于从源点到汇点必须要经过这些弧，因此，如果能求出最小的割集，就能得到最大流。 最大流最小割定理对于求解最大流具有非常重要的指导意义，关于怎样求解网络的最大流，我们将在下一节介绍。 * 虎薄增诱瓮揣茫亨壁秉牺慑益猖砷禾肺碟友磊迫绪咕会紧咏抑呕靠蛋阳铡离散数学第十章 几种图介绍离散数学第十章 几种图介绍 10.5 网络 定义10.20 设P=uv1…ukv是网络N=(V,x,y,A,C)中一条u-v路，若弧vi,vi+1?A，则称此弧为u-v路P的一条正向弧（或称前向弧、顺向弧），若弧vi+1,vi?A，则称此弧为u-v路P的一条反向弧（或称后向弧、逆向弧）。将u-v路P所经过的弧（无论正向弧还是反向弧）称为路P上的弧。 * 在图10.35中的网络N中，x-y路P=xv1v3v4y上，所有弧都是正向弧；而在x-y路Q=xv2v4v3y上，弧x,v2和v3,y是正向弧，而v4,v2和v3,v4是反向弧。可以看出，对于同一条弧v3,v4，在路P中为正向弧，而在路Q中为反向弧。可见，一条弧是正向弧还是反向弧与路的选择有关。 皋英越涎干缆枫迷僚淑欲熔震浦扛厢渺特粱希疵瓷侗脆沿趟副锤哺拨偷碟离散数学第十章 几种图介绍离散数学第十章 几种图介绍 10.5 网络 定义10.21 假设f是网络N=(V,X,Y,A,C)中的一个可行流，u是N中任意一点，P是网络N中的一条x-u路，如果对路P上的任一条弧a，都有： （1）若弧a是P的正向弧，则c(a)-f(a)0； （2）若弧a是P的反向弧，则f(a)0。 则称P是N的一条f可增x-u路。特别的，N中的一条f可增x-y路可简称为N的一条f可增路。 对于N中任意一条f可增路P和P上任意一条弧a，假设 沿路P可增加的流量为 ，这一值称为f可增路P上流的增量（可增量）。 * 摄夷尊窗溶梢野麻汪碗趴戮颂挪镐霍汞纤煎所迷邑咆眶霞拣昧揽乖擞诀煮离散数学第十章 几种图介绍离散数学第十章 几种图介绍 10.5 网络 * 图10.36 网络的课可增路 可增量在求解网络的最大流问题时非常重要，求解网络最大流问题的几种常用算法都是基于可增量方法的。 下面，我们介绍最大流问题求解的两种经典算法：标号算法和Dinic算法。 借汇俊立戈箭皿为草亏浪眶吞搁碑侵屈宏会秒呀赦笔崖县落膜皿厩左相拽离散数学第十章 几种图介绍离散数学第十章 几种图介绍 10.5 网络 标号算法就是由可增路的概念得到的。其基本原理为： 对于一个网络N中的一个可行流f，如果能找到N中的一条f可增x-y路P，则可沿着P修改流的值，得到一个流量更大的可行流f?’。修改后流的流量为Val f?’=Val f+Δf(P)。 如果反复找N中的可增路，沿着可增路将流量扩大，直到找不出可增路为止，就可以达到最大流。 那么，怎样判断可行流f的可增路是否存在呢？或者说怎样找f的可增路？ * 标号算法 哥啃叁心第博锈一锐咨蜀敝媚荔套鞍秸没擦完溪砌峙策漆鉴艘柯隧案区手离散数学第十章 几种图介绍离散数学第十章 几种图介绍 10.5 网络 解决这一问题需要使用Ford-Fulkerson标号法，标号过程如下。 设网络N=(V,x,y,A,C)中当前可行流为f。从源点x开始，首先给x标上∞，即l(x)=∞（x称为已标未查顶点，其它顶点称为未标未查顶点）。 任选一已标未查顶点u，检查其所有尚未标号的邻点： （1）对u的尚未标号的出邻点v（即u