神奇的题mexII--nkoj2691

【冬季集训】Mex II

Time Limit:20000MS  Memory Limit:123456K
Case Time Limit:1000MS

Description

在SG定理中，对于一个由自然数组成的有限集合S，mex{S}定义为不在集合S中的最小自然数，例如mex{0,1,2}=3,mex{2,3,5}=0. 
给你一个长度为N的非负整数序列{A₁,A₂, ... ,A_N},定义mex(l,r)=mex{A_l,A_l+1, ... ,A_r}. 
现有Q个询问，每次提问mex(l,r)的值.

Input

第一行两整数N,Q， 
第二行N个整数，第i个数为A_i 
接下来Q行每行两个数为一次提问。

Output

对每次提问输出一行，为这次提问的答案。

Sample Input

7 5
0 2 1 0 1 3 2
1 3
2 3
1 4
3 6
2 7

Sample Output

3
0
3
2
4

Hint

1<=N<=200000 
1<=Q<=200000 
0<=A_i<=200000 

Source

BZOJ 3339

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<vector> 
#define inf 1e9
using namespace std;
const int maxn=200005;
priority_queue<int,vector<int>,greater<int> >q;
int mex[maxn];
int s[maxn];
int last[maxn],_next[maxn];
bool mark[maxn];
struct node{
	int a,b;
	int v;
	int lazy;
};
node tree[maxn*4];
struct node2{
	int a,b,num,ans;
};
node2 query[maxn];
bool cmp1(node2 a,node2 b){
	if(a.a==b.a)return a.b<b.b;
	return a.a<b.a;
}
bool cmp2(node2 a,node2 b){
	return a.num<b.num;
}
int main(){
	int n,m,i,j,k;
	cin>>n>>m;
	mex[0]=0;
	for(i=1;i<=n;i++){
		scanf("%d",&s[i]);
		if(mark[s[i]]==false){
			q.push(s[i]);
			mark[s[i]]=true;
		}
		mex[i]=mex[i-1];
		while(q.size()&&mex[i]==q.top()){
			mex[i]++;
			q.pop();
		}
	}
	for(i=1;i<=m;i++){
		scanf("%d%d",&query[i].a,&query[i].b);
		query[i].num=i;
	}
	sort(query+1,query+1+m,cmp1);
	for(i=n;i;i--){
		_next[i]=last[s[i]];
		last[s[i]]=i;
	}
	int l=1;
	for(i=1;i<=m;i++){

		int a=query[i].a;
		while(l<a){
			if(_next[l]==0)_next[l]=n+1;
			int pos=lower_bound(mex+1+l,mex+_next[l],s[l])-mex;
			if(pos<s[l])pos=inf;
			for(int j=pos;j<=min(_next[l]-1,n);j++)mex[j]=s[l];
			l++;
		}
		query[i].ans=mex[query[i].b];
	}
	sort(query+1,query+1+m,cmp2);
	for(i=1;i<=m;i++){
		printf("%d\n",query[i].ans);
	}
}