bzoj 1731: [Usaco2005 dec]Layout 排队布局【差分约束】

差分约束裸题，用了比较蠢的方法，先dfs_spfa判负环，再bfs_spfa跑最短路
注意到“奶牛排在队伍中的顺序和它们的编号是相同的”，所以\( d_i-d_{i-1}>=0 \),连(i,i-1,0)；然后对于\( d_i-d_j<=L \)，连(j,i,L)；对于\( d_i-d_j>=D --> d_j-d_i<=-D \)，连（i,j,-D）
然后先判负环再跑最短路即可

#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int N=100005,inf=1e9;
int n,l,d,h[N],cnt,dis[N];
bool v[N],flg;
struct qwe
{int ne,to,va;
}e[N*3];
int read()
{int r=0,f=1;char p=getchar();while(p>'9'||p<'0'){if(p=='-')f=-1;p=getchar();}while(p>='0'&&p<='9'){r=r*10+p-48;p=getchar();}return r*f;
}
void add(int u,int v,int w)
{cnt++;e[cnt].ne=h[u];e[cnt].to=v;e[cnt].va=w;h[u]=cnt;
}
void spfa(int u)
{if(flg)return;v[u]=1;for(int i=h[u];i;i=e[i].ne)if(dis[e[i].to]>dis[u]+e[i].va){if(v[e[i].to]){flg=1;return;}else{dis[e[i].to]=dis[u]+e[i].va;spfa(e[i].to);}}v[u]=0;
}
int main()
{n=read(),l=read(),d=read();for(int i=1;i<=l;i++){int x=read(),y=read(),z=read();add(x,y,z);}for(int i=1;i<=d;i++){int x=read(),y=read(),z=read();add(y,x,-z);}for(int i=2;i<=n;i++)add(i,i-1,0);for(int i=1;i<=n&&!flg;i++)spfa(i);if(flg){puts("-1");return 0;}memset(v,0,sizeof(v));for(int i=1;i<=n;i++)dis[i]=inf;queue<int>q;v[1]=1,dis[1]=0,q.push(1);while(!q.empty()){int u=q.front();q.pop();v[u]=0;for(int i=h[u];i;i=e[i].ne)if(dis[e[i].to]>dis[u]+e[i].va){dis[e[i].to]=dis[u]+e[i].va;if(!v[e[i].to]){v[e[i].to]=1;q.push(e[i].to);}}}printf("%d\n",dis[n]==inf?-2:dis[n]);return 0;
}