BZOJ3207花神的嘲讽计划Ⅰ——主席树+hash

题目描述

背景

花神是神，一大癖好就是嘲讽大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尴尬【说不出话来】。

输入

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

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

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

输出

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

样例输入

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

样例输出

No
Yes
Yes
Yes
No

提示

题中所有数据不超过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不会尴尬

 

 

　想判断两个数列是否相同首先想到的是hash，查询区间是否存在一个值用主席树维护就好了。建一棵权值线段树，因为以前k-1个数为结尾的子串长度<k，所以从第k时刻建树。hash是unsigned long long，所以(l+r)/2会爆，因此要用l+(r-l+1)/2。

最后附上代码。

#include<map>
#include<set>
#include<queue>
#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define mid L+((R-L)>>1)
using namespace std;
const int base=13131;
int n,m,k;
int cnt;
int tot;
int x,y,z;
int l[8000010];
int r[8000010];
int sum[8000010];
int root[200010];
unsigned long long h[200010];
unsigned long long s[200010];
int updata(int pre,unsigned long long L,unsigned long long R,unsigned long long x)
{
    int rt=++cnt;
    l[rt]=l[pre];
    r[rt]=r[pre];
    sum[rt]=sum[pre]+1;
    if(L<R)
    {
        if(x<=mid)
        {
            l[rt]=updata(l[pre],L,mid,x);
        }
        else
        {
            r[rt]=updata(r[pre],mid+1,R,x);
        }
    }
    return rt;
}
bool query(int ll,int rr,unsigned long long L,unsigned long long R,unsigned long long k)
{
    if(L>=R)
    {
        if(sum[rr]-sum[ll]!=0)
        {
            return true;
        }
        return false;
    }
    int x=sum[rr]-sum[ll];
    if(x!=0)
    {
        if(k<=mid)
        {
            query(l[ll],l[rr],L,mid,k);
        }
        else
        {
            query(r[ll],r[rr],mid+1,R,k);
        }
    }
    else
    {
        return false;
    }
}
int main()
{
    scanf("%d%d%d",&n,&m,&k);
    s[0]=1;
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&x);
        h[i]=h[i-1]*base+x;
        s[i]=s[i-1]*base;
    }
    for(int i=k;i<=n;i++)
    {
        unsigned long long a=h[i]-h[i-k]*s[k];
        root[i]=updata(root[i-1],0,18446744073709551615ull,a);
    }
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d",&x,&y);
        unsigned long long a=0;
        for(int j=1;j<=k;j++)
        {
            scanf("%d",&z);
            a=a*base+z;
        }
        x+=k-1;
        if(x>y)
        {
            printf("Yes
");
            continue;
        }
        if(query(root[x-1],root[y],0,18446744073709551615ull,a)==true)
        {
            printf("No
");
        }
        else
        {
            printf("Yes
");
        }
    }
}