acm-(主席树)Codeforces Round #668 (Div. 1) C. Fixed Point Removal

传送门
首先假设前$i$个数有$f_i$个可以被删除，那么$f_i=f_{i-1}+[i-a_i\ge 0or{f}_i\ge i-a_i]$。

证明：我们可以先删除前$i-1$个数中的$i-a_i$个可删的数，此时刚好可以把$a_i$删除，于是把$a_i$删除以后再去删除前面剩下的可删除的数即可。

设最多长度为$lim[i]$的前缀被锁定(即无法操作)后能够保证$a_i$仍然能被删除，考虑二分$lim[i]$的值，因为$lim[i]$小的时候$a_i$能被删除的可能性更大。$check$的时候考虑对于前$i-1$个数假设有$c$个数$lim$大于等于$mid$，若$c\ge i-a_i$那么我们就知道$lim[i]\ge c$。

由于需要查询区间大于等于$x$的数个数，因此需要用到主席树，由于数字是$0\sim n-1$，不妨加个一即可。

对于查询而言，我们只需要查询$[x,n-y]$区间内满足$lim\ge x$的数有多少个即可。

int a[maxn],lim[maxn],t[maxn<<5],tot=0,root[maxn],l[maxn<<5],r[maxn<<5];

void build(int &rt,int tl,int tr){
	rt=++tot;
	if(tl==tr)return;
	int mid=tl+tr>>1;
	build(l[rt],tl,mid);
	build(r[rt],mid+1,tr);
}
void add(int &rt,int pre,int tl,int tr,int x){
	rt=++tot;
	t[rt]=t[pre]+(x!=-1);l[rt]=l[pre],r[rt]=r[pre];
	if(tl==tr)return;
	int mid=tl+tr>>1;
	if(x<=mid)add(l[rt],l[pre],tl,mid,x);
	else add(r[rt],r[pre],mid+1,tr,x);
}
int qry(int L,int R,int tl,int tr,int x){
	int sm=t[R]-t[L];
	if(tl>=x)return sm;
	int mid=tl+tr>>1,ans=0;
	if(mid>=x)ans+=qry(l[L],l[R],tl,mid,x);
	ans+=qry(r[L],r[R],mid+1,tr,x);
	return ans;
}
int main(){
	int n=rd(),q=rd();
	build(root[0],1,n);
	FOR(i,1,n+1){
		int u=rd();
		u=i-u;
		if(u<0){
			lim[i]=-1;
			add(root[i],root[i-1],1,n,-1);
		}
		else{
			int l=0,r=i-1,ans=-1;
			while(l<=r){
				int mid=l+r>>1;
				if(qry(root[0],root[i-1],1,n,mid+1)>=u){
					l=mid+1;
					ans=mid+1;
				}else r=mid-1;
			}
			lim[i]=ans;
			add(root[i],root[i-1],1,n,lim[i]);
		}
	}
	while(q--){
		int x=rd(),y=rd();
		x++;
		int ans=qry(root[x-1],root[n-y],1,n,x);
		wrn(ans);
	}
}