BZOJ3261: 最大异或和

$n leq 300000$的数列支持$m leq 300000$个操作：在末端插入一个数；询问整个数列的所有后缀异或和中$[L,R]$这些后缀异或和，异或上数字$x$后的哪一个最大。数字$leq 1e7$。

转前缀和，变成$pre_n xor pre_{p-1} xor x,L-1 leq p leq R-1$。在区间里找一个数能异或上某个数最大，干这事需要可持久化Trie。写过主席树的可以直接yy。

#include<stdio.h>
#include<string.h>
//#include<iostream>
#include<algorithm>
using namespace std;

#define LL long long
int qread()
{
    char c; int s=0,t=1; while ((c=getchar())<'0' || c>'9') (c=='-') && (t=-1);
    do s=s*10+c-'0'; while ((c=getchar())>='0' && c<='9'); return s*t;
}

//

int n,m;
#define maxn 600011
int root[maxn];
struct Trie
{
    struct Node{int ls,rs,cnt;}a[maxn*26];
    int size;
    void insert(int &x,int y,int v)
    {
        int w=x=++size; a[w].cnt=1;
        for (int i=25;~i;i--)
        {
            int u=(v>>i)&1;
            a[w].ls=a[y].ls; a[w].rs=a[y].rs;
            if (u) {a[w].rs=++size; w=size; y=a[y].rs;}
            else {a[w].ls=++size; w=size; y=a[y].ls;}
            a[w].cnt=a[y].cnt+1;
        }
    }
    int query(int x,int y,int v)
    {
        int ans=0;
        for (int i=25;~i;i--)
        {
            int u=(v>>i)&1;
            if (u)
            {
                if (a[a[y].ls].cnt>a[a[x].ls].cnt)
                {
                    ans|=(1<<i);
                    y=a[y].ls; x=a[x].ls;
                }
                else y=a[y].rs,x=a[x].rs;
            }
            else
            {
                if (a[a[y].rs].cnt>a[a[x].rs].cnt)
                {
                    ans|=(1<<i);
                    y=a[y].rs; x=a[x].rs;
                }
                else y=a[y].ls,x=a[x].ls;
            }
        }
        return ans;
    }
}t;

int a[maxn];
int main()
{
    n=qread(); m=qread();
    t.insert(root[0],0,0);
    for (int i=1,x;i<=n;i++)
    {
        x=qread(); a[i]=a[i-1]^x;
        t.insert(root[i],root[i-1],a[i]);
    }
    
    char c; int x,y,v;
    while (m--)
    {
        while ((c=getchar())!='A' && c!='Q');
        if (c=='A')
        {
            scanf("%d",&v);
            n++; a[n]=a[n-1]^v;
            t.insert(root[n],root[n-1],a[n]);
        }
        else
        {
            scanf("%d%d%d",&x,&y,&v);
            printf("%d
",t.query(x>1?root[x-2]:0,root[y-1],v^a[n]));
        }
    }
    return 0;
}