poj1364 差分约束

//差分约束系统
//题意相当晦涩，看了好半天才大概知道个什么
//对题目中给定的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>
#include<memory.h>
#include<stdio.h>
#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,&ni,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",&N)!=EOF)
 {
     if(N==0)
     break;
     scanf("%d",&M);
  buildGraph();
  if(SPFA()) printf("lamentable kingdom\n");
  else printf("successful conspiracy\n");
 }
 return 0;
}