zoj 2314 Reactor Cooling 网络流

题目链接：http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=1314

The terrorist group leaded by a well known international terrorist Ben Bladen is buliding a nuclear reactor to produce plutonium for the nuclear bomb they are planning to create. Being the wicked computer genius of this group, you are responsible for developing the cooling system for the reactor.

The cooling system of the reactor consists of the number of pipes that special cooling liquid flows by. Pipes are connected at special points, called nodes, each pipe has the starting node and the end point. The liquid must flow by the pipe from its start point to its end point and not in the opposite direction.

Let the nodes be numbered from 1 to N. The cooling system must be designed so that the liquid is circulating by the pipes and the amount of the liquid coming to each node (in the unit of time) is equal to the amount of liquid leaving the node. That is, if we designate the amount of liquid going by the pipe from i-th node to j-th as f_ij, (put f_ij = 0 if there is no pipe from node i to node j), for each i the following condition must hold:

f_i,1+f_i,2+...+f_i,N = f_1,i+f_2,i+...+f_N,i

Each pipe has some finite capacity, therefore for each i and j connected by the pipe must be f_ij <= c_ij where cij is the capacity of the pipe. To provide sufficient cooling, the amount of the liquid flowing by the pipe going from i-th to j-th nodes must be at least l_ij, thus it must be f_ij >= l_ij.

Given cij and l_ij for all pipes, find the amount f_ij, satisfying the conditions specified above.

This problem contains multiple test cases!

The first line of a multiple input is an integer N, then a blank line followed by N input blocks. Each input block is in the format indicated in the problem description. There is a blank line between input blocks.

The output format consists of N output blocks. There is a blank line between output blocks.

题意：很裸的题意，仔细读一下就明白了，就是一个无源汇的上下界网络流。

解法：无源汇的上下界网络流。下面简单介绍一下无源汇的上下界网络流构图方法，如有不当或不足之处，感谢提出。

针对边的构造  ：  

增加新源点from和汇点to，对于原图中任意一条边u->v，上下界流量分别为b,c，构造新图时，u->v的上界为c-b，新源点from->v上界为b，u->新汇点to上界为b。这样，就去掉了流量下界的控制。

参考书籍：《挑战程序设计竞赛》

针对点的构造  ：  

增加新源点from和汇点to，原图中的边u->v的上界为c-b（和上面一样），对于原图中任意一个点u，统计所有流入u点的流量下界和 in 和经过u点流出的所有流量下界和out ，如果 in > out ，那么就连一条边from->u上界为in-out，否则就连一条边u->to上界为out-in。

参考论文：《一种简易的方法求解流量有上下界的网络中网络流问题》

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<algorithm>
#include<queue>
#define inf 0x7fffffff
using namespace std;
const int maxn=200+10;
const int M = 40000+100;

struct Edge
{
    int to,cap,next;
    int w;
    Edge (){}
    Edge (int to2,int cap2,int next2,int w2){to=to2,cap=cap2,next=next2,w=w2;}
}edge[M*3];
int head[maxn],edgenum;
int n,m,from,to,vnum;
int id[M],c[M];

void add(int u,int v,int cap)
{
    edge[edgenum].to=v;
    edge[edgenum].cap=cap;
    edge[edgenum].w=cap;
    edge[edgenum].next=head[u];
    head[u]=edgenum ++ ;

    edge[edgenum].to=u;
    edge[edgenum].cap=0;
    edge[edgenum].w=cap;
    edge[edgenum].next=head[v];
    head[v]=edgenum ++ ;
}

int level[maxn];
int gap[maxn];
void bfs(int to)
{
    memset(level,-1,sizeof(level));
    memset(gap,0,sizeof(gap));
    level[to]=0;
    gap[level[to] ]++;
    queue<int> Q;
    Q.push(to);
    while (!Q.empty())
    {
        int u=Q.front() ;Q.pop() ;
        for (int i=head[u] ;i!=-1 ;i=edge[i].next)
        {
            int v=edge[i].to;
            if (level[v] != -1) continue;
            level[v]=level[u]+1;
            gap[level[v] ]++;
            Q.push(v);
        }
    }
}

int pre[maxn];
int cur[maxn];
int SAP(int from,int to)
{
    bfs(to);
    memset(pre,-1,sizeof(pre));
    memcpy(cur,head,sizeof(head));
    int u=pre[from]=from,flow=0,aug=inf;
    gap[0]=vnum;
    while (level[from]<vnum)
    {
        bool flag=false;
        for (int &i=cur[u] ;i!=-1 ;i=edge[i].next)
        {
            int v=edge[i].to;
            if (edge[i].cap>0 && level[u]==level[v]+1)
            {
                flag=true;
                aug=min(aug,edge[i].cap);
                pre[v]=u;
                u=v;
                if (v==to)
                {
                    flow += aug;
                    for (u=pre[v] ;v!=from ;v=u,u=pre[u])
                    {
                        edge[cur[u] ].cap -= aug;
                        edge[cur[u]^1 ].cap += aug;
                    }
                    aug=inf;
                }
                break;
            }
        }
        if (flag) continue;
        int minlevel=vnum;
        for (int i=head[u] ;i!=-1 ;i=edge[i].next)
        {
            int v=edge[i].to;
            if (edge[i].cap>0 && level[v]<minlevel)
            {
                minlevel=level[v];
                cur[u]=i;
            }
        }
        if (--gap[level[u] ]==0) break;
        level[u]=minlevel+1;
        gap[level[u] ]++;
        u=pre[u];
    }
    return flow;
}

int main()
{
    int t;
    scanf("%d",&t);
    while (t--)
    {
        int u,v,w;
        scanf("%d%d",&n,&m);
        memset(head,-1,sizeof(head));
        edgenum=0;
        from=0 ;to=n+1 ;
        vnum=n+2;
        int sum=0;
        for (int i=1 ;i<=m ;i++)
        {
            scanf("%d%d%d%d",&u,&v,&c[i],&w);
            sum += c[i];
            id[i]=edgenum;
            add(u,v,w-c[i]);
            add(from,v,c[i]);
            add(u,to,c[i]);
        }
        int Maxflow=SAP(from,to);
        int flag=0;
        for (int i=head[from] ;i!=-1 ;i=edge[i].next)
            if (edge[i].cap) {flag=1;break; }
        if (flag) printf("NO
");
        else
        {
            printf("YES
");
            for (int i=1 ;i<=m ;i++)
                printf("%d
",edge[id[i]^1 ].cap+c[i]);
                //printf("%d
",edge[id[i] ].w-edge[id[i] ].cap+c[i]);
        }
        if (t) printf("
");
    }
    return 0;
}