UVa515-King

最新推荐文章于 2019-02-13 13:18:07 发布

squee_spoon

最新推荐文章于 2019-02-13 13:18:07 发布

阅读量628

点赞数

分类专栏：图论文章标签： UVa 图论差分约束系统

本文链接：https://blog.csdn.net/squee_spoon/article/details/30465691

版权

图论专栏收录该内容

58 篇文章 1 订阅

订阅专栏

题意：一个不幸王国，王子智力有缺陷，经过一段时间的学习，才学会了玩弄 integer。。。国王去世，王子继位，他只会玩integer，只有把问题转为sequence of integer才能决策。然后国民发现了新国王的无能，想要弄出一些他无法决策的问题。。。好吧不废话了。一个整数序列 $S = \{a_1, a_2, \dots, a_n\}$ ，它的若干个子序列要满足一定的条件：第i个子序列 $S_i = \{a_{s_i}, a_{s_i+1}, \dots, a_{s_i+n_i}\}$ 要满足 $a_{s_i} + a_{s_i+1} + \dots + a_{s_i+n_i} < k_i$ 或 $a_{s_i} + a_{s_i+1} + \dots + a_{s_i+n_i} > k_i$ 。问这个序列是否存在。

思路：差分约束系统，最短路。

设sum(i)是序列S前i项的和，那么他的子序列a(si)~a(si+ni)=sum(si+ni)-sum(si-1)。然后那个差大于ki或小于ki，再转化成小于等于wi。转化完之后这就是一个差分约束系统。添加一个虚拟顶点连接所有顶点，权为0，使得整个图连通，就可以用Bellman Ford算法判断负环得出原序列是否存在了。若存在负环，说明原序列无解，即谋反成功！刚开始做差分约束系统的时候，一定要搞清楚每调边权重的关系，它们都代表什么，还有到底有多少个顶点多少条边，下标分别从多少到多少。搞不清楚会WA到死。

#include <iostream>
#include <stdio.h>
#include <cmath>
#include <algorithm>
#include <iomanip>
#include <cstdlib>
#include <string>
#include <memory.h>
#include <vector>
#include <queue>
#include <stack>
#include <ctype.h>
#define INF 1000000000
using namespace std;

struct edge{
	int u;
	int v;
	int w;
};

edge E[210];
int dis[110];

int main(){
	int n,m;
	while(cin>>n){
		if(!n)break;
		cin>>m;
		for(int i=0;i<=n+1;i++)dis[i]=INF;
		dis[0]=0;
		int u,v,w;
		char str[10]; 
		for(int i=1;i<=m;i++){
			cin>>u>>v>>str>>w;
			if(str[0]=='g'){
				E[i].u=u-1;E[i].v=u+v;E[i].w=-w-1;//题目是严格大于小于，所以要减一 
			}else{
				E[i].u=u+v;E[i].v=u-1;E[i].w=w-1;
			}
		}
		for(int i=1;i<=n;i++){//使得图连通 
			E[m+i].u=n+1;
			E[m+i].v=i;
			E[m+i].w=0;
		}
		
		
		for(int i=0;i<=n;i++){
			for(int j=1;j<=m+n;j++){
				if( (dis[E[j].u]+E[j].w)<dis[E[j].v] ){
					dis[E[j].v]=(dis[E[j].u]+E[j].w);
				}
			}
		}
		bool flag=false;
		for(int j=1;j<=m+n;j++){
			if( (dis[E[j].u]+E[j].w)<dis[E[j].v] ){
				flag=true;
				break;
			}
		}
		if(flag){
			cout<<"successful conspiracy"<<endl;
		}else{
			cout<<"lamentable kingdom"<<endl;
		}
	}
}