bzoj 3207: 花神的嘲讽计划Ⅰ

Description

背景

花神是神，一大癖好就是嘲讽大J，举例如下：

“哎你傻不傻的！【hqz：大笨J】”

“这道题又被J屎过了！！”

“J这程序怎么跑这么快！J要逆袭了！”

……

描述

这一天DJ在给吾等众蒟蒻讲题，花神在一边做题无聊，就跑到了一边跟吾等众蒟蒻一起听。以下是部分摘录：

1.

“J你在讲什么！”

“我在讲XXX！”

“哎你傻不傻的！这么麻烦，直接XXX再XXX就好了！”

“……”

2.

“J你XXX讲过了没？”

“……”

“那个都不讲你就讲这个了？哎你傻不傻的！”

“……”

DJ对这种情景表示非常无语，每每出现这种情况，DJ都是非常尴尬的。

经过众蒟蒻研究，DJ在讲课之前会有一个长度为N方案，我们可以把它看作一个数列；

同样，花神在听课之前也会有一个嘲讽方案，有M个，每次会在x到y的这段时间开始嘲讽，为了减少题目难度，每次嘲讽方案的长度是一定的，为K。

花神嘲讽DJ让DJ尴尬需要的条件：

在x~y的时间内DJ没有讲到花神的嘲讽方案，即J的讲课方案中的x~y没有花神的嘲讽方案【这样花神会嘲讽J不会所以不讲】。

经过众蒟蒻努力，在一次讲课之前得到了花神嘲讽的各次方案，DJ得知了这个消息以后欣喜不已，DJ想知道花神的每次嘲讽是否会让DJ尴尬【说不出话来】。

Input

第1行3个数N，M，K；

第2行N个数，意义如上；

第3行到第3+M-1行，每行K+2个数，前两个数为x,y,然后K个数，意义如上；

Output

对于每一个嘲讽做出一个回答会尴尬输出‘Yes’，否则输出‘No’

Sample Input

8 5 3
1 2 3 4 5 6 7 8
2 5 2 3 4
1 8 3 2 1
5 7 4 5 6
2 5 1 2 3
1 7 3 4 5

Sample Output

No
Yes
Yes
Yes
No

HINT

题中所有数据不超过2*10^9;保证方案序列的每个数字<=N

2~5中有2 3 4的方案，输出No，表示DJ不会尴尬

1~8中没有3 2 1的方案，输出Yes，表示DJ会尴尬

5~7中没有4 5 6的方案，输出Yes，表示DJ会尴尬

2~5中没有1 2 3的方案，输出Yes，表示DJ会尴尬

1~7中有3 4 5的方案，输出No，表示DJ不会尴尬

Source

原创 Memphis

这题问的是子串,一开始以为是子序列...

因为嘲讽方案的长度确定,所以l和r移动时只要考虑一个子串的变化,直接上莫队即可

这就转化为子串在区间中是否出现,经典的莫队问题判断子串用哈希即可

哈希桶存不下,但满足条件的子串是n-k个离散化一下即可

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<cmath>
#define int long long
using namespace std;
const int N=100010;
int gi(){
    int x=0;
    char ch=getchar();
    while(ch<'0'||ch>'9') ch=getchar();
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x;
}
long long pre[N],hsh[3][N],num[N],cf[N],u[N];
int cnt[N],ans[N],a[N],pos[N],block;
int query(int l,int r,int flag){
    return hsh[flag][r]-hsh[flag][l-1]*pre[r-l+1];
}
struct data{
    int l,r,id;long long cf;
}q[N];
bool cmp(const data &a,const data &b)
{
  if(pos[a.l]==pos[b.l]) return a.r<b.r;
  return pos[a.l]<pos[b.l];
}
main(){
    int n=gi(),m=gi(),k=gi();
    for(int i=1;i<=n;i++) a[i]=gi();
    pre[0]=1;for(int i=1;i<=n;i++) pre[i]=pre[i-1]*233;
    for(int i=1;i<=n;i++) hsh[1][i]=hsh[1][i-1]*233+a[i];
    int t=0;for(int i=n;i>=k;i--) u[++t]=num[i]=query(i-k+1,i,1);
    sort(u+1,u+t+1);t=unique(u+1,u+t+1)-u-1;
    for(int i=k;i<=n;i++) num[i]=lower_bound(u+1,u+t+1,num[i])-u;
    for(int i=1;i<=m;i++){
        q[i].l=gi()+k-1,q[i].r=gi();q[i].id=i;
        for(int j=1;j<=k;j++) cf[j]=gi();
    for(int j=1;j<=k;j++) hsh[2][j]=hsh[2][j-1]*233+cf[j];
    q[i].cf=query(1,k,2);int id=lower_bound(u+1,u+t+1,q[i].cf)-u;
        if(q[i].cf==u[id]) q[i].cf=id;
        else q[i].cf=0;
    }
    block=sqrt(n);for(int i=1;i<=n;i++) pos[i]=(i-1)/block+1;
    sort(q+1,q+1+m,cmp);
    int l=k,r=k-1;
    for(int i=1;i<=m;i++){
        while(r<q[i].r) r++,cnt[num[r]]++;
        while(l>q[i].l) l--,cnt[num[l]]++;
        while(r>q[i].r) cnt[num[r]]--,r--;
        while(l<q[i].l) cnt[num[l]]--,l++;
        if(!cnt[q[i].cf])ans[q[i].id]=1;
    }
    for(int i=1;i<=m;i++)puts(ans[i]?"Yes":"No");
    return 0;
}