传送门
本题让对字符串进行区间加操作,然后随机询问两个子串是否相同。
如果是普通的区间加操作,我们直接用线段树维护每个节点的哈希值即可,子串哈希值可以直接查询区间哈希值然后再除以基数的幂次获得。不过本题中区间加需要对 65536 65536 65536取模,不过我们可以再每次区间加后通过线段树找到所有刚好等于 65536 65536 65536的点,然后将它的值变成0即可,这样修改的次数其实不会很多,由于每 65536 65536 65536次区间加操作最多导致 65536 65536 65536次取模操作,故实际上均摊下来每次操作最多对一个点进行修改,复杂度是 l o g log log级别的。
int a[maxn],t[maxn<<2],sum[maxn<<2],lz[maxn<<2],b[maxn],invb[maxn],sm[maxn];
void init(int n){
b[0]=1;
FOR(i,1,n+1)b[i]=1ll*b[i-1]*bb%mod;
invb[0]=1,invb[1]=qpow(bb,mod-2,mod);
FOR(i,2,n+1)invb[i]=1ll*invb[i-1]*invb[1]%mod;
FOR(i,1,n+1)sm[i]=(sm[i-1]+b[i])%mod;
}
void pushup(int rt){
sum[rt]=(sum[rt<<1]+sum[rt<<1|1])%mod;
t[rt]=max(t[rt<<1],t[rt<<1|1]);
}
void pushdown(int rt,int l,int r){
if(lz[rt]){
int mid=l+r>>1;
t[rt<<1]+=lz[rt];
t[rt<<1|1]+=lz[rt];
lz[rt<<1]+=lz[rt];
lz[rt<<1|1]+=lz[rt];
sum[rt<<1]=(sum[rt<<1]+1ll*(sm[mid]-sm[l-1])*lz[rt]%mod)%mod;
sum[rt<<1|1]=(sum[rt<<1|1]+1ll*(sm[r]-sm[mid])*lz[rt]%mod)%mod;
lz[rt]=0;
}
}
void build(int rt,int l,int r){
if(l==r){
t[rt]=a[l];
sum[rt]=1ll*a[l]*b[l]%mod;
return;
}
int mid=l+r>>1;
build(rt<<1,l,mid);
build(rt<<1|1,mid+1,r);
pushup(rt);
}
void cg(int rt,int l,int r,int ql,int qr){
if(ql<=l && r<=qr){
t[rt]++;
sum[rt]=(sum[rt]+(sm[r]-sm[l-1])%mod)%mod;
lz[rt]++;
return;
}
int mid=l+r>>1;
pushdown(rt,l,r);
if(ql<=mid && qr>=l)cg(rt<<1,l,mid,ql,qr);
if(ql<=r && qr>=mid+1)cg(rt<<1|1,mid+1,r,ql,qr);
pushup(rt);
}
void check(int rt,int l,int r){
if(l==r){
if(t[rt]>=limt)t[rt]=0,sum[rt]=0;
lz[rt]=0;
return;
}
int mid=l+r>>1;
pushdown(rt,l,r);
if(t[rt<<1]>=limt)check(rt<<1,l,mid);
if(t[rt<<1|1]>=limt)check(rt<<1|1,mid+1,r);
pushup(rt);
}
int qry(int rt,int l,int r,int ql,int qr){
if(ql<=l && r<=qr)return sum[rt];
int mid=l+r>>1,ans=0;
pushdown(rt,l,r);
if(ql<=mid && qr>=l)ans=qry(rt<<1,l,mid,ql,qr);
if(ql<=r && qr>=mid+1)ans=(ans+qry(rt<<1|1,mid+1,r,ql,qr))%mod;
pushup(rt);
return ans;
}
int main(){
int n=rd(),q=rd();
FOR(i,1,n+1)a[i]=rd();
init(n);
build(1,1,n);
while(q--){
int op=rd();
if(op==1){
int l=rd(),r=rd();
cg(1,1,n,l,r);
check(1,1,n);
}else{
int x=rd(),y=rd(),l=rd();
int ans1=qry(1,1,n,x,x+l-1),ans2=qry(1,1,n,y,y+l-1);
ans1=(ans1+mod)%mod;
ans2=(ans2+mod)%mod;
ans1=1ll*ans1*invb[x-1]%mod;
ans2=1ll*ans2*invb[y-1]%mod;
if(ans1==ans2)wrsn("yes");else wrsn("no");
}
}
}