题意:
现在假设有一个这样的序列,S={a1,a2,a3,a4...ai...at}
现在给出一个不等式,使得ai+a(i+1)+a(i+2)+...+a(i+n)<ki或者是ai+a(i+1)+a(i+2)+...+a(i+n)>ki
首先给出两个数分别代表S序列有多少个,有多少个不等式
不等式可以这样描述
给出四个参数第一个数i可以代表序列的第几项,然后给出n,这样前面两个数就可以描述为ai+a(i+1)+...a(i+n),即从i到n的连续和,再给出一个符号和一个ki
当符号为gt代表‘>’,符号为lt代表‘<'
那么样例可以表示
1 2 gt 0
a1+a2+a3>0
2 2 lt 2
a2+a3+a4<2
最后问你所有不等式是否都满足条件,若满足输出lamentable kingdom,不满足输出successful conspiracy
解题思路:一个典型的差分约束,很容易推出约束不等式
首先设Si=a1+a2+a3+...+ai
那么根据样例可以得出
S3-S0>0---->S0-S3<=-1
S4-S1<2---->S4-S1<=1
因为差分约束的条件是小于等于,所以我们将ki-1可以得到一个等于号
那么通式可以表示为
a b gt c
S[a-1]-s[a+b]<=-ki-1
a b lt c
S[a+b]-S[a-1]<=ki-1
那么根据差分约束建图,加入这些有向边
gt: <a+b,a-1>=-ki-1
lt: <a-1,a+b>=ki-1
再根据bellman_ford或者spfa判断是否有负环即可
若出现负环了则这个序列不满足所有的不等式
#include<stdio.h>
#include<string.h>
#include<vector>
#include<queue>
using namespace std;
#define inf 1<<28
struct node
{
int v;
int w;
};
int dis[103];
bool vis[103];
int s_size[105];
int n,m;
vector<node>e[103];
bool spfa()
{
int u,v,w,i;
queue<int>Q;
Q.push(0);
vis[0]=true;
dis[0]=0;
s_size[0]++;
while(!Q.empty())
{
u=Q.front();
Q.pop();
vis[u]=false;
for(i=0;i<e[u].size();i++)
{
v=e[u][i].v;
w=e[u][i].w;
if(dis[v] > dis[u] +w)
{
dis[v]=dis[u]+w;
if(!vis[v])
{
vis[v]=true;
Q.push(v);
s_size[v]++;
if(s_size[v]>=n+2)
return true;
}
}
}
}
return false;
}
int main()
{
int i,j,u,v,w,flag;
char str[2];
while(scanf("%d",&n)&&n)
{
scanf("%d",&m);
for(i=0;i<103;i++)
e[i].clear();
for(i=0;i<m;i++)
{
scanf("%d %d %s %d",&u,&v,str,&w);
if(strcmp(str,"gt")==0)
{
e[u+v+1].push_back((node){u,-w-1});
}
else if(strcmp(str,"lt")==0)
{
e[u].push_back((node){u+v+1,w-1});
}
}
for(i=1;i<=n+1;i++)
e[0].push_back((node){i,0});
for(i=0;i<=n+1;i++)
{
dis[i]=inf;
}
memset(vis,false,sizeof(vis));
memset(s_size,0,sizeof(s_size));
flag=spfa();
if(flag)
printf("successful conspiracy\n");
else
printf("lamentable kingdom\n");
}
return 0;
}
#include<stdio.h>
#include<string.h>
#include<queue>
using namespace std;
#define inf 1<<28
struct node
{
int v;
int w;
int next;
}e[10003];
int dis[103];
bool vis[103];
int s_size[103];
int n,m;
int head[103],num;
bool spfa()
{
int u,v,w,i;
memset(vis,false,sizeof(vis));
memset(s_size,0,sizeof(s_size));
queue<int>Q;
Q.push(0);
vis[0]=true;
dis[0]=0;
s_size[0]++;
while(!Q.empty())
{
u=Q.front();
Q.pop();
vis[u]=false;
for(i=head[u];i!=-1;i=e[i].next)
{
v=e[i].v;
w=e[i].w;
if(dis[v] > dis[u] +w)
{
dis[v]=dis[u]+w;
if(!vis[v])
{
vis[v]=true;
Q.push(v);
s_size[v]++;
if(s_size[v]>=n+2)
return true;
}
}
}
}
return false;
}
void add(int u,int v,int w)
{
e[num].v=v;
e[num].w=w;
e[num].next=head[u];
head[u]=num++;
}
int main()
{
int i,j,u,v,w,flag=0;
char str[2];
while(scanf("%d",&n)&&n)
{
scanf("%d",&m);
num=0;
memset(head,-1,sizeof(head));
for(i=0;i<m;i++)
{
scanf("%d %d %s %d",&u,&v,str,&w);
if(strcmp(str,"gt")==0)
{
add(u+v+1,u,-w-1);
}
else if(strcmp(str,"lt")==0)
{
add(u,u+v+1,w-1);
}
}
for(i=1;i<=n+1;i++)
add(0,i,0);
for(i=0;i<103;i++)
{
dis[i]=inf;
}
flag=spfa();
if(flag)
printf("successful conspiracy\n");
else
printf("lamentable kingdom\n");
}
return 0;
}