差分约束和最短路，BF算法poj3169

题意：要把n个牛排成一行，有一些牛之间的距离不能大于d，有一些牛之间的距离不能小于d。问1到n的最大距离是多少。

讲解差分约束和最短路的博客：膜拜大佬

松弛操作：

 if(d[u] + w(u, v) < d[v]) {
        d[v] = d[u] + w(u, v);
    }

对于d[v]-d[u]<=w(u,v)，要求这个约束下的解，就是要求d[v]-d[u]的最大值，即w(u,v)的最小值。

变形为：d[u]+w[u,v]>=d[v]，与松弛操作的条件相反，松弛操作要使得d[u]+w(u,v)>=d[v]，所以这样两者变为一致的。

两头牛之间的距离不能大于d，表达为：d[v]-d[u]<=d。，在u和v之间建立一条权值为d的边

两头牛之间的距离不能小于d，表达为：d[v]-d[u]>=d，变形为：d[u]-d[v]<=-d；在v和u之间建立一条权值为-d的边

 

#pragma warning(disable:4996)
#include <cstring>
#include<cstdio>
#include <algorithm>
#include<iostream>
#include<cmath>
#include<queue>
#include<set>
#include<vector>
#include<stack>
using namespace std;
typedef long long ll;
const int inf = INT_MAX;
const int maxn = 20005;
struct  node
{
	int u, v, w;
};
node edge[maxn];
int n, m, cnt,dis[maxn];
//加边
void add(int u, int v, int w)
{
	edge[++cnt].u = u;
	edge[cnt].v = v;
	edge[cnt].w = w;
}
//bellman_ford算法
int BF()
{
	int i, j,updated;
	for (i = 1;i <= n;i++)
		dis[i] = inf;
	dis[1] = 0;
	for (i = 1;i <= n;i++)
	{
		updated = 0;
		for (j = 1;j <= m;j++)
		{
			int u = edge[j].u, v = edge[j].v;
			//更新操作
			if ((dis[u] < inf) && (dis[u] + edge[j].w < dis[v]))
			{
				dis[v] = dis[u] + edge[j].w;
				updated = 1;
				//第n次依然更新，说明有负环
				if (i == n)return -1;
			}
		}
		//不再更新，结束循环
		if (updated == 0)break;
	}
	return dis[n];
}
int main()
{
	int i, t1, t2, t3, L, D;
	while (scanf("%d%d%d", &n, &L, &D) == 3)
	{
		m = L + D;
		cnt = 0;
		for (i = 1;i <= L;i++)
		{
			scanf("%d%d%d", &t1, &t2, &t3);
			add(t1, t2, t3);
		}
		for (i = 1;i <= D;i++)
		{
			scanf("%d%d%d", &t1, &t2, &t3);
			//改变起点和终点，以及边权值
			add(t2, t1, -t3);
		}
		int ans = BF();
		if (ans == inf)printf("-2\n");
		else printf("%d\n", ans);
	}
	return 0;
}