1731: [Usaco2005 dec]Layout 排队布局
题意：
n头奶牛在数轴上，不同奶牛可以在同个位置处，编号小的奶牛必须在前面。m条关系，一种是两头奶牛距离必须超过d，一种是两头奶牛距离不能超过d。要求：如果不存在情况满足要求则输出-1，奶牛1到n的距离可以为无限大输出-2，否则输出1到n的最大距离。
题解：
差分约束系统。注意：如果是求最大值，则定义限制条件设定为≤并跑最短路，因为得到的是满足条件的最大值，如果是求最小值，则定义限制条件设定为≥并跑最长路，因为得到的是满足条件的最小值。因此按关系两边同时编号大的要向编号小的连边，之后求最短路：若存在负环输出-1，最短路为无限大输出-2，否则输出最短路。
代码：
1 #include <cstdio> 2 #include <cstring> 3 #include <algorithm> 4 #include <queue> 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<int>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]<d[q.front()])q.push_front(es[i].t);else q.push_back(es[i].t); 30 inq[es[i].t]=1; cnt[es[i].t]++; if(cnt[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