jzoj1295-设计【差分约束系统,最短路】

前言

比赛时有想到是最短路，可是觉得自己的是错的就没做qwq

---

正题

---

大意

有n头牛，坐标分别为$s_1,s_2,s_3...s_n$，保证$s_i\leqslant s_{i+1}$。有$ml$个要求是第$a$头牛和第$b$头牛距离不能超过$D$，然后有$mr$个要求是第$a$头牛和第$b$头牛距离至少为$D$。求第1头和第n头牛之间的最大距离。

---

解题思路

第一个要求就是$a-b\leqslant D$，直接差分约束在a连b权值为D。然后第二种$a+b\geqslant D$就b连a权值-D。

这就是裸差分约束系统，可是我那时候不会

---

代码

#include<cstdio>
#include<queue>
#include<cstring>
#define MN 1010
using namespace std;
queue<int> q;
struct line{
    int to,w,next;
}a[MN*30];
int n,ml,mr,tot,x,y,w,f[MN],ls[MN],len[MN];
bool v[MN];
void addl(int x,int y,int w)
{
    a[++tot].to=y;a[tot].w=w;
    a[tot].next=ls[x];ls[x]=tot;
}
int spfa()//函数如其名就是spfa
{
    memset(f,127/3,sizeof(f));
    q.push(1);v[1]=1;len[1]=1;
    f[1]=0;
    while (!q.empty())
    {
        int x=q.front();
        q.pop();v[x]=0;
        for (int i=ls[x];i;i=a[i].next)
        {
            int y=a[i].to;
            if (f[x]+a[i].w<f[y])
            {
                f[y]=f[x]+a[i].w;
                len[y]=len[x]+1;
                if(len[y]>n) 
                  return -1;
                if (!v[y])
                {
                    v[y]=1;
                    q.push(y);
                }
            }
        }
    }
    if (f[n]>=690563370) return -2;
    return f[n];
}
int main()
{
    scanf("%d%d%d",&n,&ml,&mr);
    for (int i=1;i<=ml;i++)
    {
        scanf("%d%d%d",&x,&y,&w);
        addl(x,y,w);
    }
    for (int i=1;i<=mr;i++)
    {
        scanf("%d%d%d",&x,&y,&w);
        addl(y,x,-w);
    }
    printf("%d",spfa());
}