明显可以用可持久化01Trie树来搞,Tire树可持久化方式同主席树。
用set判断可行区间具体见代码。
#include<cstdio>
#include<iostream>
#include<set>
#include<algorithm>
using namespace std;
const int maxn = 55000;
const int inf = 0x3f3f3f3f;
const int K = 31;
int ch[maxn*34][2],root[maxn],sum[maxn*34],cnt,n,m,ans;
set<int> q;
struct node
{
int val,pos;
};
node T[maxn];
bool cmp(node a,node b)
{
return a.val>b.val;
}
inline void insert(int &rt,int x,int t){
rt=++cnt;
int y;sum[y=rt]=sum[x]+1;
for(int i=K;~i;i--)
{
if((t>>i)&1)
ch[y][0]=ch[x][0],y=(ch[y][1]=++cnt),x=ch[x][1];
else
ch[y][1]=ch[x][1],y=(ch[y][0]=++cnt),x=ch[x][0];
sum[y]=sum[x]+1;
}
}
inline int MAX(int l,int r,int t){
int ret=0,op;
for(int i=K;~i;i--)
{
op=(t>>i)&1;
if(sum[ch[r][op^1]]-sum[ch[l][op^1]])
ret+=(1<<i),r=ch[r][op^1],l=ch[l][op^1];
else
r=ch[r][op],l=ch[l][op];
}
return ret;
}
int main()
{
scanf("%d",&n);
for(int i=1;i<=n;i++) scanf("%d",&T[i].val),T[i].pos=i;
for(int i=1;i<=n;i++) insert(root[i],root[i-1],T[i].val);
q.insert(-1);q.insert(inf);q.insert(-2);q.insert(inf+1);
sort(T+1,T+n+1,cmp);
q.insert(T[1].pos);
for(int i=2;i<=n;i++)
{
int l=T[i].pos,r=T[i].pos,x=T[i].pos;
set<int> :: iterator t,p;
p=q.lower_bound(x);
t=p;
r=*t;t++;r=*t-1;
l=*--p;p--;l=*p+1;
l=max(1,l);r=min(r,n);
if(l!=r) ans=max(ans,MAX(root[l-1],root[r],T[i].val));
q.insert(x);
}
printf("%d\n",ans);
return 0;
}