题目大意
有n个变量 a1...an ,有若干形如 (asi+asi+1+...+asi+ni−1+asi+ni>/<ki) 的不等式,问你是否存在满足约束条件的一组解。
分析
原问题先做一个前n项和处理就变成了典型的差分约束了。
设 sumi=a1+a2+...+ai
约束不等式就是: sumsi+ni−sumsi−1>/<ki
下标上处理注意一下,转换成 ≥ ki 需要+1
代码
#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<map>
#include<algorithm>
#include<set>
using namespace std;
const int INF=0x7fffffff;
int n,m;
int sum[105];
struct Edge
{
int to;
int next;
int w;
}edge[1000];
int edgecount;
int head[105];
int dis[105];
int in[105];
int vis[105];
void Init()
{
memset(head,-1,sizeof(head));
edgecount=0;
}
void Add_edge(int u,int v,int w)
{
edge[++edgecount].to=v;
edge[edgecount].w=w;
edge[edgecount].next=head[u];
head[u]=edgecount;
}
bool Spfa(int s,int n)//返回0表示有环
{
for(int i=0;i<=n;i++)
{
dis[i]=INF;
vis[i]=0;
in[i]=0;
}
queue<int>Q;
dis[s]=0;
vis[s]=1;//vis为1表示在队列里面
in[s]=1;
Q.push(s);
while(!Q.empty())
{
int u=Q.front();
Q.pop();
for(int k=head[u];k!=-1;k=edge[k].next)
{
int v=edge[k].to;
int w=edge[k].w;
if(dis[v]>dis[u]+w)
{
dis[v]=dis[u]+w;
if(!vis[v])
{
vis[v]=1;
Q.push(v);
in[v]++;
}
if(in[v]>n)return 0;
}
}
vis[u]=0;
}
return 1;
}
int main()
{
int si,ni,ki;
char oi[3];
while(1)
{
Init();
scanf("%d",&n);
if(n==0)break;
scanf("%d",&m);
for(int i=1;i<=m;i++)
{
scanf("%d%d%s%d",&si,&ni,oi,&ki);
if(oi[0]=='g')//>的情况
{
Add_edge(si+ni+1,si,-(ki+1));
}
else if(oi[0]=='l')
{
Add_edge(si,si+ni+1,ki-1);
}
}
for(int i=0;i<=n;i++)
{
Add_edge(0,i,0);
}
if(Spfa(0,n+2)==0)cout<<"successful conspiracy"<<endl;
else cout<<"lamentable kingdom"<<endl;
}
return 0;
}