怀疑题目数据过水（有可能是我自己的问题）

#include<bits/stdc++.h>
using namespace std;
int n,m,s,num;
int dp[500002],h[500002],power[500002],fa[500002][22];
struct tree{
	int to,next;
}e[1000000];
void cb(int from,int to){
	num++;
	e[num].to=to;
	e[num].next=h[from];
	h[from]=num;
}
void an(int u,int f){
	dp[u]=dp[f]+1;
	fa[u][0]=f;
	for(int i=1;i<=power[dp[u]];i++)
		fa[u][i]=fa[fa[u][i-1]][i-1];
	for(int i=h[u];i;i=e[i].next)
		if(e[i].to!=f)
			an(e[i].to,u);
}
int LCA(int x,int y){
	if(dp[x]<dp[y]){
		int u=x;
		x=y;
		y=u;
	}
	while(dp[x]>dp[y])
		x=fa[x][power[(dp[x]-dp[y])]-1];
	if(x==y)
		return y;
	for(int i=power[x]-1;i>=0;i--){
		if(fa[x][i]!=fa[y][i]){
			x=fa[x][i];
			y=fa[y][i];
		}
	}
	return fa[x][0];
} 
int main(){
	scanf("%d%d%d",&n,&m,&s);
	for(int i=1;i<=n-1;i++){
		int x,y;
		scanf("%d%d",&x,&y);
		cb(x,y);
		cb(y,x);
	}
	for(int i=1;i<=n;i++)
		power[i]=power[i-1]+(1<<power[i-1]==i);
	an(s,0);
	for(int i=1;i<=m;i++){
		int x,y;
		scanf("%d%d",&x,&y);
		cout<<LCA(x,y)<<endl;
	}
	return 0;
} 

i=power[x]-1

i=power[dp[x]]-1