计算机算法基础 第2版 课件 第11章 网络流.pptx

1第11章 网络流网络流问题的定义 2网络中的流与割的关系 11Ford-Fulkerson方法 24Ford-Fulkerson通用方法 24Edmonds-Karp算法 30Dinic算法 36二部图的匹配问题 44推进-重标号算法简介 63

1.网络流问题的定义2网络流是一个图的算法问题。简单来说，网络流问题就是在一个给定的网络中找出一个从源点到汇点的最大流。定义11.1 一个流网络(flownetwork)，简称网络，是一个加权的简单有向图G=(V,E)，边(u,v)?E的权值c(u,v)0是个正数，称为容量。规定，边(u,v)?E当且仅当c(u,v)=0。另外，图中有两个指定的顶点，分别称为源点和汇点，通常标记为s和t。例11.1v115124916582637sv2v3v4t

3?

4v110/154/46/81/3sv25/122/99/165/50/25/66/7v3v4t(a)一个非规范流的例子v110/154/45/80/3sv25/120/99/165/50/25/64/7v3v4t(b)规范化以后的流规范流如果边(u,v)和(v,u)上都有非零的流，那么从点u运送到点v的物资中有一部分又从v流回到u。显然，这是个浪费。这样的流称为非规范流。在这种情况下，我们总可以把这对边上的流等量减少使得有一个方向上的流为零。我们把这个操作称为规范化。如果任一对边(u,v)和(v,u)上都有f(u,v)=0或者f(v,u)=0，那么f称为一个规范流。显然，规范化不影响流的值。(见下面例子，图11.2)

5相对流定义11.4 假设f是网络G=(V,E)上的一个流。定义边(u,v)上的对应于f的相对流为?(u,v)=f(u,v)-f(v,u)。集合V?V中所有边的相对流组成网络G=(V,E)上的一个相对流?。?(u,v)就是从u到v的净流量。物理含义是，如果从u到v有运输量f(u,v)，从v到u有运输量f(v,u)，那么从u到v的净运输量，即相对流，为?(u,v)=f(u,v)-f(v,u)。引入相对流相当于代数中引入正负数一样，便于我们对流进行加减运算。我们用字母f和?分别表示流和相对流。

6?

7?

8?

9?

10最大流问题由引理11.1和引理11.2可知，一个规范流f和一个相对流?之间有如下的一一对应关系：从f计算对应于f的相对流?: ?(u,v)=f(u,v)-f(v,u)。从?计算对应于?的规范流f: f(u,v)=max{0,?(u,v)}。实际上，把?中所有?(u,v)0的相对流改为0就得到规范流f。反之，把所有f(u,v)=0的流改为-f(v,u)就得相对流?。另外，我们始终有关系：?(u,v)?f(u,v)?c(u,v)。因为规范化不影响流的值，除特别声明外，这一章讨论的流都是规范流。定义11.6 网络的最大流问题就是在给定的一个流网络G=(V,E)上找出一个有最大|f|值的流f。这个流称为网络G的一个最大流。 我们可类似地定义最大相对流问题，并且等价于最大流问题。

11?2.网络中的流与割的关系

12?割的容量是c(S,T)=15+3+7+2+5=32。

13?

14??

15剩余网络和增广路径定义11.8 假设f是网络G(V,E)的一个流，?是对应的相对流。对应于f的剩余网络Gf(V,Ef)定义如下：与原网络G有相同的顶点集合V，相同的源点s和汇点t；边(u,v)?V?V的容量为 cf(u,v)=c(u,v)-?(u,v)，称为对应于f的剩余容量；(3) Ef包括所有剩余容量大于零的边，不包括为零的边： Ef={(u,v)|cf(u,v)0}。剩余容量的含意：cf(u,v)=c(u,v)-?(u,v)=c(u,v)–[f(u,v)-f(v,u)]==[c(u,v)–f(u,v)]+f(v,u)。 这表明剩余容量由两部分组成：(1) c(u,v)–f(u,v)，容量c(u,v)减去流f(u,v)后所剩下的容量。(2) 把流f(v,u)从u推回到v,，产生的(相对)容量。

16v110/154/45/80/3sv25/120/99/165/50/25/64/7v3v4t(a)图11-2(b)中的网络流