poj1364--King（差分约束）

poj1364：题目链接 

题目大意：n个数的一个序列，m个约数，si, ni, oi, ki, 代表了序列中第si个数到第si+ni个数的和大于或小于ki，gt = 大于，lt = 小于

问是否存在相悖的约束

约数已经很明显了设sum[i]为前i个数的和，那么就可以得到约束：si, ni, oi, ki

sum[0] = 0

oi为gt时：sum[si+ni] - sum[si-1] >= ki+1

oi为lt时：sum[si+ni] - sum[si-1] <= ki-1

求0到其它点的最长路，判断是否存在环（spfa超时，，，，用bf）

#include <cstdio>
#include <cstring>
#include <queue>
#include <algorithm>
using namespace std ;
#define INF 0x3f3f3f3f
struct node
{
    int u , v , w ;
    int next ;
} edge[200] ;
int dis[110] , vis[110] ;
void add(int i,int u,int v,int w)
{
    edge[i].u = u ;
    edge[i].v = v ;
    edge[i].w = w ;
}
int bf(int n,int m)
{
    int u , v , i , j ;
    memset(dis,-INF,sizeof(dis)) ;
    for(i = 0 ; i < n ; i++)
    {
        for(j = 0 ; j < m ; j++)
        {
            u = edge[j].u ;
            v = edge[j].v ;
            if( dis[v] < dis[u] + edge[j].w )
                dis[v] = dis[u]+edge[j].w ;
        }
    }
    for(j = 0 ; j < m ; j++)
    {
        u = edge[j].u ;
        v = edge[j].v ;
        if( dis[v] < dis[u] + edge[j].w )
            break ;
    }
    if( j < m ) return 0 ;
    return 1 ;
}
int main()
{
    int n , m ;
    int p , s , k , i ;
    char str[10] ;
    while( scanf("%d", &n) && n )
    {
        scanf("%d", &m) ;
        for(i = 0 ; i < m ; i++)
        {
            scanf("%d %d %s %d", &p, &s, str, &k) ;
            if( str[0] == 'g' )
                add(i,p-1,p+s,k+1) ;
            else
                add(i,p+s,p-1,1-k) ;
        }
        if( bf(n,m) )
            printf("lamentable kingdom\n") ;
        else
            printf("successful conspiracy\n") ;
    }
    return 0 ;
}