最大流笔记

最大流

基本概念

最大流问题(Maximum Flow Problem)是一种组合最优化问题,是网络流的基础。把问题抽象成一个有向图,从源点到汇点的每一条边都有一个最大容量,指这条边可以流过的流量最大值。问题要求的就是从源点到汇点的最大流量。注意和最长路的区别在于,它的流量可以通过多个路径流到汇点。 
在求解问题之前,我们先来认识一些概念; 
容量网络:我们刚才说的有向图G,即每条边都有一个最大容量的网络; 
弧:就是网络中的边; 
弧分四类:(设有一条弧流量为h(u,v),最大容量为c) 
1,饱和弧,即h(u,v)= c; 
2,非饱和弧,即h(u,v)< c; 
3,非零弧,即h(u,v)< 0; 
4,零弧,即h(u,v)= 0; 
流量:一条弧实际所流过的流量; 
可行流:满足条件1和2的一个网络流f: 
1,流量限制,即每条弧的流量不能超过最大容量; 
2,平衡条件限制,即每条弧流入的流量一定等于它流出的流量; 
(特别地,如果一个网络上所有流量均为0,则称之为零流) 
链:即从点u到u1,u1到u2,……,un到v的一条序列,其中每两个相邻的点都要连有一条弧,设L是网络G中一条从源点S到汇点T的链,则约定S到T的方向为正方向,但链中的弧方向不一定要和正方向相同。我们称链中和正方向相同的弧为正向弧,反之为反向弧; 
增广路:设f是G中的一个可行流,设L是从S至T的一条链,若: 
L中所有正向弧均为非饱和弧,且所有反向弧均为非零弧, 
那么这条链就称为f的一条增广路,沿着增广路改进的操作叫做增广; 
残留容量:即在当前的可行流中弧h(u,v)的最大容量c减去已流流量f(u,v)的残余流量,记为su(u,v); 
残余网络:即残余容量组成的网络,设残余网络G’,则对于G中的每一条弧h(u,v),若它是一条非饱和弧,则在G’中有一条弧h’(u,v),其最大容量c’(u,v)=c(u,v)-h(u,v),若它是一条非零弧,则在G’中有一条弧h”(v,u),其容量为c(u,v)。

问题求解

解决最大流有很多种解法,如EK、Isap、FF等,不过最有名的(主要是我们神圣的陈老师讲了的)就是dinic算法,我们今天也只介绍这一种,其他的有兴趣的童鞋可以自行百度。

dinic

学习dinic之前,我们先引入一个概念:层次图; 
层次图就是分层图,一个点到源点的最短距离就叫做它的“层次”,分层图中“层次”相同的点为一层。建立分层图有一个好,就是同一层的点不可能在同一条链中,这样在找增广路时可以省去很多重复计算。 
所以dinic的基本思路就是不断地根据残余网络建立层次图,然后在层次图中dfs找增广路,直到无法增广为止,这样运行速度就会快很多。下面就来看一下具体的解决精髓:反向边

反向边

我们为什么要反向边呢?看下面的一个例子(源点是1,汇点是4): 
图1 
我们可以很快的找到一个增广路1-2-3-4,增加流量为1,得到流如下: 
图2 
可这时我们发现,弧(1,2)和(3,4)都已经是饱和弧,再也找不到增广路了,而最大流却明显不是1,是2,即同时走1-2-4和1-3-4。那么问题出在哪里了呢? 
问题就是我们没有给算法“后悔”的机会,它找完一个增广路后就没有改变原来2-3-4而走2-4的操作。那么怎么解决呢?暴力回溯?等着TLE吧。。。 
所以dinic(其实所有最大流的算法都是)用了一个非常神奇的东东来解决这个问题:反向边。 
反向边,就是对于网络G中的每条弧h(u,v)都加入一条反向弧h(v,u),初始最大容量为c(u,v)。 
而在每次增广的时候,就将增广路上每一段容量减少n,同时将反向弧容量增加n。 
继续看刚才的例子,加入反向边后,网络流修改成如下: 
图3 
那么此时再找,就可以找到1-3-2-4这条增广路,最终最大流量为2。 
图3 
可是这样做为什么是对的呢?因为当我们第二次增广走过反向边3-2时就相当于把2-3这条正向边所用的流量给“退流”了,即不走2-3-4而改走从2出发的其它路,即2-4,最终流量也是一样的。(注意2-4是必定存在的,因为如果没有2-4的话就不会有1-3-2-4这条增广路)同时3-4的流量就变到了1-3-4这条路上,2-3这条边正向反向流量均为1,就相互抵消了,相当于没有流量。 
这就是反向边的基本思想,它通过“退流”的方式,给了算法后悔的机会。下面直接上代码:

代码(POJ1273——模板题)

 1 #include<iostream>
 2 #include<cstdio>
 3 #include<cstring>
 4 #include<cmath>
 5 using namespace std;
 6 struct edge{
 7     int y,r,next,op;
 8 }a[401];
 9 int head[201],q[5001],level[201],ans=0,x,y,z,n,m,vs,vt,tot=0;
10 void add(int x,int y,int z){
11     a[++tot].y=y;
12     a[tot].r=z;
13     a[tot].next=head[x];
14     head[x]=tot;
15     a[tot].op=tot+1;
16     a[++tot].y=x;
17     a[tot].r=0;
18     a[tot].next=head[y];
19     head[y]=tot;
20     a[tot].op=tot-1;
21 }
22 bool bfs(){
23     int u,tmp,v,f=1,r=1;
24     memset(level,0,sizeof(level));
25     q[f]=vs;
26     level[vs]=1;
27     while(f<=r){
28         v=q[f];
29         tmp=head[v];
30         while(tmp!=-1){
31             u=a[tmp].y;
32             if(a[tmp].r&&!level[u]){
33                 level[u]=level[v]+1;
34                 q[++r]=u;
35                 if(u==vt)return true;
36             }
37             tmp=a[tmp].next;
38         }
39         f++;
40     }
41     return false;
42 }
43 int dfs(int v,int num){
44     int value,flow,tmp,u,ans=0;
45     if(v==vt||!num)return num;
46     tmp=head[v];
47     while(tmp!=-1){
48         u=a[tmp].y;
49         value=a[tmp].r;
50         if(level[u]==level[v]+1){
51             flow=dfs(u,min(value,num));
52             if(flow){
53                 a[tmp].r-=flow;
54                 a[a[tmp].op].r+=flow;
55                 ans+=flow;
56                 num-=flow;
57                 if(!num)break;
58             }
59         }
60         tmp=a[tmp].next;
61     }
62     return ans;
63 }
64 int main(){
65     scanf("%d%d",&n,&m);
66     vs=1;
67     vt=m;
68     memset(head,255,sizeof(head));
69     for(int i=1;i<=n;i++){
70         scanf("%d%d%d",&x,&y,&z);
71         add(x,y,z);
72     }
73     while(bfs()){
74         ans+=dfs(1,2147483647);
75     }
76     printf("%d",ans);
77     return 0;
78 }

时间复杂度

dinic算法算是所有解决最大流问题的算法中效率最高的一种,证明比较复杂,这里直接给出复杂度: 
最坏情况时间复杂度:$O(V^{2}E)$; 
期望时间复杂度:$O(min(V^{frac{3}{2}},E^{frac{1}{2}})*E)$;
最好时间复杂度(二分图):$O(sqrt{V}E)$; 

原文地址:https://www.cnblogs.com/dcdcbigbig/p/8944997.html