POJ3169(差分约束)

题意：有N头牛，这些牛都拥有一个属性x表示其在坐标轴上的坐标。现在给定ML组约束条件表示A、B两头牛坐标之差不能够超过C；MD组约束条件表示A、B两头牛坐标之差不能小于C，现在问1和N号牛之间最长的距离为多大，如果存在则输出最大长度，如果任意输出-2，如果已知条件存在矛盾输出-1。

拿样例来分析

4 2 1
1 3 10
2 4 20
2 3 3
S3 - S1 <= 10     InsertEdge(u,v,w);
S4 - S2 <= 20     InsertEdge(u,v,w);
S3 - S2 >= 3   ==> S2 - S3 <= -3   InsertEdge(v,u,-w);
隐含条件：前一头牛一定在后一头牛前面或者相等的位置 
S(i-1) - Si <= 0     for(int i=1; i<=n; i++)    InsertEdge(i,i-1,0);
最后要求的是 Sn - S1 <= M ，求这个M的值

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <algorithm>
#include <queue>
using namespace std;
#define inf 9999999
#define N 1024
#define M 40000
int dis[N],vis[N],head[N],in[N];
int size,n,m1,m2;
struct Edge
{
    int v,w,next;
    Edge(){}
    Edge(int V,int W,int NEXT):v(V),w(W),next(NEXT){}
}edge[M];
void Init()
{
    size = 0;
    memset(head,-1,sizeof(head));
}
void InsertEdge(int u,int v,int w)
{
    edge[size] = Edge(v,w,head[u]);
    head[u] = size++;
}
bool spfa()
{
    for(int i=0; i<=n; i++)
    {
        vis[i] = 0; dis[i] = inf ; in[i] = 0;
    }
    queue<int> Q;
    while(!Q.empty()) Q.pop();
    vis[1] = 1 ; dis[1] = 0 ; in[1] = 1;
    Q.push(1);
    while(!Q.empty())
    {
        int u = Q.front();
        Q.pop();
        vis[u] = 0;
        for(int i=head[u] ; i!=-1 ; i=edge[i].next)
        {
            int v =edge[i].v;
            if(dis[v] > dis[u] + edge[i].w)
            {
                dis[v] = dis[u] + edge[i].w;
                if(!vis[v])
                {
                    vis[v] = 1;
                    in[v]++;
                    if(in[v]>(n+1)) return 0;
                    Q.push(v);
                }
            }
        }
    }
    return 1;
}
int main()
{
    while(scanf("%d%d%d",&n,&m1,&m2)!=EOF)
    {
        Init();
        int u,v,w;
        for(int i=1; i<=m1; i++)
        {
            scanf("%d%d%d",&u,&v,&w);
            InsertEdge(u,v,w);
        }
        for(int i=1; i<=m2; i++)
        {
            scanf("%d%d%d",&u,&v,&w);
            InsertEdge(v,u,-w);
        }
        for(int i=1; i<=n; i++)
        InsertEdge(i,i-1,0);
        if(!spfa()) printf("-1
");
        else 
        {
            if(dis[n]==inf) printf("-2
");
            else printf("%d
",dis[n]);
        }
    }
    return 0;
}