分析
第(k)大的问题可以用主席树解决，
下标为节点离散化后的权值，
连边操作考虑合并两棵树，
如果暴力合并那肯定会T飞，考虑启发式合并
同时维护子树内的lca，方便主席树的查询
代码
#include <cstdio>
#include <cctype>
#include <algorithm>
#define rr register
using namespace std;
const int N=80011; struct node{int y,next;}e[N<<1];
int a[N],b[N],n,m,k=1,Q,fat[N],f[N][17],siz[N],dep[N],rt[N],ls[N],M;
struct Chair{
int w[N<<7],ls[N<<7],rs[N<<7],cnt;
inline void build(int &rt,int l,int r){
w[rt=++cnt]=0; rr int mid=(l+r)>>1;
if (l<r) build(ls[rt],l,mid),build(rs[rt],mid+1,r);
}
inline void update(int &rt,int l,int r,int k){
rr int trt=++cnt,mid=(l+r)>>1;
ls[trt]=ls[rt],rs[trt]=rs[rt],w[trt]=w[rt]+1,rt=trt;
if (l==r) return;
k<=mid?update(ls[trt],l,mid,k):update(rs[trt],mid+1,r,k);
}
inline signed query(int fi,int se,int th,int fo,int l,int r,int kth){
if (l==r) return b[l];
rr int mid=(l+r)>>1,lef=w[ls[fi]]+w[ls[se]]-w[ls[th]]-w[ls[fo]];
if (kth<=lef) return query(ls[fi],ls[se],ls[th],ls[fo],l,mid,kth);
else query(rs[fi],rs[se],rs[th],rs[fo],mid+1,r,kth-lef);
}
}Tre;
inline signed iut(){
rr int ans=0; rr char c=getchar();
while (!isdigit(c)) c=getchar();
while (isdigit(c)) ans=(ans<<3)+(ans<<1)+(c^48),c=getchar();
return ans;
}
inline void print(int ans){
if (ans>9) print(ans/10);
putchar(ans%10+48);
}
inline signed getf(int u){return fat[u]==u?u:fat[u]=getf(fat[u]);}
inline void add(int x,int y){
e[++k]=(node){y,ls[x]},ls[x]=k;
e[++k]=(node){x,ls[y]},ls[y]=k;
}
inline void dfs(int x,int fa,int root){
f[x][0]=fa,dep[x]=dep[fa]+1,fat[x]=fa,++siz[root];
for (rr int i=1;i<=16;++i) f[x][i]=f[f[x][i-1]][i-1];
Tre.update(rt[x]=rt[fa],1,M,a[x]);
for (rr int i=ls[x];i;i=e[i].next)
if (e[i].y!=fa) dfs(e[i].y,x,root);
}
inline signed lca(int x,int y){
if (dep[x]<dep[y]) x^=y,y^=x,x^=y;
for (rr int i=16;~i;--i)
if (dep[f[x][i]]>=dep[y]) x=f[x][i];
if (x==y) return x;
for (rr int i=16;~i;--i)
if (f[x][i]!=f[y][i]) x=f[x][i],y=f[y][i];
return f[x][0];
}
signed main(){
iut(),n=iut(),m=iut(),Q=iut(),Tre.cnt=0;
for (rr int i=1;i<=n;++i) b[i]=a[i]=iut(),fat[i]=i;
for (rr int i=1;i<=m;++i) add(iut(),iut());
sort(b+1,b+1+n),M=unique(b+1,b+1+n)-b-1,Tre.build(rt[0],1,M);
for (rr int i=1;i<=n;++i) a[i]=lower_bound(b+1,b+1+M,a[i])-b;
for (rr int i=1;i<=n;++i) if (fat[i]==i) dfs(i,0,i),fat[i]=i;
for (rr int lans=0;Q;--Q){
rr char c=getchar();
while (c!='Q'&&c!='L') c=getchar();
rr int x=iut()^lans,y=iut()^lans;
if (c=='L'){
rr int fa=getf(x),fb=getf(y); add(x,y);
if (siz[fa]<siz[fb])
fa^=fb,fb^=fa,fa^=fb,
x^=y,y^=x,x^=y;
dfs(y,x,fa);
}else{
rr int kth=iut()^lans,LCA=lca(x,y);
lans=Tre.query(rt[x],rt[y],rt[LCA],rt[f[LCA][0]],1,M,kth);
print(lans),putchar(10);
}
}
return 0;
}