BZOJ 3261 最大异或和 (可持久化01Trie)

题目大意：让你维护一个序列，支持在序列末插入一个数，支持询问$[l,r]$区间内选择一个位置$p$，使$xor\sum_{i=p}^{n}a_{i}$最大

可持久化$01Trie$裸题，把 区间异或和 转化为区间端点前缀异或和的异或值

即求$xsum_{n}\;xor\;max(xsum_{i})i\in[l-1,r-1]$的最大值

那么在可持久化$01Trie$里是$r-1$的$Trie$对$l-2$的$Trie$做差

需要先把$0$推入$Trie$里

#include <cmath>
#include <queue>
#include <vector>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define N1 600100
#define N2 16000100
#define MM 100
#define ll long long
#define dd double  
#define uint unsigned int
#define mod 1000000007
#define idx(X) (X-'a')
using namespace std;

int gint()
{
    int ret=0,fh=1;char c=getchar();
    while(c<'0'||c>'9'){if(c=='-')fh=-1;c=getchar();}
    while(c>='0'&&c<='9'){ret=ret*10+c-'0';c=getchar();}
    return ret*fh;
}
int bin[25];
struct Trie{
int ch[N2][2],root[N1],num[N2],tot;
void init(){
    tot=1;int x=1;root[0]=1;
    for(int i=23;i>=0;i--)
        ch[x][0]=++tot,x=ch[x][0],num[x]=1;
}
void insert(uint s,int id,int w)
{
    int p,x,y;
    root[id]=++tot;
    x=root[id],y=root[id-1];
    for(int i=23;i>=0;i--){
        p=(s&bin[i])?1:0;
        ch[x][p]=++tot;
        ch[x][p^1]=ch[y][p^1];
        x=ch[x][p],y=ch[y][p];
        num[x]=num[y]+w;
    }
}
uint query(int l,int r,uint s)
{
    int x,y,sx,sy,p;uint ans=0;
    y=l<0?0:root[l],x=root[r];
    for(int i=23;i>=0;i--){
        p=(s&bin[i])?1:0;
        if(num[ch[x][p^1]]-num[ch[y][p^1]]>0){
            x=ch[x][p^1],y=ch[y][p^1];
            ans|=bin[i];
        }else if(num[ch[x][p]]-num[ch[y][p]]>0){
            x=ch[x][p],y=ch[y][p];
        }else break;
    }return ans;
}
}T;
int n,m;
uint a[N1],pa[N1];

int main()
{
    //freopen("t1.in","r",stdin);
    scanf("%d%d",&n,&m);
    for(int i=0;i<=23;i++)
        bin[i]=(1<<i);
    T.init();
    for(int i=1;i<=n;i++)
    {
        a[i]=gint();
        pa[i]=pa[i-1]^a[i];
        T.insert(pa[i],i,1);
    }
    char str[10];
    int l,r;uint x;
    for(int i=1;i<=m;i++)
    {
        scanf("%s",str);
        if(str[0]=='A'){
            n++;a[n]=gint();
            pa[n]=pa[n-1]^a[n];
            T.insert(pa[n],n,1);
        }else{
            l=gint(),r=gint(),x=gint();
            printf("%u\n",T.query(l-2,r-1,pa[n]^x));
        }
    }
    return 0;
}