King HDU - 1531 （差分约束）

传送门

题意: 问是否存在长度为n的序列满足m个条件. 每个条件描述某一段子序列和大于或者小于k.

题解：差分约束板题，不过也是稍微有点收获的题，这样考虑，使用前缀和，然后直接s(l+len)-s(l-1)>=k+1(gt)，s(l+len)-s(l-1)<=k-1，之后都还得和额外一个点建立各个前缀和都大于等于0的这样一个条件，然后就可以跑个最长路，这有两种入队方法，第一种就是刚开始把所有都设为-inf，然后将额外那个点设为0，从额外这个点开始跑最长路，或者全部压进去，直接将所有点都设为0，代替超级源点，这种也可以，其实为什么要这样，可以看下下面这组例子。

4 2
1 2 gt 0
2 2 lt 2

附上代码：

#include<bits/stdc++.h>

using namespace std;

const int inf=0x3f3f3f3f;
const int N=110;

struct edge{
    int to,next,weight;
};
edge edges[4*N];
int head[N];

int n,m,tot;
int dis[N],num[N],vis[N];

void add_edge(int u,int v,int weight)
{
    edges[tot].to=v;
    edges[tot].weight=weight;
    edges[tot].next=head[u];
    head[u]=tot++;
}

int spfa(int u)
{
    queue<int>q;
    memset(dis,-inf,sizeof(dis));
    memset(num,0,sizeof(num));
    memset(vis,0,sizeof(vis));
    q.push(u);
    vis[u]=1;
    dis[u]=0;
    num[u]=1;
    while(!q.empty()){
        int x=q.front();
        q.pop();
        vis[x]=0;
        for(int i=head[x];~i;i=edges[i].next){
            int y=edges[i].to;
            if(dis[y]<dis[x]+edges[i].weight){
                dis[y]=dis[x]+edges[i].weight;
                if(!vis[y]){
                    q.push(y);
                    vis[y]=1;
                    if(++num[y]>n){
                        return 0;
                    }
                }
            }
        }
    }
    return 1;
}

int main()
{
    while(~scanf("%d",&n)&&n){
        tot=0;
        memset(head,-1,sizeof(head));
        scanf("%d",&m);
        for(int i=0;i<m;i++){
            int x,y,z;
            char s[3];
            scanf("%d%d%s%d",&x,&y,s,&z);
            if(s[0]=='g'){
                add_edge(x-1,x+y,z+1);
            }else{
                add_edge(x+y,x-1,-z+1);
            }
        }
        for(int i=0;i<=n;i++){
            add_edge(n+1,i,0);
        }
        if(spfa(n+1)){
            printf("lamentable kingdom\n");
        }else{
            printf("successful conspiracy\n");
        }
    }
    return 0;
}