【JZOJ 1295】【USACO DEC05 GOLD】设计

Description

　和人一样，牛也喜欢站得离朋友较近的位置。FJ有N(2<=N<=1,000)头牛，编号为1..N,现在要设计一个顺序让他们站成一排给他们喂食。奶牛们按照编号顺序依次站立，允许有多只牛站在同一位置（也就是说，牛i和牛j$(i<j)$的站立位置s_i,s_j一定满足$s_i<=s_j$,如果s_i=s_j,那么编号为i到j之间的牛也一定站在s_i处）。
　　有一些牛相互喜欢，希望两人的距离在某个范围内，同样也有一些牛相互不喜欢，希望两人的距离大于等于某个距离，题目中给出ML(1<=ML<=10,000)个限制描述相互喜欢的情况，给出MD(1<=MD<=10,000)个限制描述相互不喜欢的情况。
　　你的任务是计算，如果存在某种方案满足上述要求，输出1号牛和N号牛之间最大距离。

Analysis

典型的差分约束系统。
约束可转化为dis[x]-dis[y]>=c或dis[x]-dis[y]<=c
这就可以跑最短路了，把一个不等式成一个-1就能变号了。

Code

#include<cstdio>
#include<queue>
#include<cstring>
#include<algorithm>
#define fo(i,a,b) for(int i=a;i<=b;i++)
using namespace std;
const int N=1010,INF=2139062143;
int n,a[N][N],map[N][N],dis[N],in[N];
bool bz[N],pd;
queue<int> q;
void spfa(int S)
{
    memset(dis,127,sizeof(dis));
    dis[S]=0;
    memset(bz,0,sizeof(bz));
    bz[S]=1;
    q.push(S);
    while(!q.empty())
    {
        int u=q.front();q.pop();
        bz[u]=0;
        fo(i,1,a[u][0])
        {
            int v=a[u][i];
            if(dis[v]>dis[u]+map[u][v])
            {
                dis[v]=dis[u]+map[u][v];
                if(!bz[v])
                {
                    bz[v]=1;
                    in[v]++;
                    if(in[v]>n) {pd=1;break;}
                    q.push(v);
                }
            }
        }
    }
}
int main()
{
    int ml,md,x,y,z;
    scanf("%d %d %d",&n,&ml,&md);
    memset(map,127,sizeof(map));
    fo(i,1,n)
    {
        a[i][++a[i][0]]=i-1;
        map[i][i-1]=0;
    }
    fo(i,1,ml)
    {
        scanf("%d %d %d",&x,&y,&z);
        a[x][++a[x][0]]=y;
        map[x][y]=min(map[x][y],z);
    }
    fo(i,1,md)
    {
        scanf("%d %d %d",&x,&y,&z);
        a[y][++a[y][0]]=x;
        map[y][x]=min(map[y][x],-z);
    }
    spfa(1);
    if(pd) printf("-1");
    else
    if(dis[n]==INF) printf("-2");
    else
    printf("%d",dis[n]);
    return 0;
}