学步园

POJ_1364

这个题目其实还算是比较简单的差分约束系统的题目。一开始其实已经把输入数据的约束条件都找全了，如果设S[i]为[a1,ai]的和，那么如果符号是gt，则有S[ai+ni]-S[ai-1]>=ki+1，如果符号是lt，则有S[ai-1]-S[ai+ni]>=-ki+1。然后发现这个图可能从S[n]开始做最短路不是连通的，于是我便想加两个辅助条件S[i]-S[i-1]>=-INF，S[i]-S[i-1]<=INF，这两个条件是没有问题的，但可能是由于INF精度的问题而WA掉了。

后来再看了别人的报告之后，发现其实让图连通不用这么麻烦。首先，做最短路没必要把S[n]到S[0]的最短路求出来，只要判断题目中的数据是否存在负圈就可以了，所以没必要把整个图都连通起来。如果用最短路判负圈的方法的话，可以抽象出一个点使其和其他点都连通就可以了，于是可以想象成a[n+1]是一个很大的点，这样可以保证S[n+1]+S[i]>=0，图就连通了。但如果都初始化d[]成INF的话，那实际上d[n+1]和d[i]之间有一条权值为0的路相当于是不连通的，因为求最短路的时候是过不去的，当然为了保证路是通的，可以把d[n+1]初始化的值弄得比INF小一点。或者不如干脆保证S[n+1]+S[i]>=-1，这样d[]就可以都初始化成INF了。这个a[n+1]也就是所谓的超级源点，由于这个点使我们自定义的，所以添加进去的不等式不会影响最后的结果。

此外，如果用SPFA来判断负圈的话，由于这个图实际上是有n+1个点，所以入队次数要大于n+1才可以判定存在负圈，如果大于n就判定有负圈的话会WA掉的。

#include<stdio.h>
#include<string.h>
int first[110],next[210],v[210],w[210];
int q[11000],inq[110],inedq[110],d[110];
char b[5];
int main()
{
int i,j,si,ni,ki,m,n,u,ok,front,rear,temp,e;
while(1)
    {
        scanf("%d",&n);
if(n==0)
break;
        scanf("%d",&m);
        memset(first,-1,sizeof(first));
for(e=0;e<m;e++)
        {
            scanf("%d%d%s%d",&si,&ni,b,&ki);
if(b[0]=='g')
            {
                v[e]=si-1;
                w[e]=-ki-1;
                next[e]=first[si+ni];
                first[si+ni]=e;
            }
else
            {
                v[e]=si+ni;
                w[e]=ki-1;
                next[e]=first[si-1];
                first[si-1]=e;
            }
        }
for(i=0;i<=n+1;i++)
        {
            d[i]=1000000000;
            inq[i]=inedq[i]=0;
        }
for(i=0;i<=n;i++)
        {
            v[e]=i;
            w[e]=-1;
            next[e]=first[n+1];
            first[n+1]=e;
            e++;
        }
        d[n+1]=1000000000;
        front=rear=0;
        q[rear++]=n+1;
        ok=1;
while(front<rear)
        {
            u=q[front++];
            inq[u]=0;
for(e=first[u];e!=-1;e=next[e])
if(d[u]+w[e]<d[v[e]])
                {
                    d[v[e]]=d[u]+w[e];
if(!inq[v[e]])
                    {
                        q[rear++]=v[e];
                        inq[v[e]]=1;
if(inedq[v[e]]++>n)
                        {
                            ok=0;
                            front=rear;
break;
                        }
                    }
                }
        }
if(ok)
            printf("lamentable kingdom\n");
else
            printf("successful conspiracy\n");
    }
return 0;    
}