luogu P4735 最大异或和

最新推荐文章于 2022-08-21 17:20:27 发布

zsyz_ZZY

最新推荐文章于 2022-08-21 17:20:27 发布

阅读量204

点赞数

分类专栏： # trie树文章标签： trie树

本文链接：https://blog.csdn.net/zsyz_ZZY/article/details/89553930

版权

trie树专栏收录该内容

3 篇文章 0 订阅

订阅专栏

背景：

$h e h e . . .$

题目传送门：

https://www.luogu.org/problemnew/show/P4735

题意：

一个序列，支持两种操作加入一个元素 $x$ 或给出 $l, r, x$ ，询问在 $[l, r]$ 中找到一个点 $p$ ，使得 $a_p⊕a_{p+1}⊕a_{p+2}⊕...⊕a_{n}⊕x$ 最大，求这个的最大值。

思路：

$\text{back to summary}$ .
异或的解决方法一般有线性基和 $\text{01Trie}$ 。
这是一道动态的问题，需要动态的方式，当然是动态 $\text{01Trie}$ ，即可持久化 $\text{01Trie}$ 。
其实我们知道可持久化线段树（一种实现方式是主席树），运用类似的思想构建一棵可持久化 $\text{01Trie}$ 。
我们可以求出异或前缀 $pre_i$ 。
$a_p⊕a_{p+1}⊕a_{p+2}⊕...⊕a_{n}⊕x$

$pre_{p-1}⊕pre_{n}⊕x$

$pre_{p-1}⊕(pre_{n}⊕x)$
而 $pre_{n}⊕x$ 是已知的，不妨设为 $S$ 。
我们就转化成求 $S⊕pre_{p-1}$ 的最大值，其中 $p \in [l, r]$ 。
这等价于求 $S⊕pre_{p}$ 的最大值，其中 $p \in [l - 1, r - 1]$ 。
注意一下 $l = 1$ （即 $l - 1 = 0$ ）时要特判一下。
还是递归版比较和谐。
$\text{over.}$

代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
	int root[20000000],tot[20000000],pre[600010];
	int tr[20000000][2];
	int n,m,len=0;
void insert(int now,int last,int t,int x)
{
	if(t<0) return;
	int tmp=(x>>t)&1;
	tr[now][tmp]=++len;
	tr[now][tmp^1]=tr[last][tmp^1];
	tot[tr[now][tmp]]=tot[tr[last][tmp]]+1;
	insert(tr[now][tmp],tr[last][tmp],t-1,x);
}
int query(int now,int last,int t,int x)
{
	if(t<0) return 0;
	int tmp=(x>>t)&1;
	if(tot[tr[now][tmp^1]]<tot[tr[last][tmp^1]]) return (1<<t)|query(tr[now][tmp^1],tr[last][tmp^1],t-1,x); else return query(tr[now][tmp],tr[last][tmp],t-1,x);
}
int main()
{
	int l,r,x;
	char s[5];
	scanf("%d %d",&n,&m);
	root[0]=++len;
	insert(root[0],0,25,0);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&x);
		pre[i]=pre[i-1]^x;
		root[i]=++len;
		insert(root[i],root[i-1],25,pre[i]);
	}
	for(int i=1;i<=m;i++)
	{
		scanf("%s",s+1);
		if(s[1]=='A')
		{
			scanf("%d",&x);
			n++;
			pre[n]=pre[n-1]^x;
			root[n]=++len;
			insert(root[n],root[n-1],25,pre[n]);
		}
		else
		{
			scanf("%d %d %d",&l,&r,&x);
			l--,r--;
			printf("%d\n",query(!l?0:root[l-1],root[r],25,x^pre[n]));
		}
	}
}