acm-(哈希、线段树)2020 China Collegiate Programming Contest, Weihai Site G.Caesar Cipher

传送门
本题让对字符串进行区间加操作，然后随机询问两个子串是否相同。

如果是普通的区间加操作，我们直接用线段树维护每个节点的哈希值即可，子串哈希值可以直接查询区间哈希值然后再除以基数的幂次获得。不过本题中区间加需要对$65536$取模，不过我们可以再每次区间加后通过线段树找到所有刚好等于$65536$的点，然后将它的值变成0即可，这样修改的次数其实不会很多，由于每$65536$次区间加操作最多导致$65536$次取模操作，故实际上均摊下来每次操作最多对一个点进行修改，复杂度是$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");
		}
	}
}