[loj519]数学上来先打表

建立操作树，即1和3操作时i-1向i连边，2操作中k向i连边，然后dfs一遍

那么当我们走到一个节点，就执行该操作（修改也是操作），退出后取消该操作即可

于是相当于要维护一个东西，支持：1.加边；2.删边；3.询问联通块的第k小

容易想到按秩合并并查集，考虑询问操作：用分块，维护每一个权值块的权值数量（要离散）

然后就可以确定答案所在权值块，再依次枚举里面的权值并判断是否在联通块内即可

#include<bits/stdc++.h>
using namespace std;
#define N 100005
#define K 1000
#define bl(k) ((k-1)/K)
struct ji{
    int nex,to;
}edge[N];
vector<int>v[N];
int E,n,m,p[N],a[N],x[N],y[N],b[N],head[N],sz[N],fa[N],ans[N],f[N][105];
bool cmp(int x,int y){
    return a[x]<a[y];
}
void add(int x,int y){
    edge[E].nex=head[x];
    edge[E].to=y;
    head[x]=E++;
}
int find(int k){
    if (k==fa[k])return k;
    return find(fa[k]);
}
int query(int k){
    x[k]=find(x[k]);
    for(int i=0;i<=bl(n);i++)
        if (y[k]>f[x[k]][i])y[k]-=f[x[k]][i];
        else
            for(int j=i*K+1;j<=(i+1)*K;j++)
                if ((find(b[j])==x[k])&&(--y[k]==0))return a[b[j]];
    return -1;
}
void add(int k){
    x[k]=find(x[k]);
    y[k]=find(y[k]);
    if (x[k]==y[k])return;
    if (sz[x[k]]>sz[y[k]])swap(x[k],y[k]);
    fa[x[k]]=y[k];
    sz[y[k]]+=sz[x[k]];
    for(int i=0;i<=bl(n);i++)f[y[k]][i]+=f[x[k]][i];
}
void del(int k){
    if (x[k]==y[k])return;
    fa[x[k]]=x[k];
    sz[y[k]]-=sz[x[k]];
    for(int i=0;i<=bl(n);i++)f[y[k]][i]-=f[x[k]][i];
}
void dfs(int k){
    if (p[k]==1)add(k);
    if (p[k]==3)ans[k]=query(k);
    for(int i=head[k];i!=-1;i=edge[i].nex)dfs(edge[i].to);
    if (p[k]==1)del(k);
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)scanf("%d",&a[i]);
    memset(head,-1,sizeof(head));
    for(int i=1;i<=n;i++)fa[i]=b[i]=i;
    sort(b+1,b+n+1,cmp);
    for(int i=1;i<=n;i++)sz[i]=f[b[i]][bl(i)]=1;
    for(int i=1;i<=m;i++){
        scanf("%d%d",&p[i],&x[i]);
        if (p[i]==2)add(x[i],i);
        else{
            scanf("%d",&y[i]);
            add(i-1,i);
        }
    }
    dfs(0);
    for(int i=1;i<=m;i++)
        if (p[i]==3)printf("%d\n",ans[i]);
}