题意：

n头奶牛在数轴上，不同奶牛可以在同个位置处，编号小的奶牛必须在前面。m条关系，一种是两头奶牛距离必须超过d，一种是两头奶牛距离不能超过d。要求：如果不存在情况满足要求则输出-1，奶牛1到n的距离可以为无限大输出-2，否则输出1到n的最大距离。

题解：

差分约束系统。注意：如果是求最大值，则定义限制条件设定为≤并跑最短路，因为得到的是满足条件的最大值，如果是求最小值，则定义限制条件设定为≥并跑最长路，因为得到的是满足条件的最小值。因此按关系两边同时编号大的要向编号小的连边，之后求最短路：若存在负环输出-1，最短路为无限大输出-2，否则输出最短路。

代码：

1 #include 
     
       2 #include 
      
        3 #include 
       
         4 #include 
        
          5 #define ll long long 6 #define inc(i,j,k) for(int i=j;i<=k;i++) 7 #define maxn 1010 8 #define INF 1e16 9 using namespace std;10 11 inline ll read(){12     char ch=getchar(); ll f=1,x=0;13     while(ch<'0'||ch>'9'){
   if(ch=='-')f=-1; ch=getchar();}14     while(ch>='0'&&ch<='9')x=x*10+ch-'0',ch=getchar();15     return f*x;16 }17 18 struct e{
   int t; ll w; int n;}; e es[maxn*40]; int g[maxn],ess;19 void pe(int f,int t,ll w){es[++ess]=(e){t,w,g[f]}; g[f]=ess;}20 int n,m1,m2,cnt[maxn]; ll d[maxn]; bool inq[maxn]; deque
         
          q;21 ll spfa(){22     memset(inq,0,sizeof(inq)); memset(cnt,0,sizeof(cnt)); inc(i,1,n)d[i]=INF;23     q.push_back(1); inq[1]=1; d[1]=0; cnt[1]=1;24     while(!q.empty()){25         int x=q.front(); q.pop_front(); inq[x]=0;26         for(int i=g[x];i;i=es[i].n)if(d[es[i].t]>d[x]+es[i].w){27             d[es[i].t]=d[x]+es[i].w;28             if(!inq[es[i].t]){29                 if(!q.empty()&&d[es[i].t]
          
           =n)return -1;31 }32 }33 }34 if(d[n]==INF)return -2; return d[n];35 }36 int main(){37 n=read(); m1=read(); m2=read();38 inc(i,1,m1){ int x=read(),y=read(),z=read(); if(x>y)swap(x,y); pe(x,y,z);}39 inc(i,1,m2){ int x=read(),y=read(),z=read(); if(x>y)swap(x,y); pe(y,x,-z);} inc(i,1,n-1)pe(i+1,i,0);40 printf("%lld",spfa()); return 0;41 }
          
         
        
       
      
     

 

20161018