自己寫的一個 模板，可以拿來參考一下

至於思路嗎

大概就是dfs每一個節點

到一個節點的時候就打上標記，然後訪問每個與這個節點有關的詢問，對於每個詢問，如果另一個節點是有標記的，則兩點的最近公共祖先就是另一個節點的祖先

然後再遍歷當前節點的每條邊，dfs邊的另一點，結束後再將另一點的祖先設定為當前點。<-這個比較重要，一定要是dfs之後再更換祖先

還有就是並查集的初始化一定不能忘記

#include<iostream>
#include<algorithm>
#define MAXN 500001
using namespace std;
int n,m,s;
struct line
{
int to;
int next;
}edge[MAXN*2];
struct query
{
int to;
int next;
int id;
}ques[MAXN*2];
int edgetot;
int quetot;
bool vis[MAXN];
int ans[MAXN];
int g[MAXN];
int qg[MAXN];
int pre[MAXN];
void addedge(int a,int b)
{
edgetot++;
edge[edgetot].to=b;
edge[edgetot].next=g[a];
g[a]=edgetot;
}
void addque(int a,int b,int i)
{
quetot++;
ques[quetot].to=b;
ques[quetot].id=i;
ques[quetot].next=qg[a];
qg[a]=quetot;
}
int find(int x)
{
if(x==pre[x])return x;
return pre[x]=find(pre[x]);
}
void dfs(int x)
{

vis[x]=true;
for(int i=qg[x];i;i=ques[i].next)
{
if(vis[ques[i].to]){ans[ques[i].id]=find(ques[i].to);}
}
for(int i=g[x];i;i=edge[i].next)
{
if(!vis[edge[i].to]){
dfs(edge[i].to);

pre[edge[i].to]=x;
}
}
return;
}
void init()
{
for(int i=1;i<=n;i++){
pre[i]=i;
vis[i]=false;
}
}
int main()
{
//std::ios::sync_with_stdio(false);
cin>>n>>m>>s;
for(int i=1;i<n;i++)
{
int x=0,y=0;
cin>>x>>y;
addedge(x,y);
addedge(y,x);
}
for(int i=0;i<m;i++)
{
int x=0,y=0;
cin>>x>>y;
addque(x,y,i);
addque(y,x,i);
}
init();
dfs(s);
for(int i=0;i<m;i++)
{
cout<<ans[i]<<endl;
}
return 0;
}