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 ;
}