树套树板子题，但是整体二分不管是时间复杂度还是空间复杂度都表现更优秀，所以用整体二分来水一波。
普通的整体二分是没有修改操作的。然鹅我们处理修改操作也比较容易，直接减上这个数，让后加上修改之后的数即可。这样按照时间戳来遍历的话，在修改之后的查询也是在修改之后的值。
还有要注意的是修改操作之后需要把数组的值也更新一下，不然你会得5分(逃。
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#define X first
#define Y second
#define pb push_back
#define mk make_pair
#define Mid (tr[u].l+tr[u].r>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
#define lowbit(x) ((x)&(-x))
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n,m,cnt;
int tr[N],a[N],ans[N];
struct Node
{int l,r,k,id,op;
}q[N],q1[N],q2[N];void add(int x,int c)
{for(int i=x;i<=n;i+=lowbit(i)) tr[i]+=c;
}int sum(int x)
{int ans=0;for(int i=x;i;i-=lowbit(i)) ans+=tr[i];return ans;
}void solve(int l,int r,int L,int R)
{if(L>R) return;if(l==r){for(int i=L;i<=R;i++) if(q[i].op==2) ans[q[i].id]=l;return;}int mid=l+r>>1,cnt1,cnt2,x; cnt1=cnt2=0;for(int i=L;i<=R;i++){if(q[i].op==1){if(q[i].l<=mid) q1[++cnt1]=q[i],add(q[i].id,q[i].r);else q2[++cnt2]=q[i];}else{x=sum(q[i].r)-sum(q[i].l-1);if(q[i].k<=x) q1[++cnt1]=q[i];else q[i].k-=x,q2[++cnt2]=q[i];}}for(int i=1;i<=cnt1;i++) if(q1[i].op==1) add(q1[i].id,-q1[i].r);for(int i=1;i<=cnt1;i++) q[L+i-1]=q1[i];for(int i=1;i<=cnt2;i++) q[L+cnt1+i-1]=q2[i];solve(l,mid,L,L+cnt1-1); solve(mid+1,r,L+cnt1,R);
}int main()
{
// ios::sync_with_stdio(false);
// cin.tie(0);scanf("%d%d",&n,&m);for(int i=1;i<=n;i++) scanf("%d",&a[i]),q[++cnt]={a[i],1,0,i,1};int tot=0;for(int i=1;i<=m;i++){char op[2];int l,r,k;scanf("%s%d%d",op,&l,&r);if(op[0]=='Q') scanf("%d",&k),q[++cnt]={l,r,k,++tot,2};else q[++cnt]={a[l],-1,0,l,1},q[++cnt]={r,1,0,l,1},a[l]=r;}solve(-INF,INF,1,cnt);for(int i=1;i<=tot;i++) printf("%d\n",ans[i]);return 0;
}
/**/
