bzoj3261 最大异或和 (可持久化trie+异或前缀和)

问题描述

给定一个非负整数序列{a}，初始长度为N。
有M个操作，有以下两种操作类型：
1、Ax：添加操作，表示在序列末尾添加一个数x，序列的长度N+1。
2、Qlrx：询问操作，你需要找到一个位置p，满足l<=p<=r，使得：
a[p] xor a[p+1] xor … xor a[N] xor x 最大，输出最大是多少。

Input

第一行包含两个整数 N ，M，含义如问题描述所示。
第二行包含 N个非负整数，表示初始的序列 A 。
接下来 M行，每行描述一个操作，格式如题面所述。

Output

假设询问操作有 T个，则输出应该有 T行，每行一个整数表示询问的答案。

Sample Input

5 5
2 6 4 3 6
A 1
Q 3 5 4
A 4
Q 5 7 0
Q 3 6 6
对于测试点 1-2，N,M<=5 。
对于测试点 3-7，N,M<=80000 。
对于测试点 8-10，N,M<=300000 。
其中测试点 1, 3, 5, 7, 9保证没有修改操作。
0<=a[i]<=10^7。

Sample Output

4
5
6

分析:

sum[i]表示前i项的异或和
a[p]^a[p+1]^...^a[n]=sum[p-1]^sum[n]
问题转化成:
l-1<=p-1<=r-1,找到一个sum[p-1]使得sum[p-1]^(sum[n]^x)最大
可持久化trie解决区间trie问题
(l-1)-(r-1)在可持久化trie中即r(r-1)-r(l-1-1)区间trie
因为l等于1的时候(l-1-1)会到-1，所以要调整一下下标

ps:
一看题马上想到的是异或后缀和
但是n是变化的,每次改变会影响所有后缀
因此只能用异或前缀和

code:

#include<iostream>
#include<algorithm>
#include<cstdio>
#include<vector>
#include<cstring>
using namespace std;
const int maxm=6e5+5;
const int maxd=23;
struct Node{
    int r[maxm],tot;
    int a[maxm<<5][2];
    int sum[maxm<<5];
    int add(int x,int last){
        int k=++tot;
        int t=k;
        for(int i=maxd;i>=0;i--){
            a[t][0]=a[last][0];//复制
            a[t][1]=a[last][1];
            int v=(x>>i&1);
            a[t][v]=++tot;
            t=a[t][v];
            last=a[last][v];
            sum[t]=sum[last]+1;//路径
        }
        return k;
    }
    int ask(int x,int l,int r){
        int ans=0;
        for(int i=maxd;i>=0;i--){
            int v=(x>>i&1);
            if(sum[a[r][v^1]]-sum[a[l][v^1]]){
                ans+=(1<<i);//走不同的时候异或为1，答案累加
                l=a[l][v^1];
                r=a[r][v^1];
            }else{
                l=a[l][v];
                r=a[r][v];
            }
        }
        return ans;
    }
}t;
int now;//异或前缀和
int n,m;
signed main(){
    scanf("%d%d",&n,&m);
    n++;//调整下标
    t.r[1]=t.add(0,t.r[0]);
    for(int i=2;i<=n;i++){//从2开始而不是从1开始，防止越界
        int x;
        scanf("%d",&x);
        now^=x;
        t.r[i]=t.add(now,t.r[i-1]);
    }
    while(m--){
        char s[5];
        scanf("%s",s);
        if(s[0]=='A'){
            int x;
            scanf("%d",&x);
            now^=x;
            n++;
            t.r[n]=t.add(now,t.r[n-1]);
        }else{
            int l,r,x;
            scanf("%d%d%d",&l,&r,&x);
            l++,r++;//调整下标
            int ans=t.ask(x^now,t.r[l-1-1],t.r[r-1]);//
            printf("%d\n",ans);
        }
    }
    return 0;
}