题目链接 BZOJ

洛谷

区间第k小，我们可以想到主席树。然而这是静态的，怎么支持修改？

静态的主席树是利用前缀和+差分来求解的，那么对于每个位置上的每棵树看做一个点，拿树状数组更新。

还是树状数组的过程，区间加时，每到一个位置在这棵主席树中插入这个数。

查询时，将所有询问要访问到的主席树存下来，delta为所有存下的树的和的差值；改变节点时所有的主席树访问节点都变。

每次树状数组会访问logn棵树，每棵树改变logn个点。时间空间复杂度都为 \(O(nlog^2n)\).

线段树套平衡树见这.

整体二分见这.

//27068kb	364ms

#include <cstdio>

#include <cctype>

#include <algorithm>

//#define gc() getchar()

#define gc() (SS==TT&&(TT=(SS=IN)+fread(IN,1,MAXIN,stdin),SS==TT)?EOF:*SS++)

#define lb(x) (x)&-(x)

const int N=1e4+5,S=N*220,MAXIN=1e5;

int n,Q,A[N],cnt,ref[N<<1];

char IN[MAXIN],*SS=IN,*TT=IN;

struct Operation{ //离线离散化

	int l,r,K;//l=0:Modify r:pos K:val

	Operation() {}

	Operation(int l,int r,int k):l(l),r(r),K(k) {}

}q[N];

inline int read()

{

	int now=0,f=1;register char c=gc();

	for(;!isdigit(c);c=gc()) if(c=='-') f=-1;

	for(;isdigit(c);now=now*10+c-'0',c=gc());

	return now*f;

}

namespace T

{

	#define lson son[rt][0]

	#define rson son[rt][1]

	int tot,son[S][2],sz[S],root[N],totl,totr,ql[N],qr[N];

	void Insert(int &rt,int l,int r,int p,int v)

	{

		if(!rt) rt=++tot;

		sz[rt]+=v;//既然直接在自己这棵树上改，不需要再复制很多重复节点。

		if(l<r){

			int m=l+r>>1;

			if(p<=m) Insert(lson,l,m,p,v);

			else Insert(rson,m+1,r,p,v);

		}

	}

	void Modify(int p,int v,int delta){

		while(p<=n)

			Insert(root[p],1,cnt,v,delta),p+=lb(p);

	}

	int Query(int l,int r,int k)

	{

		if(l==r) return ref[l];

		int delta=0;

		for(int i=1; i<=totl; ++i) delta-=sz[son[ql[i]][0]];

		for(int i=1; i<=totr; ++i) delta+=sz[son[qr[i]][0]];

		if(delta>=k){

			for(int i=1; i<=totl; ++i) ql[i]=son[ql[i]][0];

			for(int i=1; i<=totr; ++i) qr[i]=son[qr[i]][0];

			return Query(l,l+r>>1,k);

		}

		else{

			for(int i=1; i<=totl; ++i) ql[i]=son[ql[i]][1];

			for(int i=1; i<=totr; ++i) qr[i]=son[qr[i]][1];

			return Query((l+r>>1)+1,r,k-delta);

		}

	}

	int Kth(int l,int r,int k)

	{//别忘l-1.

		totl=totr=0;

		for(--l; l; l^=lb(l)) ql[++totl]=root[l];//存根。

		for(; r; r^=lb(r)) qr[++totr]=root[r];

		return Query(1,cnt,k);

	}

}

inline char Get(){

	char c=gc();while(c!='Q'&&c!='C') c=gc();

	return c;

}

int Find(int x)

{

	int l=1,r=cnt,mid;

	while(l<r)

		if(ref[mid=l+r>>1]<x) l=mid+1;

		else r=mid;

	return l;

}

int main()

{

	n=read(),Q=read();

	for(int i=1; i<=n; ++i) ref[i]=A[i]=read();

	int t=n;

	for(int l,r,k,i=1; i<=Q; ++i)

		if(Get()=='Q') l=read(),r=read(),k=read(), q[i]=Operation(l,r,k);

		else r=read(),k=read(), q[i]=Operation(0,r,k),ref[++t]=k;

	std::sort(ref+1,ref+1+t), cnt=1;

	for(int i=2; i<=t; ++i)

		if(ref[i]!=ref[i-1]) ref[++cnt]=ref[i];

	for(int i=1; i<=n; ++i) T::Modify(i,A[i]=Find(A[i]),1);

	for(int i=1; i<=Q; ++i)

		if(!q[i].l) T::Modify(q[i].r,A[q[i].r],-1), T::Modify(q[i].r,A[q[i].r]=Find(q[i].K),1);

		else printf("%d\n",T::Kth(q[i].l,q[i].r,q[i].K));

	return 0;

}