uva 515(差分约束)

题意：有个国王只会加法和比较，大臣为了考验他给了他一个数字序列，然后给出子序列的大小关系，一个子序列的和大于一个数，或小于一个数，问这个序列是否存在。

题解：查了下发现是名叫查分约束类型的题目，可以根据题目给出的不等式建一张图，然后用bellman-ford算法计算最短路径，这个算法需要源点保存每个结点到这个点的最短距离到d[]数组，所以自己添加一个源点，并让路的权值都是0，不影响结果而又让图连通。最后发现如果在迭代n + 1次求出最小距离后，再次遍历以此最小距离发现有变化，说明存在负环。

#include <stdio.h>
#include <string.h>
const int N = 105;
const int M = 10000;
const int INF = 0x3f3f3f3f;
int n, m, d[N], v[M], u[M], w[M];
char buf[3];

int main() {
	while (scanf("%d", &n) && n) {
		memset(d, INF, sizeof(d));
		scanf("%d", &m);
		int a, b, c;
		for (int i = 0; i < m; i++) {
			scanf("%d%d%s%d", &a, &b, buf, &c);
			if (strcmp(buf, "lt") == 0) {
				u[i] = a;
				v[i] = a + b + 1;
				w[i] = c - 1;
			}
			else {
				u[i] = a + b + 1;
				v[i] = a;
				w[i] = -c - 1;
			}
		}
		for (int i = 0; i < n; i++) {
			u[m + i] = 0;
			v[m + i] = i + 1;
			w[m + i] = 0;
		}
		m = m + n;
		d[0] = 0;
		for (int k = 0; k < n + 1; k++)
			for (int i = 0; i < m; i++) {
				int x = u[i], y = v[i];
				if (d[x] < INF)
					d[y] = d[y] < d[x] + w[i] ? d[y] : d[x] + w[i];
			}
		int flag = 0;
		for (int i = 0; i < m; i++) {
			int x = u[i], y = v[i];
			if (d[x] < INF) {
				int temp = d[y];
				d[y] = d[y] < d[x] + w[i] ? d[y] : d[x] + w[i];
				if (d[y] != temp) {
					flag = true;
					break;
				}	
			}
		}
		if (flag)
			printf("successful conspiracy\n");
		else
			printf("lamentable kingdom\n");
	}
	return 0;
}