USACO DEC05 GOLD_设计_差分约束系统

Description

---

　　和人一样，牛也喜欢站得离朋友较近的位置。FJ有N(2<=N<=1,000)头牛，编号为1..N,现在要设计一个顺序让他们站成一排给他们喂食。奶牛们按照编号顺序依次站立，允许有多只牛站在同一位置（也就是说，牛i和牛j(i

Input

---

　　第1行：3个空格隔开的整数N,ML,MD。
　　第2到ML+1行：每行包含3个空格隔开的整数A,B和D，满足1<=A

Output

---

　　如果不存在这样的方案，输出-1，如果牛1和牛N之间的距离可以任意，输出-2，否则输出最大的距离。

Analysis

---

亲密的牛需要满足x−y<=D
相互讨厌的牛需要满足x−y>=D
变形，放一起就变成{y−x<=−Dx−y<=D}
裸的差分约束系统
转成有向图跑一遍最短路

Code

---

#include <stdio.h>#include <string.h>#include <queue>#define inf 0x7fffffffusing namespace std;struct edge{int y,w,next;}e[10001];int ls[1001],dis[10001],cnt[1001],maxE=0;queue<int>q;bool vis[1001];void add(int x,int y,int w){    e[++maxE]=(edge){y,w,ls[x]};    ls[x]=maxE;}int main(){    int n,a,b;    scanf("%d%d%d",&n,&a,&b);    for (int i=1;i<=a;i++)    {        int x,y,w;        scanf("%d%d%d",&x,&y,&w);        add(x,y,w);    }    for (int i=1;i<=b;i++)    {        int x,y,w;        scanf("%d%d%d",&x,&y,&w);        add(y,x,-w);    }    for (int i=0;i<=n;i++)        dis[i]=inf;    q.push(1);    dis[1]=0;    vis[1]=true;    while (!q.empty())    {        int now=q.front();q.pop();        for (int i=ls[now];i;i=e[i].next)            if (dis[now]+e[i].w<dis[e[i].y])            {                dis[e[i].y]=dis[now]+e[i].w;                if (++cnt[e[i].y]>=n)                {                    printf("-1\n");                    return 0;                }                if (!vis[e[i].y])                {                    vis[e[i].y]=true;                    q.push(e[i].y);                }            }        vis[now]=false;    }    if (dis[n]==inf)        printf("-2\n");    else        printf("%d\n",dis[n]);    return 0;}