可持久化指的是可以记录所有的历史版本,即记录下来每一步操作后的状态
下图模拟过程
题目: 最大异或和
给定一个非负整数序列 a,初始长度为 N。
有 M 个操作,有以下两种操作类型:
A x
:添加操作,表示在序列末尾添加一个数 x,序列的长度 N 增大 1。Q l r x
:询问操作,你需要找到一个位置 p,满足 l ≤ p ≤ r,使得:a[p] xor a[p+1] xor … xor a[N] xor x 最大,输出这个最大值。
输入格式
第一行包含两个整数 N,M,含义如问题描述所示。
第二行包含 N 个非负整数,表示初始的序列 A。
接下来 M 行,每行描述一个操作,格式如题面所述。
输出格式
每个询问操作输出一个整数,表示询问的答案。
每个答案占一行。
数据范围
N,M ≤ 3×105,0 ≤ a[i] ≤ 107。
输入样例:
5 5
2 6 4 3 6
A 1
Q 3 5 4
A 4
Q 5 7 0
Q 3 6 6
输出样例:
4
5
6
题意分析:设S[ N ] 为前缀异或和,则题意可以转化为在给定区间内寻找一个S [ p ]使得
^ S [ p ] ^ x最大 ,用可持久化线段树就可维护每一个版本,找出区间
#include<cstring>
#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
const int N=600010,M=N*25;
int n,m;
int s[N];
int tr[M][2],max_id[M];//trie树 以此为根节点的最大下标
int root[N],idx;
//下标 当前处理到第几位 上一个版本 最新版本
void insert(int i,int k,int p,int q)
{
if(k<0)//处理完全部
{
max_id[q]=i;
return;
}
int v=s[i]>>k&1;
if(p)//旧的版本有直接复制过来
tr[q][v^1]=tr[p][v^1];
tr[q][v]=++idx;
insert(i,k-1,tr[p][v],tr[q][v]);
max_id[q]=max(max_id[tr[q][0]],max_id[tr[q][1]]);
}
int query(int root,int c,int l)
{
int p=root;
for(int i=23;i>=0;i--)
{
int v=c>>i&1;
if(max_id[tr[p][v^1]]>=l)//至少有一个下标大于l
p=tr[p][v^1];
else//退而求其次
p=tr[p][v];
}
return c^s[max_id[p]];
}
int main()
{
scanf("%d%d",&n,&m);
//初始化
max_id[0]=-1;
root[0]=++idx;
insert(0,23,0,root[0]);
for(int i=1;i<=n;i++)
{
int x;
scanf("%d",&x);
s[i]=s[i-1]^x;
root[i]=++idx;
insert(i,23,root[i-1],root[i]);
}
char op[2];
int l,r,x;
while(m--)
{
scanf("%s",op);
if(*op=='A')
{
scanf("%d",&x);
n++;
s[n]=s[n-1]^x;
root[n]=++idx;
insert(n,23,root[n-1],root[n]);
}
else
{
scanf("%d%d%d",&l,&r,&x);
printf("%d\n",query(root[r-1],s[n]^x,l-1));
}
}
}