2741: 【FOTILE模拟赛】L 分块+可持久化trie

…神题 不会做

---

考虑分块，我们用$head_i$表示第i个块的第一个元素的位置，用$f_{i,j}$表示区间$[head_i,j]$之间的最大答案。
然后我们可以递推一下：

$$f_{i,j}=max(f_{i,j-1},query(root_{head_i-1},root_j,b_j))$$
其中$query(root_{head_i-1},root_j,b_j)$表示在可持久化trie中查询与$b_j$异或的最大值。
然后对于一次询问$l,r$，令$now=belong_l+1$，先令$ans=f_{now,r}$,这可能是一个较优的答案，然后再处理块外的部分，枚举$[l,head_{now}]$的每一个前缀异或和放在可持久化trie里查询，注意判断$l,r$在同一个块内的情况。
强制在线的地方注意开$long \ long$。

#include<iostream>
#include<cstdio>
#include<cmath>
#define N 12005
#define M 700005
using namespace std;
int n,m,cnt,ans,size,block;
int tree[M][2],sum[M];
int a[N],b[N],root[N],belong[N],head[155],f[155][N];
inline int read()
{
    int a=0,f=1; char c=getchar();
    while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
    while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
    return a*f;
}
inline int insert(int x,int val)
{
    int tmp,y; tmp=y=++size;
    for (int i=30;~i;i--)
    {
        int t=val&(1<<i); t>>=i;
        tree[y][0]=tree[x][0]; tree[y][1]=tree[x][1];
        x=tree[x][t]; y=tree[y][t]=++size;
        sum[y]=sum[x]+1;
    }
    return tmp;
}
inline int query(int x,int y,int val)
{
    int tmp=0;
    for (int i=30;~i;i--)
    {
        int t=val&(1<<i); t>>=i; t^=1;
        if (sum[tree[y][t]]-sum[tree[x][t]])
            x=tree[x][t],y=tree[y][t],tmp|=(1<<i);
        else x=tree[x][t^1],y=tree[y][t^1];
    }
    return tmp;
}
int main()
{
    n=read(); m=read(); 
    block=(int)(sqrt(n));
    if (n%block==0) cnt=n/block; else cnt=n/block+1;
    for (int i=1;i<=n;i++) belong[i]=(i-1)/block+1;
    for (int i=1;i<=cnt;i++) head[i]=(i-1)*block+1;
    for (int i=1;i<=n;i++) 
    {
        a[i]=read();
        b[i]=b[i-1]^a[i];
        root[i]=insert(root[i-1],b[i]);
    }
    for (int i=1;i<=cnt;i++)
        for (int j=head[i]+1;j<=n;j++)
            f[i][j]=max(f[i][j-1],query(root[head[i]-1],root[j],b[j]));
    for (int i=1;i<=m;i++)
    {
        int x=read(),y=read(),l,r;
        l=min((((long long)x+ans)%n)+1,(((long long)y+ans)%n)+1);
        r=max((((long long)x+ans)%n)+1,(((long long)y+ans)%n)+1);
        int now=belong[l];
        if (l!=head[now]) now++;
        ans=f[now][r];
        for (int j=l;j<=min(r,head[now]);j++)
            ans=max(ans,query(root[l-1],root[r],b[j-1]));
        printf("%d\n",ans);
    }
    return 0;
}