POJ 1364 King （差分约束系统）

题意大致是：给你一些关于一个数列的条件，问你这样的数列是否存在。比如a[k]+...a[k+ni-1]>x 或者 a[k]+...a[k+ni-1]<x

思路：直接表达成前缀和，这样就会出现形如 d(v)<=d(u)+w(u,v)的形式，然后去跑BellmanFord。（因为只要判断有没有负圈，所以不用超级源点）

#include<iostream>
#include<string.h>
#include<string>
#include<algorithm>
#include<stdio.h>
#include<vector>
using namespace std;



int n,m;

struct Edge
{
    int from;
    int to;
    int w;
};
vector<Edge> E;
char ope[120];
int dis[120];

void init()
{
    E.clear();
}

bool Bellman_ford()
{
    memset(dis,0,sizeof(dis));
    int size=E.size();
    for(int i=0;i<=n;i++)
    {
        for(int j=0;j<size;j++)
        {
            int from=E[j].from;
            int to=E[j].to;
            int w=E[j].w;
            if(dis[to]>dis[from]+w)
            {
                dis[to]=dis[from]+w;
            }
        }
    }

    for(int j=0;j<size;j++)
    {
       int from=E[j].from;
        int to=E[j].to;
        int w=E[j].w;
        if(dis[to]>dis[from]+w)
        {
            return false;
        }
    }

    return true;
}

int main()
{
    while(cin>>n)
    {
        if(n==0) break;
        cin>>m;
        init();
        for(int i=0;i<m;i++)
        {
            int a,b,x;
            scanf("%d %d",&a,&b);
            scanf("%s",ope);
            scanf("%d",&x);
            if(strcmp(ope,"lt")==0)
            {
                Edge temp;
                temp.from=a-1;
                temp.to=a+b;
                temp.w=x-1;

                E.push_back(temp);
            }
            else
            {
                Edge temp;
                temp.from=a+b;
                temp.to=a-1;
                temp.w=-(1+x);
                E.push_back(temp);
            }
        }

        bool has=Bellman_ford();
        if(has==false)
        {
            printf("successful conspiracy\n");
        }
        else printf("lamentable kingdom\n");
    }


    return 0;
}