poj 3169 layout 奶牛站队 差分约束+最短路径SPFA

poj 3169 layout 奶牛站队 差分约束+最短路径SPFA：这一题很难，首先利用差分约束将问题转化为求图上的最短路径问题。

有N (2 <= N <= 1000)头奶牛站在一条直线上等待喂食。如果我们认为每个牛都在数轴上，但可能两个或两个以上的牛可以共享相同的坐标)。有些奶牛喜欢彼此，想在一定距离内排队。有些人真的很不喜欢对方，想要至少隔一段距离。一个ML (1 <= ML <= 10,000)约束列表描述了哪些奶牛喜欢彼此，以及它们可能被分隔的最大距离;随后的MD约束列表(1 <= MD <= 10,000)告诉哪些奶牛不喜欢彼此，以及它们必须分开的最小距离。要求计算奶牛1和奶牛N之间满足距离约束的最大可能距离。

#include<iostream>
#include<cstdio>
#include<queue>
using namespace std;
int times[1010],dist[1010],juzhen[1010][1010];
bool used[1010];
queue<int>a;
int main()
{
	int i,j,n,ml,md,MAX=1000000000;
	scanf("%d%d%d",&n,&ml,&md);
	int u,v,w;
	for(i=1;i<=n;i++)
		for(j=1;j<=n;j++)
		{
			juzhen[i][j]=MAX;
			if(i==j) juzhen[i][j]=0;
		}
			
	for(i=2;i<=n;i++)
		juzhen[i][i-1]=0; 
	for(i=1;i<=n;i++)
		dist[i]=MAX;
	for(i=1;i<=ml;i++)
	{
		scanf("%d%d%d",&u,&v,&w);
		if(u>v)
		{
			int t=u;
			u=v;
			v=t;
		}
		juzhen[u][v]=w;
	 } 
	for(i=1;i<=md;i++)
	{
		scanf("%d%d%d",&u,&v,&w);
		if(u<v)
		{
			int t=u;
			u=v;
			v=t;
		}
		juzhen[u][v]=-w;
	}
	a.push(1);
	used[1]=1;
	times[1]++;
	dist[1]=0;
	int s;
	while(!a.empty())
	{
		s=a.front();
		a.pop();
		used[s]=0;
		for(i=1;i<=n;i++)
			if(dist[i]>dist[s]+juzhen[s][i])
			{
				dist[i]=dist[s]+juzhen[s][i];
				if(!used[i])
				{
					a.push(i);
					times[i]++;
					used[i]=1;
					if(times[i]>=n)
					{
						printf("-1");
						return 0;
					}
						
				}
			}
	}
	if(dist[n]==MAX)
		printf("-2");
	else
		printf("%d",dist[n]);
}
/*4 2 1
1 3 10
2 4 20
2 3 3
*/