题意:
维护一个序列,支持单点修改,区间查询第k小。
Solution(普通的主席树相信大家都会,如果没学过建议先去学学再来看这篇文章):
我们回忆一下不带修改的主席树是怎么求出答案的:每一棵主席树维护是前缀和,然后左右端点的主席树差分一下就能求出排名。对于这个问题,我们可以先考虑如何维护一个支持修改的前缀和,显然一个树状数组就可以做到,那么我们类比一下,在主席树上套一个树状数组(即第i棵主席树维护的是(i-lowbit(i),i]这一段区间),就可以达到我们的目的了,注意要先进行离散化。
#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
const int N=10010;
int n,qe;
struct Q{
int x,y,k;
}q[10010];
struct tree{
int sum,l,r;
}tr[400*N];
int lsh[2*N];
char s[2];
int root[N];
int size,a[N],maxn;
int x,y,tx[30],ty[30],numx,numy;
void update(int &now,int x,int l,int r,int v,int pos)
{
now=++size;
tr[now]=tr[x];
tr[now].sum+=v;
if (l==r) return;
int mid=l+r>>1;
if (pos<=mid) update(tr[now].l,tr[x].l,l,mid,v,pos);
else update(tr[now].r,tr[x].r,mid+1,r,v,pos);
}
void add(int pos,int v)
{
int npos=lower_bound(lsh+1,lsh+1+maxn,a[pos])-lsh;
for (int i=pos;i<=n;i+=(i&-i))
update(root[i],root[i],1,maxn,v,npos);
}
int query(int k,int l,int r)
{
if (l==r) return l;
int lsum=0;
for (int i=1;i<=numx;i++)
lsum-=tr[tr[tx[i]].l].sum;
for (int i=1;i<=numy;i++)
lsum+=tr[tr[ty[i]].l].sum;
int mid=l+r>>1;
if (k>lsum)
{
for (int i=1;i<=numx;i++)
tx[i]=tr[tx[i]].r;
for (int i=1;i<=numy;i++)
ty[i]=tr[ty[i]].r;
query(k-lsum,mid+1,r);
}
else
{
for (int i=1;i<=numx;i++)
tx[i]=tr[tx[i]].l;
for (int i=1;i<=numy;i++)
ty[i]=tr[ty[i]].l;
query(k,l,mid);
}
}
int read()
{
int f=1,x=0;
char ch;
ch=getchar();
while(ch<'0'||ch>'9'){ch=getchar();if(ch=='-')f=-1;}
while(ch>='0'&&ch<='9'){
x=x*10+ch-'0';ch=getchar();}
return f*x;
}
int main()
{
n=read();qe=read();
for (int i=1;i<=n;i++)
a[i]=read(),lsh[++maxn]=a[i];
for (int i=1;i<=qe;i++)
{
scanf("%s",s);
q[i].x=read();q[i].y=read();
if (s[0]=='Q') q[i].k=read();
else lsh[++maxn]=q[i].y;
}
sort(lsh+1,lsh+1+maxn);
maxn=unique(lsh+1,lsh+1+maxn)-lsh-1;
for (int i=1;i<=n;i++) add(i,1);
for (int i=1;i<=qe;i++)
{
if (q[i].k)
{
numx=numy=0;
for (int j=q[i].x-1;j;j-=(j&-j))
tx[++numx]=root[j];
for (int j=q[i].y;j;j-=(j&-j))
ty[++numy]=root[j];
printf("%d\n",lsh[query(q[i].k,1,maxn)]);
}
else add(q[i].x,-1),a[q[i].x]=q[i].y,add(q[i].x,1);
}
}