POJ-1364，UVA-515-King （区间约束）

题目链接：http://poj.org/problem?id=1364

题目链接：https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=456

题目大意：一个国王，只会判断一个区间[l,r]中数字的和与key的大小。然后给出m个区间，国王判断完后，能否在这些区间中找到一些数满足国王的判断？其中gt判断前面a~a+b区间内的数之和>key，lt判断<key。

能输出“lamentable kingdom”，否则输出“successful conspiracy”

思路：差分约束，首先显著的约束：f[a+b]-f[a-1]>key和f[a+b]-f[a-1]<key，

然后转换成图论里面的约束条件：f[a+b]-f[a-1]>=key+1和f[a+b]-[a-1]<=key-1。

符号变成<=：f[a-1]-f[a+b]<=-key-1和f[a+b]-f[a-1]<=key-1；

然后还有一个约束关系：即：f[n+1]-f[i]>=0 ->f[i]-f[n+1]<=0 和 f[i]-f[0]>=0 -> f[0]-f[i]<=0，

这就涉及到原点的选择了。要选择n+1为原点，这样会构成一个连通图。

当然，也可以忽略原点，遍历所有的点，都跑一次dfs，。

我选择n+1，AC：

//#pragma comment(linker, "/STACK:1024000000,1024000000")
  
#include<stdio.h>
#include<string.h> 
#include<math.h> 
   
#include<map>  
//#include<set>
#include<deque> 
#include<queue> 
#include<stack> 
#include<bitset>
#include<string> 
#include<fstream>
#include<iostream> 
#include<algorithm> 
using namespace std; 
  
#define ll long long 
#define Pair pair<int,int>
//#define max(a,b) (a)>(b)?(a):(b)
//#define min(a,b) (a)<(b)?(a):(b)
#define clean(a,b) memset(a,b,sizeof(a))// 水印
//std::ios::sync_with_stdio(false);
//  register
const int MAXN=5e4+10;
const int INF32=0x3f3f3f3f;
const ll INF64=0x3f3f3f3f3f3f3f3f;
const ll mod=1e9+7;
const double PI=acos(-1.0);

struct node{
	int v,val,nxt;
	node(int _v=0,int _val=0,int _nxt=0){
		v=_v;val=_val;nxt=_nxt;
	}
}edge[MAXN<<2];
int head[MAXN],ecnt;
int st[MAXN],tot;
int dis[MAXN],vis[MAXN],sum[MAXN];
int n,m,flag;

void intt(){
	clean(head,-1);
	ecnt=0;tot=0;
}
void add(int u,int v,int val){
	edge[ecnt]=node(v,val,head[u]);
	head[u]=ecnt++;
}
void dfs_spfa(int str){
	clean(dis,INF32);dis[str]=0;
	clean(vis,0);vis[str]=1;
	clean(sum,0);sum[str]++;
	st[tot++]=str;
	while(tot){
		int u=st[--tot];vis[u]=0;
		//printf("\n u: %d - ",u);
		for(int i=head[u];i+1;i=edge[i].nxt){
			int v=edge[i].v;
			if(dis[v]>dis[u]+edge[i].val){
				//printf("v: %d ",v);
				dis[v]=dis[u]+edge[i].val;
				if(vis[v]==0){
					vis[v]=1;
					st[tot++]=v;
					sum[v]++;
					if(sum[v]>n+1){
						flag=1;return ;
					}
				}
			}
		}
	}
}
int main(){
	while(~scanf("%d",&n)){
		if(n==0)	break;intt();
		scanf("%d",&m);
		int a,b,c,str=INF32,ed=-1;char oper[5];
		for(int i=1;i<=m;++i){
			scanf("%d%d%s%d",&a,&b,&oper,&c);
			if(oper[0]=='g')	
				add(a+b,a-1,-c-1);
			else	
				add(a-1,a+b,c-1);
			str=min(str,a-1);ed=max(ed,a+b);
		}
		for(int i=1;i<=n;++i){
			add(n+1,i,0);
		}flag=0;
		dfs_spfa(n+1);
//		printf("\n");
//		for(int i=str;i<=ed;++i){ 
//			printf("%d ",dis[i]);
//		}printf("\n");
		if(flag)	printf("successful conspiracy\n");
		else		printf("lamentable kingdom\n");
	}

}
/*
4 2
1 2 gt 0
2 2 lt 2
1 2
1 0 gt 0
1 0 lt 0
0
*/

不使用原点：

//#pragma comment(linker, "/STACK:1024000000,1024000000")
  
#include<stdio.h>
#include<string.h> 
#include<math.h> 
   
#include<map>  
//#include<set>
#include<deque> 
#include<queue> 
#include<stack> 
#include<bitset>
#include<string> 
#include<fstream>
#include<iostream> 
#include<algorithm> 
using namespace std; 
  
#define ll long long 
#define Pair pair<int,int>
//#define max(a,b) (a)>(b)?(a):(b)
//#define min(a,b) (a)<(b)?(a):(b)
#define clean(a,b) memset(a,b,sizeof(a))// 水印
//std::ios::sync_with_stdio(false);
//  register
const int MAXN=5e4+10;
const int INF32=0x3f3f3f3f;
const ll INF64=0x3f3f3f3f3f3f3f3f;
const ll mod=1e9+7;
const double PI=acos(-1.0);

struct node{
	int v,val,nxt;
	node(int _v=0,int _val=0,int _nxt=0){
		v=_v;val=_val;nxt=_nxt;
	}
}edge[MAXN<<2];
int head[MAXN],ecnt;
int st[MAXN],tot;
int dis[MAXN],vis[MAXN],sum[MAXN];
int n,m,flag;

void intt(){
	clean(head,-1);
	ecnt=0;tot=0;
}
void add(int u,int v,int val){
	edge[ecnt]=node(v,val,head[u]);
	head[u]=ecnt++;
}
void dfs_spfa(int str){
	clean(dis,0);
	clean(vis,0);
	clean(sum,0);
	for(int i=0;i<=n;++i){
		st[tot++]=i;
		vis[i]=1;
		sum[i]++;
	}
	while(tot){
		int u=st[--tot];vis[u]=0;
		//printf("\n u: %d - ",u);
		for(int i=head[u];i+1;i=edge[i].nxt){
			int v=edge[i].v;
			if(dis[v]>dis[u]+edge[i].val){
				//printf("v: %d ",v);
				dis[v]=dis[u]+edge[i].val;
				if(vis[v]==0){
					vis[v]=1;
					st[tot++]=v;
					sum[v]++;
					if(sum[v]>n+2){
						flag=1;return ;
					}
				}
			}
		}
	}
}
int main(){
	while(~scanf("%d",&n)){
		if(n==0)	break;intt();
		scanf("%d",&m);
		int a,b,c,str=INF32,ed=-1;char oper[5];
		for(int i=1;i<=m;++i){
			scanf("%d%d%s%d",&a,&b,&oper,&c);
			if(oper[0]=='g')	
				add(a+b,a-1,-c-1);
			else	
				add(a-1,a+b,c-1);
			str=min(str,a-1);ed=max(ed,a+b);
		}
//		for(int i=1;i<=n;++i){
//			//add(i,0,0);
//			add(n+1,i,0);
//		}
		flag=0;
		dfs_spfa(n+1);
//		printf("\n");
//		for(int i=str;i<=n+1;++i){ 
//			printf("%d ",dis[i]);
//		}printf("\n");
		if(flag)	printf("successful conspiracy\n");
		else		printf("lamentable kingdom\n");
	}

}
/*
4 2
1 2 gt 0
2 2 lt 2
1 2
1 0 gt 0
1 0 lt 0
0
*/

至于选择f[i]-f[0]为什么会WA。。我也不太清楚，概念还是不清楚么？在研究一下