可持久化Trie

可持久化指的是可以记录所有的历史版本，即记录下来每一步操作后的状态

下图模拟过程

题目： 最大异或和

给定一个非负整数序列 a，初始长度为 N。

有 M 个操作，有以下两种操作类型：

1. A x：添加操作，表示在序列末尾添加一个数 x，序列的长度 N 增大 1。
2. 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));
		}
	}
}