POJ 1364 King（差分约束）#by zh

又是一道差分约束题，题意就没看懂郁闷……看半天没看明白到底是哪几个相加又习惯性的去看了题解，发现是把那个集合中的几个元素加起来，其实这道题和之前做的那道差分约束题差不多，只是这道题没有保证连通性，所以需要加入一个超源点来保证图的连通性，其实就是选出一个点n+1为超源点，从这点向其他点连一条权值为0的边，其实直接可以把所有点都加入队列，并把dis数组都初始化为0。这题的不等关系给的还是很清楚的，就是要处理一下符号的问题题目给的是大于或者小于，要-1以后转换成小于等于建图，spfa判断是否存在环就行了。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <queue>
using namespace std;
#define MAXN 105
int n,m,dis[MAXN],ind[MAXN];
bool vis[MAXN];
struct Node
{
    int v,w;
};
vector<Node> g[MAXN];
bool spfa()
{
    memset(dis,0,sizeof(dis));
    memset(ind,0,sizeof(ind));
    queue<int> q;
    for(int i=0;i<=n;i++)
    {
        q.push(i);
        //vis[i]=true;
    }
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        vis[u]=false;
        for(int i=0;i<g[u].size();i++)
        {
            int v=g[u][i].v,w=g[u][i].w;
            if(dis[v]>dis[u]+w)
            {
                dis[v]=dis[u]+w;
                if(!vis[v])
                {
                    vis[v]=true;
                    q.push(v);
                    ind[v]++;
                    if(ind[v]>n)
                        return false;
                }
            }
        }
    }
    return true;
}
int main()
{
    while(scanf("%d",&n),n)
    {
        for(int i=0;i<=n;i++)
        {
            g[i].clear();
        }
        scanf("%d",&m);
        while(m--)
        {
            int si,ni,ki;
            char str[5];
            scanf("%d%d%s%d",&si,&ni,str,&ki);
            if(str[0]=='g')
            {
                Node temp;
                temp.v=si-1;
                temp.w=-ki-1;
                g[si+ni].push_back(temp);
            }
            else
            {
                Node temp;
                temp.v=si+ni;
                temp.w=ki-1;
                g[si-1].push_back(temp);
            }
        }
        if(spfa())
            printf("lamentable kingdom\n");
        else printf("successful conspiracy\n");
    }
}