题目大意:
在数列An中,问是否存在一个最大的H,使得An中恰好有比H多个大于H的数字存在。
这题比较难的一点是,它会不断增加数字,每增加一次需要再找一个H。
解题思路:
假如这里没让我们增加数字的话,显然一个排序再加一个二分查找就完成了。但是这里N的规模高达1e5,所以不允许使用n^2的算法。但是我们发现每个数字小于等于1e5,这时候我们需要想到在值域中建模。什么意思呢?每次多一个数,我们就在数组对应位置+1,然后这个数组我们用RSQ线段树维护,这时候就达到修改然后再询问二分的操作。
就是说,我们每次更新线段树后,我们就可以从[1,1e5]这个范围进行二分询问,若后面的数字求和大于中点我们就往一个方向推,否则反个方向去推。
废话:
这里比较难想到的是线段树!最根本的问题是没想到这种在值域上每来一个数字对应位置+1。
然后是二分的问题,注意这里最后得到的结果需要减个1.
#include <bits/stdc++.h>
#define left(x) (x<<1)
#define right(x) ((x<<1)+1)
using namespace std;
const int MAXN=1e5+10;
int st[4*MAXN];
int update(int root,int l,int r,int ql,int qr,int v){
if(l>=ql && r<=qr)return st[root]+=v;
if(l>qr || r<ql)return st[root];
int m=l+(r-l)/2;
int lv=update(left(root),l,m,ql,qr,v);
int rv=update(right(root),m+1,r,ql,qr,v);
return st[root]=lv+rv;
}
int query(int root, int l,int r,int ql,int qr){
if(l>=ql && r<=qr)return st[root];
if(l>qr || r<ql)return 0;
int m=l+(r-l)/2;
int lv=query(left(root),l,m,ql,qr);
int rv=query(right(root),m+1,r,ql,qr);
return lv+rv;
}
int main(){
int cas;cin>>cas;
for(int ca=0;ca<cas;ca++){
memset(st,0,sizeof(st));
int n;cin>>n;
printf("Case #%d:",ca+1);
for(int i=0;i<n;i++){
int t;cin>>t;
update(1,0,MAXN,t,t,1);
int x=1;int y=MAXN;
while(x<y){
int m=x+(y-x)/2;
// cerr<<x<<" "<<y<<" "<<m<<endl;
int ans=query(1,0,MAXN,m,MAXN);
if(ans>=m)x=m+1;
else y=m;
}
assert(x==y);
printf(" %d",x-1);
}
printf("\n");
}
return 0;
}