差分约束——排队布局

排队布局

当排队等候喂食时，奶牛喜欢和它们的朋友站得靠近些。

农夫约翰有 N 头奶牛，编号从 1 到 N，沿一条直线站着等候喂食。

奶牛排在队伍中的顺序和它们的编号是相同的。

因为奶牛相当苗条，所以可能有两头或者更多奶牛站在同一位置上。

如果我们想象奶牛是站在一条数轴上的话，允许有两头或更多奶牛拥有相同的横坐标。

一些奶牛相互间存有好感，它们希望两者之间的距离不超过一个给定的数 L。

另一方面，一些奶牛相互间非常反感，它们希望两者间的距离不小于一个给定的数 D。

给出 ML 条关于两头奶牛间有好感的描述，再给出 MD 条关于两头奶牛间存有反感的描述。

你的工作是：如果不存在满足要求的方案，输出-1；如果 1 号奶牛和 N 号奶牛间的距离可以任意大，输出-2；否则，计算出在满足所有要求的情况下，1 号奶牛和 N 号奶牛间可能的最大距离。

输入格式
第一行包含三个整数 N,ML,MD。

接下来 ML 行，每行包含三个正整数 A,B,L，表示奶牛 A 和奶牛 B 至多相隔 L 的距离。

再接下来 MD 行，每行包含三个正整数 A,B,D，表示奶牛 A 和奶牛 B 至少相隔 D 的距离。

输出格式
输出一个整数，如果不存在满足要求的方案，输出-1；如果 1 号奶牛和 N 号奶牛间的距离可以任意大，输出-2；否则，输出在满足所有要求的情况下，1 号奶牛和 N 号奶牛间可能的最大距离。

数据范围
$2\le N\le 1000$,
$1\le ML,MD\le 10^4$,
$1\le L,D\le 10^6$
输入样例：
4 2 1
1 3 10
2 4 20
2 3 3
输出样例：
27

题解：

最大距离那么我们就是求最短路，找的方程式是形如$x_i<=x_j$
所以我们的源点建立在ｎ点上。这道题的不等式还是很好提出来的这里也就不多说了。
我们将ｎ作为源点显然是可以到达任何一个点的。
对于问题１，如果存在负环那么就是输出－１，棘手的是第二个问题，我们将１放入栈中，然后更新距离，如果dis[n]＝ｉｎｆ那么就是－２，否则直接输出dis[n]就是答案了。

#include <bits/stdc++.h>
using namespace std;
const int N=2e3+5,M=3e4+6;
const int inf=0x3f3f3f3f;
int ne[M],head[M],e[M],cnt,w[M],con[M],vis[M];
int n,ml,md,dis[N];
void add(int a,int b,int c)
{
    e[cnt]=b,ne[cnt]=head[a],w[cnt]=c,head[a]=cnt++;
}
bool spfa(int x)
{
    memset(dis,inf,sizeof dis);
    memset(con,0,sizeof con);
    memset(vis,0,sizeof vis);
    stack<int> q;
    dis[x]=0;
    vis[x]=1;
    q.push(x);
    while(!q.empty()){
        int u=q.top(); q.pop();
        vis[u]=0;
        for(int i=head[u];i!=-1;i=ne[i]){
            int j=e[i];
            if(dis[j]>dis[u]+w[i]){
                dis[j]=dis[u]+w[i];
                con[j]=con[u]+1;
                if(con[j]>=n) return 0;
                if(!vis[j]){
                    vis[j]=1;
                    q.push(j);
                }
            }
        }
    }
    return 1;
}
int main()
{
    cin>>n>>ml>>md;
    memset(head,-1,sizeof head);
    for(int i=1;i<n;i++) add(i+1,i,0);
    while(ml--){
        int a,b,c; cin>>a>>b>>c;
        if(a>b) swap(a,b);
        add(a,b,c);
    }
    while(md--){
        int a,b,c; cin>>a>>b>>c;
        if(a>b) swap(a,b);
        add(b,a,-c);
    }
    if(!spfa(n)) puts("-1");
    else{
        spfa(1);
        if(dis[n]==inf) cout<<-2<<endl;
        else cout<<dis[n]<<endl;
    }
}