已确认，是结果错误导致u^lastans太大报的RE。 （为什么没有值域分块的题解？） 代码有点丑，但应该好理解。

#include <bits/stdc++.h>
using namespace std;
const int N=100005;
const int M=335;
#define re register
#define il inline
struct xx{
	int x,id;
}a[N];
bool cmp(xx ax,xx ay){
	return ax.x<ay.x;
}
int n,m,sz[N],zs[N],fa[N],dfn[N],top[N],rnk[N],cnt;
int dep[N],ax[M][M],sum[M][N],l[M],r[M];
int s[M],res[M],k,num[N],b[N],c[N],bel[N];
vector<int> g[N];
void dfs1(int x){
	sz[x]=1;
	dep[x]=dep[fa[x]]+1;
	int kk=g[x].size(),maxz=0;
	for(re int i=0;i<kk;i++){
		int to=g[x][i];
		if(dep[to]) continue;
		fa[to]=x;
		dfs1(to);
		sz[x]+=sz[to];
		if(sz[to]>maxz){
			zs[x]=to;
			maxz=sz[to];
		}
	}
	return;
}
void dfs2(int x){
	dfn[x]=++cnt;
	rnk[cnt]=x;
	if(zs[x]==0) return;
	top[zs[x]]=top[x];
	dfs2(zs[x]);
	int kk=g[x].size();
	for(re int i=0;i<kk;i++){
		int to=g[x][i];
		if(to==fa[x]||to==zs[x]) continue;
		top[to]=to;
		dfs2(to);
	}
	return;
}
void init(){
	k=sqrt(n);
	int now=0,la=1;
	while(now<n){
		cnt++;
		now=min(n,now+k);
		l[cnt]=la,r[cnt]=now;
		for(int i=la;i<=now;i++) bel[i]=cnt,c[i]=b[rnk[i]];
		la=now+1;
	}
	for(re int i=1;i<=cnt;i++){
		for(re int j=l[i];j<=r[i];j++){
			ax[i][bel[c[j]]]++,sum[i][c[j]]++;
		}
		for(re int j=1;j<=cnt;j++) ax[i][j]+=ax[i-1][j];
		for(re int j=1;j<=n;j++) sum[i][j]+=sum[i-1][j];
	}
	return;
}
il void add1(int id,int op,int x){
	if(op==1) s[bel[c[id]]]++;
	else res[c[id]-x]++;
	return;
}
il void add(int li,int ri,int op,int x){
	int bl=bel[li],br=bel[ri];
	if(bl==br){
		for(re int i=li;i<=ri;i++) add1(i,op,x);
		return;
	}
	for(re int i=1;i<=cnt;i++){
		if(op==1) s[i]+=ax[br-1][i]-ax[bl][i];
		else res[i]+=sum[br-1][i+x]-sum[bl][i+x];
	}
	for(re int i=li;i<=r[bl];i++) add1(i,op,x);
	for(re int i=l[br];i<=ri;i++) add1(i,op,x);
	return;
}
il int lca_qiu(int u,int v,int ki){
	for(re int i=1;i<=cnt;i++) s[i]=res[i]=0; 
	int x=u,y=v;
	while(top[x]!=top[y]){
		if(dep[top[x]]<dep[top[y]]) swap(x,y);
		add(dfn[top[x]],dfn[x],1,0);
		x=fa[top[x]];
	}
	if(dep[x]>dep[y]) swap(x,y);
	add(dfn[x],dfn[y],1,0);
	int now=0,la=0;
	int bj;
	for(re int i=1;i<=cnt;i++){
		now+=s[i];
		if(now>=ki) bj=i-1;
		if(now>=ki) break;
		la=now;
	}
	int d=bj*k;
	x=u,y=v;
	while(top[x]!=top[y]){
		if(dep[top[x]]<dep[top[y]]) swap(x,y);
		add(dfn[top[x]],dfn[x],2,d);
		x=fa[top[x]];
	}
	if(dep[x]>dep[y]) swap(x,y);
	add(dfn[x],dfn[y],2,d);
	now=la;
	for(re int i=1;i<=k;i++){
		now+=res[i];
		if(now>=ki) bj=i+d;
		if(now>=ki) break;
	}
	return bj;
}
int main(){
	scanf("%d%d",&n,&m);
	for(re int i=1;i<=n;i++){
		scanf("%d",&a[i].x);
		a[i].id=i;
	}
	sort(a+1,a+n+1,cmp);
	int ii=0;
	for(re int i=1;i<=n;i++){
		if(i==1||a[i].x!=a[i-1].x) ii++;
		b[a[i].id]=ii,num[ii]=a[i].x;
	}
	int u,v;
	for(re int i=1;i<n;i++){
		scanf("%d%d",&u,&v);
		g[u].push_back(v);
		g[v].push_back(u);
	}
	dfs1(1);
	top[1]=-1;
	dfs2(1);
	cnt=0;
	init();
	int x,lastans=0;
	for(re int i=1;i<=m;i++){
		scanf("%d%d%d",&u,&v,&x);
		u^=lastans;
		int ans=lca_qiu(u,v,x);
		printf("%d\n",num[ans]);
		lastans=num[ans];
		//if(i==11) lastans=1806375932;
	}
	return 0;
}

）