poj 1364 King（差分约束）

题意（真坑）：傻国王只会求和，以及比较大小。阴谋家们想推翻他，于是想坑他，上交了一串长度为n的序列a[1],a[2]...a[n]，国王作出m条形如(a[si]+a[si+1]+...+a[si+ni])>k（或<k）的批示，结果发现批错了，问是否存在一个满足不等式组的序列a[1]...a[n]，好让国王借口自己看错了。

因为是求是否存在，即判环，没有要求最大还是最小，所以最长路、最短路都可以解决。

注意:

1、总点数，若不加源点而采用把所有点入队，总点数==n+1；否则，总点数==n+2。这影响到cnt[]>n还是cnt[]>(n+1)。

2、差分约束求解的是>=以及<=的问题，这里的>(或<)可以变化一下，>k等价于>=(k+1)。

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define clr(a,m) memset(a,m,sizeof(a))
using namespace std;

const int MAXN=111;//经尝试，MAXN==49就能过，poj的数据真水
const int INF =MAXN;

struct Edge{
    int v,c,next;
    Edge(){}
    Edge(int _v,int _c,int _next):v(_v),c(_c),next(_next){}
}edge[MAXN<<2];

int head[MAXN],tol;
int d[MAXN],inq[MAXN],cnt[MAXN];

void init()
{
    tol=0;
    clr(head,-1);
}

void add(int u,int v,int c)
{
    edge[tol]=Edge(v,c,head[u]);
    head[u]=tol++;
}

int SPFA(int n)
{
    queue<int>q;
    clr(cnt,0);
    rep(i,0,n){
        d[i]=0;
        inq[i]=true;
        q.push(i);
    }
    inq[0]=true;
    while(!q.empty())
    {
        int u=q.front();q.pop();
        inq[u]=false;
        for(int i=head[u];i!=-1;i=edge[i].next)
        {
            int v=edge[i].v;
            int c=edge[i].c;
            if(d[v]<d[u]+c){
                d[v]=d[u]+c;
                if(!inq[v]){
                    q.push(v);
                    if(++cnt[v]>n)
                        return true;
                    inq[v]=true;
                }
            }
        }
    }
    return false;
}

int main()
{
    int n,m;
    int u,v,c;
    char op[5];
    while(~scanf("%d",&n))
    {
        if(!n)
            return 0;
        scanf("%d",&m);
        init();
        rep(i,1,m){
            scanf("%d%d%s%d",&u,&v,op,&c);
            v+=u;u--;
            if(op[0]=='g')
                add(u,v,c+1);
            else
                add(v,u,-c+1);
        }
        if(SPFA(n))
            printf("successful conspiracy
");
        else
            printf("lamentable kingdom
");
    }
    return 0;
}