hdu 1364 king

这题目应该算是比较基础的差分约束吧，嘻嘻，也算是我的第一道差分约束，理解了题意之后，就是转化和构图的问题了

构图方法:

首先进行转换:a[j]+...+a[j+m] = a[1]+...a[j+m] - (a[1]+...+a[j-1]) = sum[j+m] -

sum[j-1] >(<) ki. 差分约束只能全部是<=或者(>=).

第二步转换: sum[j+m]-sum[j-1] <= ki-1 或者 sum[j-1]-sum[j+m] <= -ki-1.

约束图构造好后就是简单的Bellman-Ford了!

注意，用bellman-Ford一定<= 或者>=，而题目给的只有< 或者> ,所以为了能用Bellman-Ford解决，就得在权重上面动手脚了，如上所示。

#include<iostream>
#include<string>
#include<queue>
#define MAXINT 9999999
#define MAXN 110
using namespace std;
int dis[MAXN],n,m,min1,max1;
struct edge
{
	int u,v,w;
}e[MAXN];
bool bellman_ford()
{
	for(int i=min1;i<=max1;i++)
		dis[i]=MAXINT;
	dis[min1]=0;//这里可要也可不要，因为Bellman-Ford是对所有边进行操作的，即使没有源点也照样进行松弛操作
	for(int i=1;i<=n;i++)
	{
		for(int j=0;j<m;j++)
		{
			if(dis[e[j].v]>dis[e[j].u]+e[j].w)
				dis[e[j].v]=dis[e[j].u]+e[j].w;
		}
	}
		for(int j=0;j<m;j++)
		{
			if(dis[e[j].v]>dis[e[j].u]+e[j].w)
				return false;
		}
		return true;
}
int main()
{
	char str[5];
	int a,b,c;
	while(cin>>n)
	{
		if(n==0) break;
		cin>>m;
		max1=0;min1=MAXN;
		for(int i=0;i<m;i++)
		{
			cin>>a>>b>>str>>c;
			max1=max(a+b+1,max1);
			min1=min(a,min1);
			min1=min(b,min1);
			if(strcmp(str,"gt")==0)
			{
				e[i].u=a+b+1;
				e[i].v=a;
				e[i].w=-c-1;
			}
			else {
				e[i].v=a+b+1;
				e[i].u=a;
				e[i].w=c-1;
			}
		}
		if(bellman_ford())
			cout<<"lamentable kingdom"<<endl;
		else cout<<"successful conspiracy"<<endl;
	}
	return 0;
}