Layout POJ - 3169 差分约束spfa

第一道差分约束的题
**题意：**像其他人一样，奶牛在排队饲料时喜欢靠近他们的朋友。 FJ有N（2 <= N <= 1,000）个编号为1…N的奶牛从左到右按照编号从小到大站在一条直线上等待饲料。牛的数量与它们的编号相同，因为它们可能相当具有挑战性，所以有可能两头或多头奶牛可以在同一位置排队（也就是说，如果我们将每只奶牛看作是位于在数字线上的某个坐标上，那么两个或更多的母牛可以共享相同的坐标）。

一些奶牛喜欢彼此，并希望彼此在一定距离内排队。有些人真的不喜欢对方，并希望至少隔开一定的距离。 ML（1 <= ML <= 10,000）约束的列表描述了哪些母牛彼此相似以及它们可以被分开的最大距离; MD约束的后续列表（1 <= MD <= 10,000）告诉哪些母牛不喜欢彼此以及它们必须被分开的最小距离。
输入 第1行：三个空格分隔的整数：N，ML和MD。

第2行ML + 1：每行包含三个空格分隔的正整数：A，B和D，其中1 <= A <B <= N.奶牛A和B必须至多D（1 <= D <= 1,000,000）。

ML + 2…ML + MD + 1行：每行包含三个空格分隔的正整数：A，B和D，其中1 <= A <B <= N.奶牛A和B必须至少为D 1 <= D <= 1,000,000）。
输出 第1行：一个整数。如果不能排队，则输出-1。如果母牛1和N可以任意分开，输出-2。否则输出母牛1和N之间的最大可能距离。
如果可能，您的工作是计算母牛1和母牛N之间满足距离约束的最大可能距离。
思路：
对于想挨着的牛i,牛j以及最远距离b addedge(i,j,b)
对于厌烦的牛i牛j以及最近距离b addedge(j,i,-b);
跑SPFA，不能排队是有环；无限距离是inf 最大距离是dis【n】

#include<iostream>
#include<cstdio>
#include<queue>
#include<string.h>
#define ll long long
#define inf 0x3f3f3f3f
using namespace std;
const int maxn=1e5+5;
struct Edge{
	int next,to,val;
}edge[maxn];
int head[maxn],cnt=1,n,m,book[maxn],dis[maxn];
void addedge(int u,int v,int val)
{
	edge[cnt].to=v;
	edge[cnt].val=val;
	edge[cnt].next=head[u];
	head[u]=cnt++;
}
int cntt[maxn];
int spfa()
{
	memset(book,0,sizeof(book));
	memset(dis,inf,sizeof dis);
	queue<int> q;
	q.push(1);
	book[1]=1;
	dis[1]=0;
	while(!q.empty())
	{
		int temp=q.front();
		q.pop();
		book[temp]=0;
		for(int i=head[temp];i;i=edge[i].next)
		{
			int v=edge[i].to;
			if(dis[v]>dis[temp]+edge[i].val)
			{
				dis[v]=dis[temp]+edge[i].val;
				cntt[v]=cntt[temp]+1;
				if(cntt[temp]>=n)
					return -1;
				if(!book[v])
				{
					q.push(v);
					book[v]=1;
				}
			}
		}
	}
	if(dis[n]==inf)
		return -2;
	else return dis[n];
}
int main()
{
	int l,d;
	scanf("%d%d%d",&n,&l,&d);
	for(int i=0;i<l;i++)
	{
		int a,b,c;
		scanf("%d%d%d",&a,&b,&c);
		addedge(a,b,c);
	}
	for(int i=0;i<d;i++)
	{
		int a,b,c;
		scanf("%d%d%d",&a,&b,&c);
		addedge(b,a,-c);
	}
	printf("%d",spfa());
	return 0;
}