//差分约束系统 //题意相当晦涩,看了好半天才大概知道个什么 //对题目中给定的si,ni,ki,和一个给定的序列S[1....N] //如果(si,ni,gt,ki),意思就是存在约束条件S[si]+S[si+1]+...S[si+ni] > ki //如果(si,ni,lt,ki),意思就是存在约束条件S[si]+S[si+1]+...S[si+ni] < ki //判断所给的约束条件有无解,有解就输出lamentable kingdom,无解就输出successful conspiracy //为了将这些约束条件转化为差分约束,不妨设T[x] = S[1]+S[2]+....S[x]; //那么上面两条式子就可以转化为 //T[si+ni] - T[si-1] > ki //T[si+ni] - T[si-1] < ki //又差分约束系统的求解只能针对>=或<=,无法求解>的系统,还好ki是整数,可以很容易将<转化为<= //T[si-1] - T[si+ni] <= -ki - 1 //T[si+ni] - T[si-1] <= ki - 1 //剩下的就是普通的差分约束系统的求解了,A了这道题,学会了一种无需建立超级源点的SPFA解法 //在SPFA开始时将所有结点都放进队列,这样表示一开始和所有点都相连了,初始化dis数组为全0,相当于超级源点的边权值 //总结:1、小于和小于等于关系的转化 2、超级源点的另一种建法 #include<iostream> #include<queue> #define MAXN 105 #define MAXM 400 using namespace std; bool inq[MAXN]; int dis[MAXN],cnt[MAXN]; int head[MAXN],V[MAXM],W[MAXM],next[MAXM]; int m,N,M,si,ni,ki; char o[2]; void addEdge(int u,int v,int w) { V[m] = v; W[m] = w; next[m] = head[u]; head[u] = m++; } void buildGraph() { m = 0; memset(head,-1,sizeof(head)); while(M--) { scanf("%d%d%s%d",&si,∋,o,&ki); if(o[0] == 'g') addEdge(si+ni,si-1,-ki-1); else addEdge(si-1,si+ni,ki-1); } } bool SPFA() { queue<int> q; memset(inq,true,sizeof(inq)); memset(cnt,0,sizeof(cnt)); memset(dis,0,sizeof(dis));//初始化dis全0 for(int i = 0;i <= N;++i) q.push(i);//把所有结点放进队列中 while(!q.empty()) { int u = q.front(); q.pop(); inq[u] = 0; for(int e = head[u];e != -1;e = next[e]) { if(dis[u] + W[e] < dis[V[e]]) { dis[V[e]] = dis[u] + W[e]; if(!inq[V[e]]) { q.push(V[e]); inq[V[e]] = 1; if(++cnt[V[e]] > N) return 0;//注意这里的入队次数,不包括一开始把所有结点塞进队列的那一次 } } } } return 1;//当前差分约束系统有解 } int main() { //freopen("in.txt","r",stdin); while(scanf("%d%d",&N,&M) && N) { buildGraph(); if(SPFA()) printf("lamentable kingdom/n"); else printf("successful conspiracy/n"); } return 0; }