给定了一个长度不超过5e5的序列,0<=a[i]<65 536,q次操作,q不超过5e5。
操作1:[l,r]区间每个数加1,并且对65536取模
操作2:给出x,y,L,询问[x,x+l-1]
,[y,y+l-1]
两个区间的序列是否相等。
这题区间修改是每次加1,一共最多加nq,所以我们取模可以写成单点修改,
最多取模(n*q)/65536 次,(通过维护区间最大值剪枝实现这个暴力的单点修改。)
所以我们可以先不考虑取模,发现这题是可以用hash+线段树写的。
- 假设hash进制为base,令
p[i]=base^i
。我们令序列第i个位置的权值为p[i],用线段树维护区间权值和。[l,r]区间的权值和就是p[l]+p[l+1]...p[r]
. 同时线段树维护区间hash值之和。 - 区间加1实质就是区间hash值加上区间权值。
- 查询
[x,x+l-1] ,[y,y+l-1]
,不妨假设x<y,我们先查这两个区间的hash值t1,t2,然后t1*p[y-x]与t2相比,相等则说明序列相等。
总结一下:
通过赋予区间一个权值来实现hash,线段树维护区间hash值之和。
取模操作可以通过维护最大值+单点修改实现,每次区间修改完毕就去进行取模操作。
注:此题卡自然溢出,直接用ull会wa test12,模数要选别的比如19260827。
#include<bits/stdc++.h>
using namespace std;
//#pragma GCC optimize(2)
#define ull unsigned long long
#define ll long long
#define pii pair<int, int>
const int maxn = 5e5 + 10;
const int mod = 19260817;
const ll inf = (ll)4e16+5;
const int INF = 1e9 + 7;
const double pi = acos(-1.0);
const int base = 13331;
ll inv(ll b){
while(b==1)return 1;return(mod-mod/b)*inv(mod%b)%mod;}
inline ll read()
{
ll x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){
while(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch