【清华集训2014】mex

题意

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

$n,m\le200000, 0\le a_i\le10^9$

解法

首先，我们可以发现，对于大于$n$的$a_i$，我们可将它变成$n + 1$，这并不会影响最后的答案，证明显然。

那我们可以从前往后扫，用线段树维护每个自然数最后出现的位置，及一个区间内所有自然数最后出现的位置中最前的位置（前者是后者在叶子节点的体现）。那我们扫到一个位置，更新该位置自然数最后出现的位置，并处理右端点为该位置的询问。
对于一个左端点为$l$的询问，我们在线段树中查询，设当前结点的左端点$lt$，$lt$区间中自然数最前的位置$pos$，若$pos < l$，说明该区间内有自然数最晚出现的位置是在$l$前面，那么答案肯定就在这个区间内，我们就递归进$lt$查询。否则，我们递归进右子结点查询。