题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=6278
题目大意
给定一个序列和若干个查询，
查询给定区间中最大的h满足
至少有h个人其权值不小于h。
题目分析
其实只要知道区间第k小就可以二分做了，
然后区间第k小就用主席树搞一下即可，
然后二分答案，假设枚举到mid，
观察区间第mid小的数x，如果该位置答案R-mid+1符合计数规则，
则区间往左缩减，否则往右。时间复杂度:O(nlogn)
#include<bits/stdc++.h>
using namespace std;#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll long long#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
#define mst(a,b) memset((a),(b),sizeof(a))
#define pii pair<int,int>
#define fi first
#define se second
#define mk(x,y) make_pair(x,y)
const int mod=1e9+7;
const int maxn=1e5+5;
const int ub=1e6;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
/*
题目大意：
给定一个序列和若干个查询，
查询给定区间中最大的h满足
至少有h个人其权值不小于h。题目分析：
其实只要知道区间第k小就可以二分做了，
然后区间第k小就用主席树搞一下即可，
然后二分答案，假设枚举到mid，
观察区间第mid小的数x，如果该位置答案R-mid+1符合计数规则，
则区间往左缩减，否则往右。时间复杂度:O(nlogn)
*/
int n,q,a[maxn],b[maxn];
int rt[maxn*20],ls[maxn*20],rs[maxn*20],sum[maxn*20];///主席树
int tot=0;
void build(int& o,int l,int r){o=++tot;sum[o]=0;if(l==r) return ;int mid=l+r>>1;build(ls[o],l,mid);build(rs[o],mid+1,r);
}
void update(int& o,int l,int r,int last,int p){o=++tot;ls[o]=ls[last],rs[o]=rs[last];sum[o]=sum[last]+1;if(l==r) return ;int mid=l+r>>1;if(p<=mid) update(ls[o],l,mid,ls[last],p);else update(rs[o],mid+1,r,rs[last],p);
}
int query(int ss,int tt,int l,int r,int k){if(l==r) return l;int mid=l+r>>1;int cnt=sum[ls[tt]]-sum[ls[ss]];if(k<=cnt) return query(ls[ss],ls[tt],l,mid,k);else return query(rs[ss],rs[tt],mid+1,r,k-cnt);
}int main(){while(scanf("%d%d",&n,&q)!=EOF){rep(i,0,n) scanf("%d",&a[i]),b[i]=a[i];sort(b,b+n);int ub=unique(b,b+n)-b;tot=0;build(rt[0],1,ub);rep(i,0,n){int idx=lower_bound(b,b+ub,a[i])-b+1;update(rt[i+1],1,ub,rt[i],idx);}rep(i,0,q){int x,y;scanf("%d%d",&x,&y);int l=1,r=y-x+1,tmpp=r,ans=1;while(l<=r){int mid=l+r>>1;int tmp=query(rt[x-1],rt[y],1,ub,mid);if(b[tmp-1]>=tmpp-mid+1) ans=tmpp-mid+1,r=mid-1;else l=mid+1;}printf("%d\n",ans);}}return 0;
}