其实感觉主席树最有意思的地方就在于其历史版本维护的到底是什么东西。
维护每个节点到根节点之间的信息,这个可以用主席树搞,然后每次查询的时候就用
sum[ls[a]]+sum[ls[b]]-sum[ls[lca(a,b)]]-sum[ls[fa[lca(a,b)]]]就是树上差分啦。。
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define maxn 200020
#define maxm 4000020
using namespace std;
int n,m,head[maxn],num,nn,tot=1,val[maxn],ls[maxm],rs[maxm],s[maxm],t[maxn],f[maxn][20],rt[maxn],h[maxn];
struct edge{int v,next;}e[maxn*2];
void adde(int a,int b){e[tot].v=b,e[tot].next=head[a];head[a]=tot++;}
void insert(int x,int& y,int l,int r,int id){
y=++num;ls[y]=ls[x],rs[y]=rs[x],s[y]=s[x]+1;
if(l==r)return;
int mid=l+r>>1;
if(id>mid)insert(rs[x],rs[y],mid+1,r,id);
else insert(ls[x],ls[y],l,mid,id);
}
int query(int x,int y,int z,int fz,int l,int r,int k){
if(l==r)return t[l];
int mid=l+r>>1;
int sum=s[ls[x]]+s[ls[y]]-s[ls[z]]-s[ls[fz]];
if(sum>=k)return query(ls[x],ls[y],ls[z],ls[fz],l,mid,k);
else return query(rs[x],rs[y],rs[z],rs[fz],mid+1,r,k-sum);
}
void dfs(int u,int fa){
f[u][0]=fa,h[u]=h[fa]+1;
for(int i=1;i<=18;i++)f[u][i]=f[f[u][i-1]][i-1];
insert(rt[fa],rt[u],1,nn,val[u]);
for(int v,i=head[u];i;i=e[i].next){
if((v=e[i].v)==fa)continue;
dfs(v,u);
}
}
int lca(int a,int b){
if(h[a]>h[b])swap(a,b);
for(int i=18;i>=0;i--)if(h[f[b][i]]>=h[a])b=f[b][i];
if(a==b)return a;
for(int i=18;i>=0;i--){
if(f[a][i]==f[b][i])continue;
a=f[a][i],b=f[b][i];
}
return f[a][0];
}
int main(){
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++)scanf("%d",val+i),t[i]=val[i];
sort(t+1,t+1+n);nn=unique(t+1,t+1+n)-t-1;
for(int i=1;i<=n;i++)val[i]=lower_bound(t+1,t+1+nn,val[i])-t;
for(int a,b,i=1;i<n;i++){
scanf("%d%d",&a,&b);
adde(a,b),adde(b,a);
}
dfs(1,0);
int ans=0,a,b,g,k;
while(m--){
scanf("%d%d%d",&a,&b,&k);
a^=ans;
g=lca(a,b);
printf("%d",ans=query(rt[a],rt[b],rt[g],rt[f[g][0]],1,nn,k));
if(m)puts("");
}
return 0;
}