洛谷 P4137 Rmq Problem / mex

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

只会log^2的带修主席树。。

看了题解，发现有高妙的一个log做法：权值线段树上，设数i对应的值ma[i]为数i首次出现的位置（没有出现就是n+1）

如果把询问按左端点排序，这样就转化为：修改：...；询问：询问[1,r]的答案

修改问题不大

询问[1,r]就转化为查询当前权值线段树上最小的数i，其对应的ma[i]>r；维护一下区间最大值，然后线段树上二分即可

可持久化一下线段树，还可以支持在线

。。。好吧可持久化的话有点卡空间，发现mex一定<=n，那么线段树可以少开一点

哎，还是思路不够灵活啊...

跑的极其慢?

 #include<cstdio>
 #include<algorithm>
 #include<cstring>
 #include<vector>
 #include<map>
 using namespace std;
 #define fi first
 #define se second
 #define mp make_pair
 #define pb push_back
 typedef long long ll;
 typedef unsigned long long ull;
 typedef pair<int,int> pii;
 namespace S
 {
 const int N=;
 int maxn[N],lc[N],rc[N];
 int mem;
 int getnode(int f)
 {
     int t=++mem;
     maxn[t]=maxn[f];lc[t]=lc[f];rc[t]=rc[f];
     return t;
 }
 void setx(int L,int x,int l,int r,int &num)
 {
     num=getnode(num);
     if(l==r)    {maxn[num]=x;return;}
     int mid=l+((r-l)>>);
     if(L<=mid)    setx(L,x,l,mid,lc[num]);
     else    setx(L,x,mid+,r,rc[num]);
     maxn[num]=max(maxn[lc[num]],maxn[rc[num]]);
 }
 int getx(int R,int l,int r,int num)
 {
     if(l==r)    return l;
     int mid=l+((r-l)>>);
     if(maxn[lc[num]]>R)    return getx(R,l,mid,lc[num]);
     else    return getx(R,mid+,r,rc[num]);
 }
 }
 int rt[];
 int a[],nxt[];
 int n,m;
 map<int,int> ma;
 const int ld=,rd=;
 int main()
 {
     int i,l,r;
     S::maxn[]=0x3f3f3f3f;
     scanf("%d%d",&n,&m);
     for(i=;i<=n;i++)    scanf("%d",&a[i]);
     for(i=n;i>=;i--)
     {
         nxt[i]=ma.count(a[i])?ma[a[i]]:n+;
         ma[a[i]]=i;
         if(a[i]<=n)    S::setx(a[i],i,ld,rd,rt[]);
         //printf("1a %d %d\n",a[i],i);
     }
     for(i=;i<=n;i++)
     {
         rt[i]=rt[i-];
         if(a[i-]<=n)    S::setx(a[i-],nxt[i-],ld,rd,rt[i]);
         //printf("%da %d %d\n",i,a[i-1],nxt[i-1]);
     }
     while(m--)
     {
         scanf("%d%d",&l,&r);
         printf("%d\n",S::getx(r,ld,rd,rt[l]));
     }
     return ;
 }