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=,fh=;char c=getchar();
     while(c<''||c>''){if(c=='-')fh=-;c=getchar();}
     while(c>=''&&c<=''){ret=ret*+c-'';c=getchar();}
     return ret*fh;
 }
 int bin[];
 struct Trie{
 int ch[N2][],root[N1],num[N2],tot;
 void init(){
     tot=;int x=;root[]=;
     for(int i=;i>=;i--)
         ch[x][]=++tot,x=ch[x][],num[x]=;
 }
 void insert(uint s,int id,int w)
 {
     int p,x,y;
     root[id]=++tot;
     x=root[id],y=root[id-];
     for(int i=;i>=;i--){
         p=(s&bin[i])?:;
         ch[x][p]=++tot;
         ch[x][p^]=ch[y][p^];
         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=;
     y=l<?:root[l],x=root[r];
     for(int i=;i>=;i--){
         p=(s&bin[i])?:;
         if(num[ch[x][p^]]-num[ch[y][p^]]>){
             x=ch[x][p^],y=ch[y][p^];
             ans|=bin[i];
         }else if(num[ch[x][p]]-num[ch[y][p]]>){
             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=;i<=;i++)
         bin[i]=(<<i);
     T.init();
     for(int i=;i<=n;i++)
     {
         a[i]=gint();
         pa[i]=pa[i-]^a[i];
         T.insert(pa[i],i,);
     }
     char str[];
     int l,r;uint x;
     for(int i=;i<=m;i++)
     {
         scanf("%s",str);
         if(str[]=='A'){
             n++;a[n]=gint();
             pa[n]=pa[n-]^a[n];
             T.insert(pa[n],n,);
         }else{
             l=gint(),r=gint(),x=gint();
             printf("%u\n",T.query(l-,r-,pa[n]^x));
         }
     }
     return ;
 }