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
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
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\n");
continue;
}
if(query(root[x-1],root[y],0,18446744073709551615ull,a)==true)
{
printf("No\n");
}
else
{
printf("Yes\n");
}
}
}
