POJ3169 Layout (差分约束)

题意：
一些牛按序号排成一条直线，相邻的两头牛可以站在同一个点。有两种要求，A和B距离不得超过X，还有一种是C和D距离不得少于Y，问可能的最大距离。如果没有输出-1，如果可以随便排输出-2，否则输出最大的距离。
思路：
对于第一种
B - A <=X
第二种有
D - C >=Y也就是 C-D<=-Y
还有就是题目要求的是按照序号升序排。
然后又不等式3 ：　　S[ i ] - S[ i-1 ] >=0 也就是 S[ i-1 ] - S[ i ]<=0
还有就是要求最短路。
建完图后SPFA即可。（有负环说明无解输出-1 ， 1与n不连通说明可以随意摆放，没有约束嘛。输出-2，否则输出dis [n]）

#include<stdio.h>
#include<string.h>
#include<iostream>
#include<algorithm>
#include<queue>
using namespace std;
#define INF 0x3f3f3f3f
const int MAXN=1e3+7;
const int MAXM=2e4+7;
struct node
{
    int to,next,v;//其中edge[i].to表示第i条边的终点,edge[i].next表示与第i条边同起点的下一条边的存储位置,edge[i].w为边权值.
}Edge[MAXM];//Edge保持m条边的个数 
int head[MAXM];
int dis[MAXN];
int num[MAXN];
bool vis[MAXN];
int n,l,d,tot;//head和dis保持n个点 
void add_edge(int a,int b,int c)
{
    Edge[++tot].to=b;
    Edge[tot].v=c;
    Edge[tot].next=head[a];
    head[a]=tot;
}             
int SPFA(int s)
{
    queue<int>q;
    int k,to,v;
    memset(num,0,sizeof(num));
    memset(vis,false,sizeof(vis));
    for(int i=1;i<=n;i++)
    dis[i]=INF;
    dis[s]=0;
    q.push(s);
    vis[s]=1;//加入队列并标记
    while(!q.empty())
    {
        k=q.front();
        q.pop();
        vis[k]=0;//弹出队列并取消标记
        for(int i=head[k];i!=-1;i=Edge[i].next)
        {
            to=Edge[i].to;
            v=Edge[i].v;
            if(dis[k]+v<dis[to])
            {
                dis[to]=dis[k]+v;
                if(!vis[to])//判断这个点是否在队列里面，如果不在加入队列 
                {
                    vis[to]=1;
                    q.push(to);
                    num[to]++;
                    if(num[to]>n)//判断是否成环 
                    return 0;
                }
            }
        }
    }
    return 1;
}
int main()
{
    while(~scanf("%d%d%d",&n,&l,&d))
    {
        memset(head,-1,sizeof(head));
        tot=1;
        for(int i=2;i<=n;i++)//一开始，S[ i ] - S[ i-1 ] >=0  ,转换为 dis[i-1]-dis[i] <= 0
        add_edge(i,i-1,0);
        for(int i=1;i<=l;i++)//B - A <=X，转换为 dis[v] - dis[u] <= k
        {
            int u,v,w;
            scanf("%d%d%d",&u,&v,&w);
            add_edge(u,v,w);
        }
        for(int i=1;i<=d;i++)//D - C >=Y，转换为 dis[u] - dis[v] <= - k
        {
            int u,v,w;
            scanf("%d%d%d",&u,&v,&w);
            add_edge(v,u,-w);           
        }
        if(SPFA(1)==0)
        printf("-1\n");
        else if(dis[n]>=INF)
        printf("-2\n");
        else
        printf("%d\n",dis[n]);
    }
    return 0;
}