【BZOJ】【P3166】【Heoi2013】【Alo】【题解】【可持久化Trie+set】

传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=3166

区间xor最大,用可持久化Trie解决,其实问题就在于找一个合适的最大的区间

把a排序,按权值从大往小计算,用set维护前驱后继,那么可行的区间就是[前驱的前驱+1,后继的后继-1]

P.S. 

加强型数据By Hta

1.仍然没有卡掉直接暴力 = =  、

2.发现网上很多人的标程是[前驱的前驱,后继的后继]居然就过了，把全局最大值计算进去也居然过了

出组数据叉掉

3

7 5 1

正解是 4 ,有很多人输出 6

Code:

#include<bits/stdc++.h>
using namespace std;
const int maxn=50010;
struct node{
	int size;
	node *c[2];
	node(node *C=0){size=0;c[0]=c[1]=C;}
}*root[maxn],*Null;
int n;
int a[maxn],b[maxn];
bool cmp(int x,int y){return a[x]>a[y];}
set<int>S;
node *insert(node *x,int val,int d){
	node *y=new node(Null);
	*y=*x;y->size++;
	int v=val>>d&1;
	if(d<0)return y;
	y->c[v]=insert(x->c[v],val,d-1);
	return y;
}
int Qmax(node *x,node *y,int val,int d){
	if(d<0)return 0;
	int v=!(val>>d&1);
	if(x->c[v]->size>y->c[v]->size)
		return Qmax(x->c[v],y->c[v],val,d-1)+(1<<d);
	return Qmax(x->c[!v],y->c[!v],val,d-1);
}
int main(){
	Null=new node();
	Null->c[0]=Null->c[1]=Null;
	root[0]=Null;
	scanf("%d",&n);
	for(int i=1;i<=n;i++){
		scanf("%d",&a[i]);b[i]=i;
		root[i]=insert(root[i-1],a[i],30);
	}sort(b+1,b+1+n,cmp);
	S.insert(-1);
	S.insert(-2);
	S.insert(b[1]);
	S.insert(n+1);
	S.insert(n+2);
	int ans=0;
	for(int i=2;i<=n;i++){
		int l=max(*--(--S.lower_bound(b[i]))+1,1);
		int r=min(*++S.upper_bound(b[i])-1,n);
		if(l>r)continue;S.insert(b[i]);
		ans=max(ans,Qmax(root[r],root[l-1],a[b[i]],30));
	}cout<<ans<<endl;
	return 0;
}