【bzoj1731】[Usaco2005 dec]Layout 排队布局 差分约束

差分约束的裸题，一开始没有看见“奶牛排在队伍中的顺序和它们的编号是相同的”这句话，所以不知道怎么处理。

最大距离——最短路
记第i头牛的位置为di
di>=di-1
i向i-1连一条权值为0的边
两头牛有好感(i>j)
di-dj<=L
dj+L>=di
j向i连一条权值为L的边
两头牛反感(i>j)
di-dj>=D
di-D>=dj
i向j连一条权值为-D的边
规定d1=0，跑最短路
为什么是最短路？
最短路最后得到的是dn-d1<=a，最长路最后得到的是dn-d1>=b
因为要求dn-d1的最大值，所以要跑最短路

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<iostream>
#include<algorithm>
#define inf 1001000000
#define maxn 200010

using namespace std;

int dis[maxn],len[maxn],to[maxn],next[maxn],head[maxn],cnt[maxn];
int q[maxn];
bool vis[maxn];
int n,m1,m2,num;
bool flag;

void addedge(int x,int y,int z)
{
	num++;to[num]=y;len[num]=z;next[num]=head[x];head[x]=num;
}

void spfa()
{
	for (int i=2;i<=n;i++) dis[i]=inf;dis[1]=0;
	int l=0,r=1;
	q[1]=1;vis[1]=1;cnt[1]=1;
	while (l!=r)
	{
		l++;if (l==maxn) l=0;
		int x=q[l];
		for (int p=head[x];p;p=next[p])
		  if (dis[x]+len[p]<dis[to[p]])
		  {
		  	dis[to[p]]=dis[x]+len[p];
		  	if (!vis[to[p]])
		  	{
		  		if (cnt[to[p]]==n) {flag=1;return;}
		  		r++;if (r==maxn) r=0;
		  		q[r]=to[p];vis[to[p]]=1;cnt[to[p]]++;
		  	}
		  }
		vis[x]=0;
	}
}

int main()
{
	scanf("%d%d%d",&n,&m1,&m2);
	for (int i=1;i<=m1;i++)
	{
		int x,y,z;
		scanf("%d%d%d",&x,&y,&z);
		addedge(x,y,z);
	}
	for (int i=1;i<=m2;i++)
	{
		int x,y,z;
		scanf("%d%d%d",&x,&y,&z);
		addedge(y,x,-z);
	}
	for (int i=2;i<=n;i++) addedge(i,i-1,0);
	spfa();
	if (flag) printf("-1");
	else if (dis[n]==inf) printf("-2");
	else printf("%d\n",dis[n]);
	return 0;
}