POJ 1364 差分约束

解题的思路比较奇葩。第一次见到啊，也不知道别人是怎么看出来这种情况下就是差分约束也就是可以用到图论，表示真的好迷啊。看来对差分约束的概念还很差呢。。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
#include<stack>

using namespace std;

const int maxn=10005;
const int INF=10000000;
int n,m,si,ni,ki;
char o[5];
int vis[maxn],d[maxn];

struct Edge
{
    int v,w,nexts;
}edge[maxn];
int head[maxn],ins[maxn];
int cnt;

void init()
{
    cnt=0;
    memset(head,-1,sizeof(head));
    memset(vis,0,sizeof(vis));
    memset(d,0,sizeof(d));
}

void add_edge(int u,int v,int w)
{
    Edge p;
    p.v=v;
    p.w=w;
    p.nexts=head[u];
    edge[cnt]=p;
    head[u]=cnt++;
}

int SPFA()
{
    stack<int> q;
    for(int i=0;i<=n+1;i++)
    {
        d[i]=INF;
        ins[i]=0;
        vis[i]=0;
    }
     q.push(n+1);
     d[n+1]=0;
     ins[n+1]++;
     while(!q.empty())
     {
         int pre=q.top();
         q.pop();
         vis[pre]=0;
         for(int i=head[pre];i!=-1;i=edge[i].nexts)
         {
             int u=pre;
             int v=edge[i].v;
             int w=edge[i].w;
             if(d[v]>d[u]+w)
             {
                 d[v]=d[u]+w;
                 if(!vis[v])
                 {
                     vis[v]=1;
                     if(++ins[v]>n)
                        return -1;
                      q.push(v);
                 }
             }
         }
     }
      return 1;
}


int main()
{
    while(scanf("%d",&n)!=EOF)
    {
        if(!n)
            break;
          init();
        scanf("%d",&m);
        for(int i=1;i<=m;i++)
        {
            scanf("%d%d",&si,&ni);
            getchar();
            scanf("%s",o);
            scanf("%d",&ki);
           if(o[0]=='g')
            add_edge(si+ni,si-1,-ki-1);
           else
            add_edge(si-1,si+ni,ki-1);
        }
        for(int i=0;i<=n;i++)//建立n+1为连接所以的点为连通图的特殊结点
            add_edge(n+1,i,0);
         int ans=SPFA();
          if(ans==-1)
            printf("successful conspiracy\n");
          else
            printf("lamentable kingdom\n");
    }
    return 0;
}