排队布局(差分约束)

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

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

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

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

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

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

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

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

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

输入格式

第一行包含三个整数 N,ML,MDN,ML,MD。

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

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

输出格式

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

数据范围

2≤N≤10002≤N≤1000,
1≤ML,MD≤1041≤ML,MD≤104,
1≤L,D≤1061≤L,D≤106

输入样例：

4 2 1
1 3 10
2 4 20
2 3 3

输出样例：

27

题解:
由于要我们求的有最大值,所以是求最短路,

假设a <= b + c

a >= b + c

建图均为add(b,a,c)

回到本题首先下标大的肯定要大于等于下标小的

1.i <= i + 1

其次两个条件假设a < b

2.b - a <= c

b <= c + a

3.b - a >= c 

a <=b - c

存完图后就是先求有无负环,把所有点存入队列,spfa如果有输出-1

其次如果没,把1存入队列,如果到n的距离不是无穷大,输出dis[n],否则输出-2

#include<iostream>
#include<cstring>
#include<queue>
using namespace std;
#define int long long
const int N = 2e5 + 10;
int e[N],w[N],ne[N],h[N],idx;
int cnt[N],st[N],dis[N];
int n,m1,m2;
void add(int a,int b,int c)
{
    e[idx] = b;
    w[idx] = c;
    ne[idx] = h[a];
    h[a] = idx++;
} 
int spfa(int x)
{
    memset(dis,0x3f,sizeof dis);
    memset(cnt,0,sizeof cnt);
    memset(st,0,sizeof st);
    queue<int>q;
    for(int i = 1;i <= x;i++)
    {
        q.push(i);
        st[i] = 1;
        dis[i] = 0;
    }
    while(q.size())
    {
        int t = q.front();
        q.pop();
        st[t] = 0;
        for(int i = h[t];i != -1;i = ne[i])
        {
            int j = e[i];
            if(dis[j] > dis[t] + w[i])
            {
                dis[j] = dis[t] + w[i];
                cnt[j] = cnt[t] + 1;
                if(cnt[j] >= n)
                return 0;
                if(!st[j])
                {
                    q.push(j);
                    st[j] = 1;
                }
            }
        }
    }
    return 1;
}
signed main()
{
	memset(h,-1,sizeof h);

    cin >> n >> m1 >> m2;
    for(int i = 1;i < n;i++)
    add(i+1,i,0);
    while(m1--)
    {
        int a,b,c;
        cin >> a >> b >> c;
        if(a > b)
        swap(a,b);
        add(a,b,c);
    }
    while(m2--)
    {
        int a,b,c;
        cin >> a >> b >> c;
        if(a > b)
        swap(a,b);
        add(b,a,-c);
    }
    if(!spfa(n))
    cout<<"-1";
    else
    {
        spfa(1);
        if(dis[n] >= 1e18)
        {
            cout <<"-2";
        }
        else
        cout<<dis[n];
    }
}