第八章续最大流问题.pptVIP

第1页，共21页，星期日，2025年，2月5日定义7.9.1设G＝〈Ｖ，Ｅ，Ψ〉是弱连通有向图且C:E→R0(其中R0为非负实数集合。)如果加权图〈G，C〉满足：i)图中恰有一个结点入度为0，称为源。ii)图中恰有一个结点出度为0，称为汇。则称〈G，C〉为网络，C为该网络的容量函数。对G的任意边e,称C(e)为e的容量。基本概念351142352sv2v1v3v4t第2页，共21页，星期日，2025年，2月5日所谓网络上的流，是指定义在弧集E上的函数f＝{f(vi,vj)}，并称f(vi,vj)为弧(vi,vj)上的流量，简记为fij。3,15,21,01,04,12,23,15,22,1sv2v1v3v4t标示方式：每条边上标示两个数字，第一个是容量，第二是流量第3页，共21页，星期日，2025年，2月5日可行流、可行流的流量、最大流。可行流是指满足如下条件的流：（1）容量限制条件：对G中每条边(vi,vj),有（2）平衡条件：对中间点，有：（即中间点vi的物资输入量等于输出量）对收点vt与发点vs，有：（即vs发出的物资总量等于vt接收的物资总量），W是网络的总流量。第4页，共21页，星期日，2025年，2月5日可行流总是存在的，例如f={0}就是一个流量为0的可行流。所谓最大流问题就是在容量网络中寻找流量最大的可行流。一个流f={fij}，当fij=cij，则称f对边(vi,vj)是饱和的，否则称f对边(vi,vj)不饱和。最大流问题实际上是一个线性规划问题。但利用它与图的密切关系，可以利用图直观简便地求解。第5页，共21页，星期日，2025年，2月5日给定容量网络G＝(V,A,E)，若点集V被剖分为两个非空集合V1和V2，使s∈V1，t∈V2，则把弧集(V1,V2)称为（分离s和t的）割集。显然，若把某一割集的弧从网络中去掉，则从s到t便不存在路。所以，直观上说，割集是从s到t的必经之路。351142352sv2v1v3v4t注：有向边也称为弧。第6页，共21页，星期日，2025年，2月5日割集的例子sv1v4v3tv2边集（s,v1），（v1,v3），（v2,v3），（v3,t），（v4,t）是G的割集。其顶点分别属于两个互补不相交的点集。去掉这五条边，则图不连通，去掉这五条边中的任意1-4条，图仍然连通。第7页，共21页，星期日，2025年，2月5日定义7.9.5割集的容量(简称割量)最小割集割集(V1,V2)中所有起点在V1，终点在V2的边的容量的和称为割集容量。例如下图中所示割集的容量为5351142352sv2v1v3v4t在容量网络的所有割集中，割集容量最小的割集称为最小割集（最小割）。第8页，共21页，星期日，2025年，2月5日对于可行流f＝{fij}，我们把网络中使fij＝cij的弧称为饱和弧，使fijcij的弧称为非饱和弧；把使fij＝0的弧称为零流弧，使fij0的弧称为非零流弧。设f是一个可行流，μ是从s到t的一条链，若μ满足前向弧都是非饱和弧,后向弧都是都是非零流弧,则称μ是（可行流f的）一条增广链。3,15,21,01,04,12,23,15,22,1sv2v1v3v4t若μ是联结源点s和汇点t的一条链，我们规定链的方向是从s到t，则链上的弧被分成两类：前向弧、后向弧。第9页，共21页，星期日，2025年，2月5日对最大流问题有下列定理：定理7.9.1容量网络中任一可行流的流量不超过其任一割集的容量。定理7.9.2（最大流-最小割定理）任一容量网络中，最大流的流量等于最小割集的割量。推论1可行流f*＝{fij*}是最大流，当且仅当G中不存在关于f*的增广链。第10页，共21页，星期日，2025年，2月5日求最大流的标号法(Ford,Fulkerson)标号法思想是：先找一个可行流。对于一个可行流，经过标号过程得到从源点s到汇点t的增广链；经过调整过程沿增广链增加可行流的流量，得新的可行流。重复这一过程，直到可行流无增广链，得到最大流。第11页，共21页，星期日，2025年，2月5日标号过程:(1)给s标号(-,+∞)，s成为已标号未检查的点，其余都是未标号点。(2)取一个已标号未检查的点vi，对一切未标号点vj：若有非饱和弧(v