poj3169（差分约束系统）

题目：点击打开链接

/*
translation:
	n头牛要进食，每两头关系良好的牛要求距离不超过d1，每两头相互讨厌的牛要求距离不小于d2。
	牛从左往右编号1...n。现在给出ml对关系良好的牛以及它们的最大距离，md对相互讨厌的牛以及
	它们的最小距离，求1号牛到n号牛的最大距离。

solution:
	差分约束系统，bellman_ford最短路
	设d[i]表示第i头牛的坐标在d[i]处，则对于关系良好的牛有：d[b] <= d[a]+d1;相互讨厌的
	牛有:d[b] - d >= d[a]。根据于此就可建立差分约束系统来求最短路径。

note:
	1:关于差分约束系统。
	首先要清楚在最短路当中的一个性质：记d[v]表示点v到源点的最短距离，对于每条边{from, to, w}
	有d[from] + w >= d[to]。根据这个性质就可以类比该题。对于d[b] <= d[a]+d1这个关系，
	相当与从a到b连接一条权值为d1的边，对于d[b] - d >= d[a]，可以理解为从b到a连接一条权值-a
	的边。然后求最短路，注意，是最短路！！题目要求1号牛到n号牛的最大距离是在求最短路！！
	2：bellman_ford算法的板子错了！调了好久才发现！！注意改模板！有时候即使题目AC了也不能保证
	这个模板正确！！

date:
	2016.8.30
*/
#include <iostream>
#include <cstdio>
#include <vector>
#include <utility>
#include <cstring>

using namespace std;
const int maxn = 1001;
const int INF = 1e30;

struct Edge {
	int s, e, w;
	Edge(int f_, int t_, int c_) : s(f_), e(t_), w(c_) {}
};
vector<Edge> edges;
int n, ml, md;	//牛的个数，良好关系数量，厌恶关系数量
int dist[maxn];	//从起点到该点的最小距离

int bellman_ford(int v) {
	for( int i = 1; i <= n; ++i)
		dist[i] = INF;

	dist[v] = 0;
	for( int k = 1; k < n; ++k) { //经过不超过k条边
		for( int i = 0;i < edges.size(); ++i) {
			int s = edges[i].s;
			int e = edges[i].e;
			if(dist[s] < INF && dist[s] + edges[i].w < dist[e])	dist[e] = dist[s] + edges[i].w;
		}
	}

	for( int i = 0;i < edges.size(); ++ i) {
		int s = edges[i].s;
		int e = edges[i].e;
		if(dist[s] < INF && dist[s] + edges[i].w < dist[e])	return true;
		//判断有无负圈，如果有返回真，否则返回假。
	}
	return false;
}

int main()
{
	//freopen("in.txt", "r", stdin);
	while(cin >> n >> ml >> md) {
		edges.clear();
		int a, b, val;
		for(int i = 0; i < ml; i++) {
			cin >> a >> b >> val;
			edges.push_back(Edge(a, b, val));
		}
		for(int i = 0; i < md; i++) {
			cin >> a >> b >> val;
			edges.push_back(Edge(b, a, -val));
		}


		if(!bellman_ford(1)) {	//如果无负环
			if(dist[n] >= INF)	cout << "-2\n";
			else				cout << dist[n] << endl;
		}
		else	cout << "-1\n";	//如果有负环，说明肯定没有符合要求的解法
	}
    return 0;
}