uva 515 - King(差分约时系统）

题目链接：uva 515 - King

实在不懂什么是差时约分系统，不过大概了解是说建完图之后不能存在负环（既要最短路），如果存在负环的话，两个sum之间就不存在一个稳定的关系。参考题解。

#include <stdio.h>
#include <string.h>
#include <vector>
#include <queue>

using namespace std;

const int N = 105;
const int INF = 0x3f3f3f3f;

int n, m, tmp;
vector< pair<int, int> > v
;

void init() {
scanf("%d", &m);
tmp = n + 1;

v[tmp].clear();
for (int i = 0; i < tmp; i++)
v[i].clear(), v[tmp].push_back( make_pair(i, 0) );

int s, t, k;
char ch
;

for (int i = 0; i < m; i++) {
scanf("%d%d%s%d", &s, &t, ch, &k);
if (strcmp(ch, "gt") == 0) {
v[s + t].push_back( make_pair(s - 1, -k -1) );
} else {
v[s - 1].push_back( make_pair(s + t, k -1) );
}
}
}

bool spfa() {
int u, w, s, t;
int vis
, d
, c
;
queue<int> q;
memset(vis, 0, sizeof(vis));
memset(c, 0, sizeof(c));
memset(d, INF, sizeof(d));

d[tmp] = 0; vis[tmp] = 1, c[tmp] = 1;
q.push(tmp);

while ( !q.empty() ) {
u = q.front(); q.pop();
vis[u] = 0;

t = v[u].size();
for (int i = 0; i < t; i++) {
s = v[u][i].first, w = v[u][i].second;

if (d[s] > d[u] + w) {
d[s] = d[u] + w;
c[s]++;

if (c[s] > tmp + 1) return false;

if ( !vis[s] ) {
q.push(s);
vis[s] = 1;
}
}
}
}

return true;
}

int main () {

while (scanf("%d", &n) == 1 && n) {
init();
printf("%s\n", spfa() ? "lamentable kingdom" : "successful conspiracy");
}
return 0;
}