【POJ 3169】Layout

1.题目链接。题目大意：有n头牛，他们排成一排，但是两头牛之间的距离需要满足一些约束条件，求一下在同时满足这些约束条件的情况下，第一头牛到第n头牛距离的最大值。

2.其实这个题目转化一下就是给了一堆不等式组：c1<=x1-x0<=c2,c3<=x2-x1<=c4......然后在这种条件下，求xn-x1得最大值。这是一个差分约束系统，解决这种问题就是转化为最短路问题（或者最长路问题）。把不等式全部整理成    xi-xj<=c的形式，然后对（i,j)这两个点连一条边权为c的边。但是这里面会存在负边，当这个图存在环的时候，是不存在对短路的，当发现最短路是INF，说明可以是无限长。这时候DJ就不合适了，用BellmanFord或者SPFA。在使用SPFA时，如果一个点进出队列超过总点数，说明存在环路。这是很好理解的。

#include<stdio.h>
#include<iostream>
#include<algorithm>
#include<string.h>
using namespace std;

const int MAXN = 1010;
const int MAXE = 20020;
const int INF = 0x3f3f3f3f;
int head[MAXN];//每个结点的头指针
int vis[MAXN];//在队列标志
int cnt[MAXN];//每个点的入队列次数
int que[MAXN];//SPFA循环指针
int dist[MAXN];

struct Edge
{
	int to;
	int v;
	int next;
}edge[MAXE];
int tol;
void add(int a, int b, int v)//加边
{
	edge[tol].to = b;
	edge[tol].v = v;
	edge[tol].next = head[a];
	head[a] = tol++;
}
bool SPFA(int start, int n)
{
	int front = 0, rear = 0;
	for (int v = 1; v <= n; v++)//初始化
	{
		if (v == start)
		{
			que[rear++] = v;
			vis[v] = true;
			cnt[v] = 1;
			dist[v] = 0;
		}
		else
		{
			vis[v] = false;
			cnt[v] = 0;
			dist[v] = INF;
		}
	}
	while (front != rear)
	{
		int u = que[front++];
		vis[u] = false;
		if (front >= MAXN)front = 0;
		for (int i = head[u]; i != -1; i = edge[i].next)
		{
			int v = edge[i].to;
			if (dist[v] > dist[u] + edge[i].v)
			{
				dist[v] = dist[u] + edge[i].v;
				if (!vis[v])
				{
					vis[v] = true;
					que[rear++] = v;
					if (rear >= MAXN)rear = 0;
					if (++cnt[v] > n) return false;
					//cnt[i]为入队列次数，用来判断是否存在负环回来
					//这条好像放在这个if外面也可以？？
				}
			}
		}
	}
	return true;
}
int main()
{
	int n, ML, MD;//最小最大约束
	while (~scanf("%d%d%d", &n, &ML, &MD))
	{
		tol = 0;
		memset(head, -1, sizeof(head));
		while (ML--)
		{
			int a, b, c;
			scanf("%d%d%d", &a, &b, &c);
			if (a > b)swap(a, b);
			/*
			    这里的加边顺序是：
				大-小>=c
				有向边：(小，大，c)
			*/
			add(a, b, c);
		}
		while (MD--)
		{
			int a, b, c;
			scanf("%d%d%d", &a, &b, &c);
			if (a<b)swap(a, b);
			/*
			  这里的加边的顺序是：大-小>=c
			  有向边：(大，小）：-c
			*/
			add(a, b, -c);
		}
		if (!SPFA(1, n))printf("-1\n");
		else if (dist[n] == INF)printf("-2\n");
		else
		{
			printf("%d\n", dist[n]);
		}
	}
}