题意:有个国王只会加法和比较,大臣为了考验他给了他一个数字序列,然后给出子序列的大小关系,一个子序列的和大于一个数,或小于一个数,问这个序列是否存在。
题解:查了下发现是名叫查分约束类型的题目,可以根据题目给出的不等式建一张图,然后用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;
}