初探网络流:dinic/EK算法学习笔记


前记

这些是初一暑假的事:

“都快初二了,连网络流都不会,你好菜啊!!!” from 某机房大佬 to 蒟蒻我。

flag:——NOIP后要学网络流

咕咕咕……………………………………………………………………………………


现在是2018-12-29,我终于开始学网络流了。

网络流其实也没有想象的那么难啊,最主要就是要明白怎么建图!!!其他什么的板子一套就完事了。

正式学习

what is 网络流

相信大家都听过网络流这个名字。哦?你知道网络,还知道输入输出流?呀,看来你已经会网络流了啊!

嗯,开个玩笑

网络流(network-flows)是一种图论算法,说起来可能比较抽象,不过我们可以把网络图想象成一个水管分布图,网络流就相当于水流。边就是水管,节点就是一个转换水流的地方。
网络流1

就像上面的图,它其实就是网(shui)络(guan)图,当然,流入你家的可能不止一根水管,那么,如果现在让你分配水怎么流,就是你可以控制水到了某一个点后往哪根水管流,怎么使流入你家的水最多,就是最大流问题。

另外最小割是什么呢?

就是如果有恐怖分子要拆水管,那么他割宽度为5的水管就要相应耗费5单位的力,所以他想耗尽量少的力去让你家没有水,那么他最终耗费的最小的力就是最小割。


网络流的基本性质

1、流量平衡:即 出流的量=入流的量 ,这个比较好理解,就是说如果你入流了100单位水,可水管只能流出50单位水,那么那另外50单位水就爆水管了。

2、最小割=最大流:如果恐怖分子知道你怎么分配使你家的流量最大,那么他就可以把所有水流的路径中最小的割了,那其实就是最大流其中一条路径所能提供的水量。

算法

EK

EK是基于FF算法的一个改良版算法,由于FF算法实在是太废了,我在这里不介绍FF算法,直接讲EK,反正他们的思想差不多。

那么EK算法的思路是什么呢?其实就是不断增广,直到不能再增广为止。那么什么是增广呢,有可能有些人不是很明白?其实增广就是更新,我也一直把增广理解为更新,对一条路进行增广,那条路就是增广路。

额,可能还是不懂吧。其实就是,呐,从源点到汇点不是有很多条路径嘛。EK算法就是每一次抽一条路径,在这条路径上找边权最小值,即这条路径的流量。然后把这条路径的所有边权都减去这个最小值。直到最后没有任何路径可以给汇点输送流量为止。如果一条路径有0容量的边,那么那条路径就废了,因为最多只能流0容量的流量,和不流没区别。

那么我们想一下怎么实现EK算法呢?每一次都进行更新,感觉和搜索有点联系,每一次都向下一个节点更新,直到不能更新就回溯。嗯,那可以写dfs!!!

明显写dfs来跑是非常慢的,这就是FF算法的实现思想。那么EK是什么呢,其实就是把dfs换成了bfs。

那么怎么保证EK的正确性呢?事实上,如果普通建边是跑不了最大流的,EK支持一个反悔操作,什么是反悔呢?不要以为是太高级,其实就是从u走到v,我还可以又从v走回u。我们也可以这么理解,之前有一条路径不可以形成最大流,那么我们就将那条路径反悔,换其他路径。

实现这个反悔操作只需要建反向边,反向边刚开始的流量为0,因为暂时不能往回流,如果流过一条边,那条边的容量自然减少,而反向边容量增加,那么之后反向边就可以流动了。

网络流2

那么来看看EK的具体实现吧:

//网络最大流(EK)
#include<bits/stdc++.h>
#define maxn 1000001
#define INF 119260817
using namespace std;
int cnt,cost[maxn],from[maxn],to[maxn],Next[maxn],head[maxn],consume[maxn];
int dis[maxn],vis[maxn],flow[maxn],last[maxn],maxflow,check;
queue<int>q;
int S,T,n,m;
void add(int x,int y,int z){        //建边
    ++cnt;cost[cnt]=z;
    from[cnt]=x;to[cnt]=y;
    Next[cnt]=head[x];head[x]=cnt;
}
bool bfs(int S,int T){              //EK核心代码BFS
    for(int i=1;i<=n;i++)last[i]=0,vis[i]=-1;
    q.push(S);dis[S]=0;vis[S]=1;flow[S]=INF;
    while(!q.empty()){
        int u=q.front();q.pop();vis[u]=0;
        for(int i=head[u];i!=-1;i=Next[i]){
            int v=to[i];
            if(cost[i]&&vis[v]==-1){        //发现有路径可以增广
                flow[v]=min(flow[u],cost[i]);       //流量更新
                last[v]=i;                  //为了最后进行该路径所有边权减最小值,标记来边
                q.push(v);
                vis[v]=u;
            }
        }
    }if(vis[T]!=-1)return true;             //如果汇点没有被更新,那么就结束EK
    return false;
}
void update(int S,int T){           //对求出的路径进行更新,即对BFS求出的路径进行减最小值更新
    int now=T;
    while(now!=S){
        int i=last[now];
        cost[i]-=flow[T];cost[i^1]+=flow[T];    //记得给反向边增加
        now=from[i];                //进行下一条边
    }
    maxflow+=flow[T];               //最大流加上流量
}
void EK(){
    maxflow=0;
    while(bfs(S,T)==true){
        update(S,T);
    }
}
int main(){cnt=1;
    memset(head,-1,sizeof(head));
    scanf("%d%d%d%d",&n,&m,&S,&T);
    for(int i=1;i<=m;i++){
        int x,y,z;
        scanf("%d%d%d",&x,&y,&z);
        add(x,y,z);add(y,x,0);      //刚开始要建反向边,容量是0
    }
    EK();
    printf("%d",maxflow);
}

EK时间复杂度:O(n m^2).

dinic

在学dinic之前,希望大家先明白EK的实现思路和原理。讲dinic会在EK的基础上讲的。

其实dinic和EK差不多,只不过dinic多了个分层,这个所谓的分层是一个限制,EK在bfs不是只要有路走就增广吗?而dinic则限制只能往下一层走。

那么来讲讲dinic怎么实现吧:

首先是分层,dinic分层用bfs来分层,这个没什么好说的,就是源点是第0层,和源点有边的点是第1层,这样bfs下去分层。当然,在分层中还可以判断汇点还有没有流可以汇入,如果汇点分不了层了,就代表没有流可以流入汇点了。

然后是找最大流,dinic的找最大流是用dfs的。具体就是从源点找到满足的点就一直递归下去,直到找到汇点,返回中途的最小值,然后更新边权,和EK一样,不过dinic是递归形式,所以可以直接在dfs上更新,不需要在写个update操作。

网络流3

下面看看dinic的实现:

//网络最大流dinic
#include<bits/stdc++.h>
#define maxn 1000001
#define INF 19260817
using namespace std;
int cnt,cost[maxn],from[maxn],to[maxn],Next[maxn],head[maxn];
int level[maxn];
queue<int>q;
int S,T,n,m;
void add(int x,int y,int z){        //建边
    ++cnt;cost[cnt]=z;
    from[cnt]=x;to[cnt]=y;
    Next[cnt]=head[x];head[x]=cnt;
}
bool bfs(){                         //bfs分层
    memset(level,-1,sizeof(level));
    level[S]=0;q.push(S);
    while(!q.empty()){
        int u=q.front();q.pop();
        for(int i=head[u];i!=-1;i=Next[i]){
            int v=to[i];
            if(cost[i]!=0&&level[v]==-1){   //如果容量是0||已被更新就不更新了
                level[v]=level[u]+1;
                q.push(v);
            }
        }
    }if(level[T]!=-1)return true;           //如果流不动了就结束dinic
    return false;
}
int dfs(int u,int flow){            //dfs找最大流
    if(u==T)return flow;
    int ret=flow;                   //记录初始流量
    for(int i=head[u];i!=-1;i=Next[i]){
        if(ret<=0)break;            //如果已经没流了就退出
        int v=to[i];
        if(cost[i]!=0&&level[u]+1==level[v]){
            int k=dfs(v,min(cost[i],ret));  //把能流的都给下一个点
            ret-=k;cost[i]-=k;cost[i^1]+=k; //边权更新,剩余流量更新
        }
    }
    return flow-ret;                //返回流出的流量
}
int dinic(){
    int ans=0;
    while(bfs()==true){
        ans+=dfs(S,INF);            //累加最大流
    }
    return ans;
}
int main(){cnt=1;
    memset(head,-1,sizeof(head));
    scanf("%d%d%d%d",&n,&m,&S,&T);
    for(int i=1;i<=m;i++){
        int x,y,z;
        scanf("%d%d%d",&x,&y,&z);
        add(x,y,z);add(y,x,0);      //EK一样建边
    }
    printf("%d",dinic());
}

dinic时间复杂度:O(n^2 m).

希望大家也能学会网络流哦!!!

谢谢观赏,点个赞吧!

转载于:https://www.cnblogs.com/hyfhaha/p/10678300.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值