BZOJ 3551: [ONTAK2010]Peaks加强版 Kruskal重构树+dfs序+主席树+倍增

建出来 $Kruskal$ 重构树.
将询问点向上跳到深度最小，且合法的节点上.
那么，得益于重构树优美的性质，这个最终跳到的点为根的所有子节点都可以与询问点互达.
对于子树中求点权第 $k$ 大的问题，直接对 $dfs$ 序建主席树即可.

#include <cstdio>
#include <algorithm>
#define N 200005
#define M 500002
#define inf 1000000000
#define setIO(s) freopen(s".in","r",stdin)
using namespace std;
namespace IO {
    char *p1,*p2,buf[100000];
    #define nc() (p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++)
    int rd() {int x=0; char c=nc(); while(c<48) c=nc(); while(c>47) x=(((x<<2)+x)<<1)+(c^48),c=nc(); return x;}
};
int h[N],rt[N],n,m,Q;
struct Edge {
    int u,v,c;
}e[M];
bool cmp(Edge a,Edge b) {
    return a.c<b.c;
}
namespace seg {
    #define ls t[now].lson
    #define rs t[now].rson
    struct Node {
        int lson,rson,sum;
    }t[N*30];
    int tot;
    void update(int pre,int &now,int l,int r,int p) {
        now=++tot;
        t[now]=t[pre];
        ++t[now].sum;
        if(l==r) return;
        int mid=(l+r)>>1;
        if(p<=mid) update(t[pre].lson,ls,l,mid,p);
        else update(t[pre].rson,rs,mid+1,r,p);
    }
    int kth(int rt1,int rt2,int l,int r,int k) {
        if(t[rt2].sum-t[rt1].sum==0) return 0;
        if(l==r) return l;
        int mid=(l+r)>>1,rsize=t[t[rt2].rson].sum-t[t[rt1].rson].sum;
        if(k<=rsize) return kth(t[rt1].rson,t[rt2].rson,mid+1,r,k);
        else return kth(t[rt1].lson,t[rt2].lson,l,mid,k-rsize);
    }
    #undef ls
    #undef rs
};
namespace tree {
    int tot,edges,tim;
    int p[N],maxv[N],hd[N],to[N],nex[N],fa[22][N],F[22][N],dfn[N],size[N],dot[N];
    void init() {
        for(int i=1;i<=n;++i) p[i]=i;
    }
    int find(int x) {
        return p[x]==x?x:p[x]=find(p[x]);
    }
    void addedge(int u,int v) {
        nex[++edges]=hd[u],hd[u]=edges,to[edges]=v;
    }
    void dfs(int u,int ff) {
        int i,j;
        dfn[u]=++tim,dot[tim]=u,size[u]=1;
        fa[0][u]=ff, F[0][u]=max(maxv[u],maxv[ff]);
        for(i=1;i<=20;++i) {
            fa[i][u]=fa[i-1][fa[i-1][u]];
            F[i][u]=max(F[i-1][u], F[i-1][fa[i-1][u]]);
        }
        for(i=hd[u];i;i=nex[i]) dfs(to[i],u),size[u]+=size[to[i]];
    }
    // 找到最后一个小的等于 k 的点
    int get(int x,int k) {
        for(int i=20;i>=0;--i)
            if(fa[i][x]&&F[i][x]<=k) x=fa[i][x];
        return x;
    }
    void build() {
        init();
        sort(e+1,e+1+m,cmp);
        tot=n;
        for(int i=1;i<=m;++i) {
            int u=e[i].u,v=e[i].v,c=e[i].c,x,y;
            x=find(u),y=find(v);
            if(x!=y) {
                ++tot;
                p[x]=p[y]=p[tot]=tot;
                maxv[tot]=c;
                addedge(tot,x),addedge(tot,y);
            }
        }
        dfs(tot,0);
        for(int i=1;i<=tim;++i) {
            if(dot[i]>n) rt[i]=rt[i-1];
            else seg::update(rt[i-1],rt[i],0,inf,h[dot[i]]);
            // printf("%d %d\n",i,h[dot[i]]);
        }
    }
};
int main() {
    int i,j;
    // setIO("input");
    using namespace IO;
    n=rd(),m=rd(),Q=rd();
    for(i=1;i<=n;++i) h[i]=rd();
    for(i=1;i<=m;++i) e[i].u=rd(),e[i].v=rd(),e[i].c=rd();
    tree::build();
    int lastans=0;
    for(i=1;i<=Q;++i) {
        int v,x,k;
        v=rd(),x=rd(),k=rd();
        if(lastans!=-1) {
            v^=lastans;
            x^=lastans;
            k^=lastans;
        }
        int p=tree::get(v,x);
        int l=tree::dfn[p], r=tree::dfn[p]+tree::size[p]-1;
        int re=seg::kth(rt[l-1],rt[r],0,inf,k);
        printf("%d\n",re?re:-1);
        lastans=re;
    }
    return 0;
}