【题意】给定按编号顺序站成一排的牛，给定一些约束条件如两牛距离不小于或不大于某个值，求1和n的最大距离。无解输出-1，无穷解输出-2。

【算法】差分约束+最短路

【题解】图中有三个约束条件，依次分析：

①坐标顺序和编号顺序一致【一定一定要记得这个约束条件】

x_i-x_i-1>=0

i向-1连边0

②两牛距离不大于距离L

x_j-x_i<=L

i向j连边L

③两牛距离不小于距离D

x_j-x_i>=D即x_i-x_j<=-D

j向i连边-D

 

连边完毕，通过跑最短路得到起点和终点的直接约束x_T-x_S<=d，d就是1到n的最大值。

注意循环队列while(head!=tail)

检测负环可以用【点的入队次数>n】和【到点步数>n】两种方法。一起用也资瓷=w=。

#include
      
       #include
       
        #include
        
         using namespace std;const int maxn=1010;int n,m,k,tot=0;int first[maxn],step[maxn],q[maxn],d[maxn];bool vis[maxn];struct edge{
    int v,w,from;}e[maxn*maxn];void insert(int u,int v,int w){tot++;e[tot].v=v;e[tot].w=w;e[tot].from=first[u];first[u]=tot;}bool spfa(){    memset(d,0x3f,sizeof(d));    memset(vis,0,sizeof(vis));    int head=0,tail=1;    q[head]=1;vis[1]=1;d[1]=0;    bool p=1;    while(head!=tail){
    //        int x=q[head++];if(head>n)head=0;        for(int i=first[x];i;i=e[i].from)if(d[x]+e[i].w
         
          n){p=0;break;}            if(!vis[e[i].v]){                if(d[e[i].v]
          
           <0)head=n;q[head]=e[i].v;}                else{q[tail++]=e[i].v;if(tail>n)tail=0;}                vis[e[i].v]=1;            }        }        vis[x]=0;    }    return p;}            int main(){    scanf("%d%d%d",&n,&m,&k);    int u,v,w;    for(int i=2;i<=n;i++)insert(i,i-1,0);    for(int i=1;i<=m;i++){        scanf("%d%d%d",&u,&v,&w);        if(u>v)swap(u,v);        insert(u,v,w);    }    for(int i=1;i<=k;i++){        scanf("%d%d%d",&u,&v,&w);        if(u>v)swap(u,v);        insert(v,u,-w);    }    if(spfa()){        if(d[n]==0x3f3f3f3f)printf("-2");else printf("%d",d[n]);    }else printf("-1");    return 0;}