poj1364 King（差分约束）

题目给的那两个数列真是恶心，谁猜的到哪个是下标哪个是数。

题意：n,m表示有一个数列{A1，A2，......，An}，下面有m个不等式；

下面m行s，n，op，k ；op为gt表示As+As+1+As+2+ .......+As+n>k，op为gt表示 As+As+1+As+2+ .......+As+n<k；

上面两个关系可以转化为As+As+1+As+2+ .......+As+n>=k+1，As+As+1+As+2+ .......+As+n<=k-1；

令dis（n）=A0+A1+A2+ .......+A n ；则上述关系为dis(s+n)-dis(s-1)>=k+1与dis(s+n)-dis(s-1)<=k-1;然后建图看有没有负权环就行了，用spfa别忘了加超级源，因为图可能不连通，没有超级源，负权环可能不可达。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<queue>
#include<stack>
#include<cstring>
#include<map>
#include<string>
#include<climits>

#define maxn 110
using namespace std;

struct node
{
	int v,w;
};
typedef vector<node>ve;
vector<ve>head(maxn);
void addE(int u,int v,int w)
{
	head[u].push_back({v,w});
}

int dis[maxn],outque[maxn];
bool inque[maxn];

bool spfa(int n)
{
	memset(dis,0x3f,sizeof(dis));
	memset(inque,false,sizeof(inque));
	memset(outque,0,sizeof(outque));
	dis[n]=0;
	inque[n]=true;
	queue<int>que;
	que.push(n);
	while(!que.empty())
	{
		int u=que.front();
		que.pop();
		inque[u]=false;
		outque[u]++;
		if(outque[u]>n+1)
			return false;
		vector<node>&vec=head[u];
		for(int i=0,len=vec.size();i<len;++i)
		{
			int v=vec[i].v;
			int w=vec[i].w;
			if(dis[v]>dis[u]+w)
			{
				dis[v]=dis[u]+w;
				if(!inque[v])
				{
					inque[v]=true;
					que.push(v);
				}
			}
		}
	}
	return true;
}
int main()
{
	int n,m;
	while(scanf("%d",&n),n!=0)
	{
		for(int i=0;i<=n;++i)
			head[i].clear();
		scanf("%d",&m);
		for(int i=0;i<m;++i)
		{
			int a,b,c;
			char op[10];
			scanf("%d%d%s%d",&a,&b,op,&c);
			if(op[0]=='g')
				addE(a+b,a-1,-c-1);
			else
				addE(a-1,a+b,c-1);
		}
		for(int i=0;i<=n;++i)
		{
			addE(n+1,i,0);
		}
		if(spfa(n+1))
			printf("lamentable kingdom\n");
		else
			printf("successful conspiracy\n");
	}
}