JZOJ_7.11C组第三题 设计

题意

给出每两头牛之间的距离限制，求出第一头牛到第n头牛的最远距离，如果不存在输出-1，如果可以任意远输出-2。

思路

差分约束系统。
两头牛相互喜欢时，dis[j]-dis[i]<=len
两头牛相互反感时，dis[j]-dis[i]>=len
要让它们变成同一个符号所以相互反感就是dis[i]-dis[j]<=-len
所以相互喜欢时，从i向j连一条长度为len的边
相互反感时，从j向i连一条长度为-len的边，最后跑一边spfa就好了

代码

#include<cstring>
#include<cstdio>
#include<queue>
using namespace std;
struct node{
    int to,v,next;
}e[20001];
int n,ml,md,a,b,c,tot,head[10001],d[10001],vc[10001],v[10001];
void add(int x,int y,int v)
{
    e[++tot].to=y;e[tot].v=v;e[tot].next=head[x];head[x]=tot;
}
int main()
{
    memset(d,127/3,sizeof(d));
    scanf("%d%d%d",&n,&ml,&md);
    for (int i=1;i<=ml;i++)
    {
        scanf("%d%d%d",&a,&b,&c);
        add(a,b,c);
    }
    for (int i=1;i<=md;i++)
    {
        scanf("%d%d%d",&a,&b,&c);
        add(b,a,-c);
    }
    queue<int> q;
    int x,y;
    q.push(1);d[1]=0;
    while (q.size())
    {
        x=q.front();q.pop();v[x]=0;
        for (int i=head[x];i;i=e[i].next)
        {
            y=e[i].to;
            if (d[x]+e[i].v<d[y])
            {
                d[y]=d[x]+e[i].v;
                vc[y]=vc[x]+1;
                if (vc[y]>n) {printf("-1");return 0;}//负环输出-1
                if (!v[y])
                {
                    q.push(y);
                    v[y]=1;
                }
            }
        }
    }   
    if (d[n]>=50234567) printf("-2");//如果1不能连到n就说明可以无限大
    else printf("%d",d[n]);
}