poj3169(差分约束系统)

题目大意：

一些母牛按序号排成一条直线。有两种要求，A和B距离不得超过X，还有一种是C和D距离不得少于Y，问可能的最大距离。如果没有输出-1，如果可以随便排输出-2，否则输出最大的距离。

推出公式：b-a<=x; c-a<=-y;

然后spfa

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
int n;
const int maxn = 1000+10;
struct node
{
    int to;
    int next;
    int w;
    node(){}
    node(int a,int b,int c):to(a),next(b),w(c){}
}edge[10000<<1];
int head[maxn],vis[maxn],dist[maxn],cnt[maxn];
int tot;
void add_edge(int u,int v,int w)
{
    edge[tot] = node(v,head[u],w);
    head[u] = tot++;
}
void spfa()
{
    memset(dist,0x3f3f3f3f,sizeof(dist));
    memset(vis,0,sizeof(vis));
    memset(cnt,0,sizeof(cnt));
    queue<int>q; dist[1] = 0;
    q.push(1); vis[1] = 1;
    while(!q.empty())
    {
        int u = q.front(); q.pop();cnt[u] ++;
        if(cnt[u]>n-1) { printf("-1\n"); return ; }
        for(int i=head[u];i!=-1;i=edge[i].next)
        {
            int v = edge[i].to;
            if(dist[v]>dist[u]+edge[i].w)
            {
                dist[v] = dist[u] + edge[i].w;
                if(!vis[v]){ vis[v]=1;q.push(v); }
            }
        }
        vis[u] = 0;
    }
    if(dist[n]!=0x3f3f3f3f) printf("%d\n",dist[n]);
    else printf("-2\n");
}
int main()
{
    int a,b,u,v,w; tot=0;
    memset(head,-1,sizeof(head));
    scanf("%d%d%d",&n,&a,&b);
    for(int i=0;i<a;i++)
    {
        scanf("%d%d%d",&u,&v,&w);
        add_edge(u,v,w);
    }
    for(int i=0;i<b;i++)
    {
        scanf("%d%d%d",&u,&v,&w);
        add_edge(v,u,-w);
    }
    spfa();
    return 0;
}