codeforces 940F 带修改的莫队

F. Machine Learning

time limit per test

4 seconds

memory limit per test

512 megabytes

input

standard input

output

standard output

You come home and fell some unpleasant smell. Where is it coming from?

You are given an array a. You have to answer the following queries:

1. You are given two integers l and r. Let ci be the number of occurrences of i in al: r, where al: r is the subarray of a from l-th element to r-th inclusive. Find the Mex of {c0, c1, ..., c109}
2. You are given two integers p to x. Change ap to x.

The Mex of a multiset of numbers is the smallest non-negative integer not in the set.

Note that in this problem all elements of a are positive, which means that c0 = 0 and 0 is never the answer for the query of the second type.

Input

The first line of input contains two integers n and q (1 ≤ n, q ≤ 100 000) — the length of the array and the number of queries respectively.

The second line of input contains n integers — a1, a2, ..., an (1 ≤ ai ≤ 109).

Each of the next q lines describes a single query.

The first type of query is described by three integers ti = 1, li, ri, where 1 ≤ li ≤ ri ≤ n — the bounds of the subarray.

The second type of query is described by three integers ti = 2, pi, xi, where 1 ≤ pi ≤ n is the index of the element, which must be changed and 1 ≤ xi ≤ 109 is the new value.

Output

For each query of the first type output a single integer  — the Mex of {c0, c1, ..., c109}.

Example

input

Copy

10 4
1 2 3 1 1 2 2 2 9 9
1 1 1
1 2 8
2 7 1
1 2 8

output

2
3
2

Note

The subarray of the first query consists of the single element — 1.

The subarray of the second query consists of four 2s, one 3 and two 1s.

The subarray of the fourth query consists of three 1s, three 2s and one 3.

大意：给出一个序列，两种操作。

1.询问一个区间内，把每种元素的个数组成一个集合，这个集合的mex值（不在集合中的最小值）。

2.单点修改。

题解：

莫队算法：

题目给出数值的大小过大，但是实际出现过的最多200000个，离散化，把出现过的数从小到大排列，和1——200000，一一对应。

这样题目中的每个数值都可以用1——200000中的数等价替换。

然后就是带修改的莫队。

其实就是多加了一维时间，三维和二维类比一下，就是先按照左端点分块，再按照右端点分块，块中时间单调。

块的大小需要时n^(2/3)，如果还是sqrt(n)会TLE。

因为块的大小是n^(2/3)的时候复杂度最低，通过考虑每种移动方式的复杂度可以证明，详情请移步大神博客：

https://www.luogu.org/blog/user12668/solution-p1903

 /*
 Welcome Hacking
 Wish You High Rating
 */
 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<ctime>
 #include<cstdlib>
 #include<algorithm>
 #include<cmath>
 #include<string>
 #include<map>
 using namespace std;
 int read(){
     int xx=,ff=;char ch=getchar();
     while(ch>''||ch<''){if(ch=='-')ff=-;ch=getchar();}
     while(ch>=''&&ch<=''){xx=xx*+ch-'';ch=getchar();}
     return xx*ff;
 }
 const int maxn=;
 int N,M,block,a[maxn],b[maxn],belong[maxn];
 struct query{
     int L,R,tim,id;
     bool friend operator<(const query&A,const query&B){
         if(belong[A.L]!=belong[B.L])
             return A.L<B.L;
         if(belong[A.R]!=belong[B.R])
             return A.R<B.R;
         return A.tim<B.tim;
     }
 }Q[maxn];
 struct change{
     int pos,x,y;
 }C[maxn];
 int tp1,tp2,tp;
 int pm[maxn*],arg[][maxn];
 map<int,int>mp;
 int rk[maxn*],tot;
 int cnt[maxn*],siz[maxn],ans[maxn];
 int x,y,z;
 inline void add(int i){
     siz[cnt[i]]--;
     siz[++cnt[i]]++;
 }
 inline void del(int i){
     siz[cnt[i]]--;
     siz[--cnt[i]]++;
 }
 inline void change_add(int i){
     if(C[i].pos>=x&&C[i].pos<=y){
         del(C[i].x);
         add(C[i].y);
     }
     a[C[i].pos]=C[i].y;
 }
 inline void change_del(int i){
     if(C[i].pos>=x&&C[i].pos<=y){
         del(C[i].y);
         add(C[i].x);
     }
     a[C[i].pos]=C[i].x;
 }
 int main(){
     //freopen("in.txt","r",stdin);
     N=read(),M=read();
     for(int i=;i<=N;i++)
         pm[++tp]=b[i]=read();

     for(int i=;i<=M;i++){
         for(int j=;j<=;j++)
             arg[j][i]=read();
         if(arg[][i]==)
             pm[++tp]=arg[][i];
     }

     sort(pm+,pm++tp);
     for(int i=;i<=tp;i++)
         if(!mp[pm[i]])
             mp[pm[i]]=++tot,rk[tot]=pm[i];

     for(int i=;i<=N;i++)
         a[i]=b[i]=mp[b[i]];
     for(int i=;i<=M;i++)
         if(arg[][i]==)
             arg[][i]=mp[arg[][i]];

     for(int i=;i<=M;i++)
         if(arg[][i]==)
             Q[++tp1].tim=tp2,Q[tp1].L=arg[][i],Q[tp1].R=arg[][i],Q[tp1].id=tp1;
         else
             C[++tp2].pos=arg[][i],C[tp2].x=b[C[tp2].pos],C[tp2].y=arg[][i],b[C[tp2].pos]=arg[][i];

     block=(int)pow(N+0.5,2.0/);//caution

     for(int i=;i<=N;i++)
         belong[i]=(i-)/block+;
     sort(Q+,Q++tp1);
     x=Q[].L,y=Q[].L-,z=;
     for(int i=;i<=tp1;i++){
         for(;x<Q[i].L;x++)
             del(a[x]);
         for(;x>Q[i].L;x--)
             add(a[x-]);
         for(;y<Q[i].R;y++)
             add(a[y+]);
         for(;y>Q[i].R;y--)
             del(a[y]);
         for(;z<Q[i].tim;z++)
             change_add(z+);
         for(;z>Q[i].tim;z--)
             change_del(z);

         for(int j=;;j++)
             if(!siz[j]){
                 ans[Q[i].id]=j;
                 break;
             }
     }
     for(int i=;i<=tp1;i++)
         printf("%d\n",ans[i]);
     return ;
 }