Loj模板

  之前学习了EK算法以及Dinic算法,它们所处理的都是有源有汇且只有上界的网络。此问题则要求流量在上界与下界之间,并且无源无汇,判断是否可行。

  注意点:(1)这相当于一个循环流,对于每一个点,流入量都等于流出量。(2)流量必须在上界与下界之间。

  可是我们并不会处理这种问题啊,首先无源无汇这点就使我陷入了迷茫,dinic是用来求有源汇的网络的最大流的,无从下手啊。

  考虑怎么把问题转化:其实对于循环流,想要直接满足流入量等于流出量不好实现,我们可以一分为二。我们先假设网络里所有河道的流量都是下界l,此时对于单个点来说,可能会流入量等于流出量,也可能大于也可能小于。我们可以在原图中的残流网络里再找一些流,使得流入量等于流出量。预处理一个A数组,A【i】=流入量-流出量。如果A【i】小于0,代表当前点流出量大于流入量,为了使无源无汇的残流网络当前点流入量大于流出量,我们把当前点到t通一条流,容量为-A【i】;反之,把s到当前点通一条流,容量为A【i】。你发现,此时残流网络被我们变成了有源有汇的网络,且题目条件符合当且仅当连接s或t的边能跑满流,此时正好与初流构成循环流。所以在我们建好残流网络时,用dinic跑一下最大流,如果最大流=sout(sout是与s相连的流的容量的累加),存在;否则,不存在。每个边真正的流量等于初流+方向边的流量。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<queue>
using namespace std;
const int inf=1<<29;
const int N=400;
const int M=40500;
int s,t,n,m,tot=1,sout,maxflow,flow,lin[N],d[N],D[N],in[M],bj[M];
struct Edge{int edge,v,n;}e[M];
void add(int x,int y,int z){
    e[++tot].v=y;e[tot].n=lin[x];lin[x]=tot;e[tot].edge=z;
    e[++tot].v=x;e[tot].n=lin[y];lin[y]=tot;e[tot].edge=0;
}
bool bfs(){
    memset(d,0,sizeof(d));
    queue<int>q;
    q.push(s),d[s]=1;
    while(q.size()){
        int x=q.front();q.pop();
        for(int i=lin[x];i;i=e[i].n){
            int y=e[i].v;
            if(e[i].edge&&!d[y]){
                d[y]=d[x]+1;
                q.push(y);
                if(y==t) return 1;
            }
        }
    }
    return 0;
}
int dinic(int x,int flow){
    if(x==t) return flow;
    int rest=flow;
    for(int i=lin[x];i&&rest;i=e[i].n){
        int y=e[i].v;
        if(e[i].edge&&d[y]==d[x]+1){
            int k=dinic(y,min(rest,e[i].edge));
            if(!k) d[y]=0;
            e[i].edge-=k;
            e[i^1].edge+=k;
            rest-=k;
        }
    }
    return flow-rest;
}
int main(){
    scanf("%d%d",&n,&m);
    s=0,t=n+1;
    for(int i=1;i<=m;++i){
        int x,y,l,r;scanf("%d%d%d%d",&x,&y,&l,&r);
        in[i]=l,D[y]+=l,D[x]-=l;
        add(x,y,r-l);
        bj[i]=tot;
    }
    for(int i=1;i<=n;++i)
        if(D[i]>0) add(s,i,D[i]),sout+=D[i];
        else if(D[i]<0) add(i,t,-D[i]);
    while(bfs()){
        while(flow=dinic(s,inf)) maxflow+=flow;
    }
    if(sout==maxflow){
        printf("YES\n");
        for(int i=1;i<=m;++i) printf("%d\n",in[i]+e[bj[i]].edge);
    }else printf("NO\n");
    return 0;
}
01-13 01:43