luogu P4137 mex

题面：

有一个长度为$n$的数组${a1,a2,…,an}$。$m$次询问，每次询问一个区间内最小没有出现过的自然数。

令$lst[i][r]$表示在$[1, r]$中数值$i$最后出现的位置

那么，我们要求的便是$min(t)$

使得$lst[t][r] \geqslant l(0 \leqslant t \leqslant t - 1)$

注意到$lst[][i]$相比于$lst[][i - 1]$其实只有一个地方变化了

可以考虑用可持久化线段树

$t$可以选择在线段树上二分，相应地需要维护$lst[]$的最小值

都挺简单，相信你们都会打代码吧

果然有不是差分的题。。。。。

#include <cstdio>
#include <algorithm>
#include <iostream>
#define sid 10000050
#define ri register int
using namespace std;

char RR[];
extern inline char gc() {
    static char *S = RR + , *T = RR + ;
    if(S == T) fread(RR, , , stdin), S = RR;
    return *S ++;
}
inline int read() {
    int p = , w = ; char c = gc();
    while(c > '' || c < '') { if(c == '-') w = -; c = gc(); }
    while(c >= '' && c <= '') { p = p *  + c - ''; c = gc(); }
    return p * w;
}

int n, m, cnt, tot;
int rt[], ls[sid], rs[sid], minhp[sid];

void Insert(int &now, int pre, int l, int r, int val, int pos) {
    now = ++ cnt;
    ls[now] = ls[pre]; rs[now] = rs[pre];
    if(l == r) { minhp[now] = pos; return; }
    int mid = (l + r) >> ;
    if(val <= mid) Insert(ls[now], ls[pre], l, mid, val, pos);
    else Insert(rs[now], rs[pre], mid + , r, val, pos);
    minhp[now] = min(minhp[ls[now]], minhp[rs[now]]);
}

int Query(int R, int l, int r, int L) {
    if(l == r) return l;
    int mid = (l + r) >> ;
    if(minhp[ls[R]] < L) return Query(ls[R], l, mid, L);
    else return Query(rs[R], mid + , r, L);
}

int main() {
    n = read(); m = read();
    for(ri i = ; i <= n; i ++) {
        int u = read();
        if(u >= n) rt[i] = rt[i - ];
        else Insert(rt[i], rt[i - ], , n, u, i);
    }
    for(ri i = ; i <= m; i ++) {
        int l, r;
        l = read(); r = read();
        printf("%d\n", Query(rt[r], , n, l));
    }
    return ;
}