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 105int 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");    }}