POJ 1364 King(差分约束)

题目大意：给定n个点,m行信息，接下来每行有4个变量a,b,str,c;
a代表Sa,b为在a的基础上的移动量即Sa+b,str有两种分别为lt（<）和gt(>),
c代表限制量。

思路：此种为区间形式的差分约束，所以建图的时候注意后移(前移)，然后建立源点。可用最短路判负权环，有不等式Sa+b-Sa>c(Sa+b-Sa>=c+1系统中都是有等号的，统一化成Sx<=Sy+c的形式即可（保证最短路可求负环）)。

//#include<map>
//#include<queue>
//#include<cmath>
//#include<iostream>
//#include<cstdio>
//#include<stack>
//#include<cstring>
//#include<string>
//#include<algorithm>
//#define inf 0x3f3f3f3f
//using namespace std;
//struct node{
//    int to,w,next;
//}q[1010*4];
//int head[1000*4],dis[110],n,qu[1100*4],f[110],cnt;
//bool vis[110];
//void add(int a,int b,int c){
//    q[cnt].to=b;
//    q[cnt].w=c;
//    q[cnt].next=head[a];
//    head[a]=cnt++;
//}
//bool SPFA(){
//    for(int i=0;i<=n+1;i++){
//        vis[i]=false;
//        dis[i]=inf;
//        f[i]=0;
//    }
//    dis[n+1]=0;
//    vis[n+1]=true;
//    int f1=0;
//    qu[f1++]=n+1;
//    while(f1>0){
//        int u=qu[--f1];
//        vis[u]=false;
//        f[u]++;
//        if(f[u]>n) return false;
//        for(int i=head[u];~i;i=q[i].next){
//            int v=q[i].to;
//            if(dis[v]>dis[u]+q[i].w){
//                dis[v]=dis[u]+q[i].w;
//                if(!vis[v]){
//                    vis[v]=true;
//                    qu[f1++]=v;
//                }
//            }
//        }
//    }
//    return true;
//}
//
//int main(){
//    int m,i,j,k,a,b,c;
//    string str;
//    while(~scanf("%d",&n)&&n){
//        scanf("%d",&m);
//        cnt=0;
//        memset(head,-1,sizeof(head));
//        for(i=0;i<m;i++){
//            scanf("%d%d",&a,&b);
//            cin>>str;
//            scanf("%d",&c);
//            if(str=="gt"){
//                add(a+b,a-1,-(c+1) );
//            }
//            else if(str=="lt"){
//                add(a-1,a+b,c-1);
//            }
//        }
//        for(i=1;i<=n;i++){
//            add(n+1,i,0);
//        }
//        bool p=SPFA();
//        if(!p)
//            puts("successful conspiracy");
//        else
//            puts("lamentable kingdom");
//    }
//    return 0;
//}



#include<map>
#include<queue>
#include<cmath>
#include<iostream>
#include<cstdio>
#include<stack>
#include<cstring>
#include<algorithm>
#define inf 0x3f3f3f3f
using namespace std;

struct node{
    int to,w,next;
}q[1010*4];
int head[1000*4],dis[110],n,qu[1100*4],f[110],cnt;
bool vis[110];
void add(int a,int b,int c){
    q[cnt].to=b;
    q[cnt].w=c;
    q[cnt].next=head[a];
    head[a]=cnt++;
}
bool SPFA(){
    for(int i=0;i<=n+1;i++){
        vis[i]=false;
        dis[i]=inf;
        f[i]=0;
    }
    dis[0]=0;
    vis[0]=true;
    int f1=0;
    qu[f1++]=0;
    while(f1>0){
        int u=qu[--f1];
        vis[u]=false;
        f[u]++;
        if(f[u]>n) return false;
        for(int i=head[u];~i;i=q[i].next){
            int v=q[i].to;
            if(dis[v]>dis[u]+q[i].w){
                dis[v]=dis[u]+q[i].w;
                if(!vis[v]){
                    vis[v]=true;
                    qu[f1++]=v;
                }
            }
        }
    }
    return true;
}

int main(){
    int m,i,j,k,a,b,c;
    string str;
    while(~scanf("%d",&n)&&n){
        scanf("%d",&m);
        cnt=0;
        memset(head,-1,sizeof(head));
        for(i=0;i<m;i++){
            scanf("%d%d",&a,&b);
            cin>>str;
            scanf("%d",&c);
            if(str=="gt"){
                add(a+b+1,a,-c-1);
            }
            else if(str=="lt"){
                add(a,a+b+1,c-1);
            }
        }
        for(i=1;i<=n+1;i++){
            add(0,i,0);
        }
        bool p=SPFA();
        if(!p)
            puts("successful conspiracy");
        else
            puts("lamentable kingdom");
    }
    return 0;
}