UVA515 King

• 题目描述：ｎ个数，ｍ个限制条件。每一个限制条件形如：１．x y gt c：表示ax + ax+1 + … +ay > c。２．x y It c：表示ax + ax+1 + …… +ax+y < c。有解输出“lamentable kingdom”，否则输出“successful conspiracy”。
• 思路：与intervals那道题很像，题目给出的是和的关系，通过前缀和来得到差的关系，然后就是传统差分约束的建图，求最长路，通过判正环来确定有无解。
• 当时我虽然想到了这道题的核心做法，但是却纠结于是否引入一个“超级点”（向所有点连0权边的点），最终发现了如果不引入按原来处理方法会出现的一个错误(经测试不引入是可以的)：inq数组的初始化。以后还是干脆全部初始化，避免在这个地方的证明错误导致程序出错。

#include <iostream>
#include <queue>
#include <cstring>
using namespace std;
int cnt,n,m,last[505],inque[505],x,y,z,d[505];
char c;
bool inq[505],ans;
struct edge{
int v,w,next;
}e[1005];
inline void add(int u,int v,int w)
{
    e[++cnt].v=v;
    e[cnt].w=w;
    e[cnt].next=last[u];
    last[u]=cnt;
}
bool spfa(int s)
{
    queue<int>q;
    d[s]=0;
    inque[s]=1;
    q.push(s);
    while(!q.empty())
    {
        int u=q.front();q.pop();
        inq[u]=0;
        for(int i=last[u];i;i=e[i].next)
        {
            int v=e[i].v,w=e[i].w;
            if(d[u]+w>d[v])
            {
                d[v]=d[u]+w;
                if(!inq[v])
                {
                    inq[v]=1;
                    inque[v]++;
                    if(inque[v]>n+1)
                    return false;
                    q.push(v);
                }
            }

        }
    }
    return true;
}
void intt()
{
    for(int i=1;i<=cnt;i++)
    e[i].v=e[i].w=e[i].next=0;
    memset(last,0,sizeof(last));
    memset(inque,0,sizeof(inque));
    memset(inq,0,sizeof(inq));
    cnt=ans=0;
}
int main()
{
    while(cin>>n&&n)
    {
        cin>>m;
        for(int i=1;i<=m;i++)
        {
            cin>>x>>y;
            getchar();
            c=getchar();getchar();
            cin>>z;
            if(c=='g')
            {
                z++;
                add(x-1,x+y,z);
            }
            else
           {
               z--;
               add(x+y,x-1,-1*z);
           }
        }
        for(int i=1;i<=n;i++)
        d[i]=-1;
        for(int i=0;i<=n;i++)
        if(!inque[i])
        if(!spfa(i))
        {
            cout<<"successful conspiracy"<<endl;
            ans=1;
            break;
        }
        if(!ans)
        cout<<"lamentable kingdom"<<endl;
        intt();
    }
    return 0;
}