POJ 2391 Ombrophobic Bovines 网络流 二分答案

题目大意：有n个草地，每个草地都有初始的牛的数量a[i]，还有这个草地的牛棚能放的牛数b[i]，再把这n个草地的连接关系给你（边权为从一个草地到另一个的花费时间）。求，把牛放好的最少时间。

二分答案是是比较容易想到的。那么问题就变成了判断可行性了。这个问题很好解决。建两组点，第一组为每个草地牛初始的数目（a[i]），第二组为每个草地能放的牛数（b[i]），再把源点和第一组相连，汇点和第二组相连。第一组到第二组的边，如果最短路能到，容量为∞。这里必须要建两组点，因为一个牛到牛棚后，是不应该再移动的，否则时间的限制很难处理。

//#pragma comment(linker, "/STACK:102400000,102400000")
#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
#include<cmath>
#include<cctype>
#include<string>
#include<algorithm>
#include<iostream>
#include<ctime>
#include<map>
#include<set>
using namespace std;
#define MP(x,y) make_pair((x),(y))
#define PB(x) push_back(x)
typedef __int64 LL;
//typedef unsigned __int64 ULL;
/* ****************** */
const LL INF=1LL<<60;
const double INFF=1e200;
const double eps=1e-8;
const int mod=1000000007;
const int NN=205;
const int MM=4010;
/* ****************** */

int a[NN],b[NN];
LL mat[NN][NN];
struct G
{
    int v,cap,next;
}E[NN*NN*4];
int p[NN*2],T;
int dd[NN*2],temp_p[NN*2],qw[NN*2];

void add(int u,int v,int cap)
{
    E[T].v=v;
    E[T].cap=cap;
    E[T].next=p[u];
    p[u]=T++;

    E[T].v=u;
    E[T].cap=0;
    E[T].next=p[v];
    p[v]=T++;
}

void flo(int n)
{
    int i,j,k;
    for(k=1;k<=n;k++)
        for(i=1;i<=n;i++)
            for(j=1;j<=n;j++)
                mat[i][j]=min(mat[i][j],mat[i][k]+mat[k][j]);
}

bool find_path(int st,int en,int n)
{
    int i,u,v,head,tail;
    for(i=0;i<=n;i++)
        dd[i]=-1;
    dd[st]=0;
    qw[head=tail=0]=st;
    while(head<=tail)
    {
        u=qw[head++];
        for(i=p[u];i+1;i=E[i].next)
        {
            v=E[i].v;
            if(dd[v]==-1 && E[i].cap>0)
            {
                dd[v]=dd[u]+1;
                qw[++tail]=v;
            }
        }
    }
    return (dd[en]!=-1);
}

int dfs_flow(int u,int& en,int f)
{
    if(u==en || f==0)
        return f;
    int temp,flow=0;
    for(;temp_p[u]+1;temp_p[u]=E[ temp_p[u] ].next)
    {
        G& e=E[ temp_p[u] ];
        if(dd[u]+1==dd[e.v])
        {
            temp=dfs_flow(e.v,en,min(f,e.cap));
            if(temp>0)
            {
                e.cap-=temp;
                E[ temp_p[u]^1 ].cap+=temp;
                flow+=temp;
                f-=temp;
                if(f==0)
                    break;
            }
        }
    }
    return flow;
}

int dinic(int st,int en,int n)
{
    int i,ans=0;
    while( find_path(st,en,n) )
    {
        for(i=0;i<=n;i++)
            temp_p[i]=p[i];
        ans+=dfs_flow(st,en,1000111222);
    }
    return ans;
}

bool ok(LL limit,int n)
{
    memset(p,-1,sizeof(p));
    T=0;
    int i,j,sum=0;
    for(i=1;i<=n;i++)
        for(j=1;j<=n;j++)
        {
            if(mat[i][j]<=limit)
            {
                add(i,j+n,1000111222);
            }
        }
    for(i=1;i<=n;i++)
    {
        sum+=a[i];
        add(0,i,a[i]);
        add(i+n,n+n+1,b[i]);
    }

    if(sum==dinic(0,n+n+1,n+n+1))
        return true;
    return false;
}

int main()
{
    int n,m,i,j;
    int x,y,z;
    LL l,r,mid;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        for(i=1;i<=n;i++)
            scanf("%d%d",&a[i],&b[i]);

        for(i=1;i<=n;i++)
            for(j=1;j<=n;j++)
            {
                mat[i][j]=(i==j)?0:INF;
            }

        for(i=0;i<m;i++)
        {
            scanf("%d%d%d",&x,&y,&z);
            if(mat[x][y]>z)
            {
                mat[x][y]=mat[y][x]=z;
            }
        }
        flo(n);

        l=-1,r=INF;
        while(l+1<r)
        {
            mid=(l+r)>>1;
            if(ok(mid,n))
                r=mid;
            else
                l=mid;
        }

        printf("%I64d\n",r==INF?-1:r);
    }
    return 0;
}