分析

模板题。

#include <bits/stdc++.h>
using namespace std;  
int N,M,S,deep[500010],p[500010][21],fa[500010],x,y,maxdep=0;
vector<int> V[500010];
void dfs(int subroot,int dep)
{
    if(dep>maxdep)maxdep=dep;
    deep[subroot]=dep;
    for(auto x:V[subroot])
    {
        if(x!=fa[subroot])
        {
            fa[x]=subroot;
            dfs(x,dep+1);
        }
    }
}
int lca(int a,int b)
{
    if(deep[a]<deep[b])swap(a,b);
    //a>=b
    int i=0;
    for(;(1<<i)<=deep[a];i++);
    i--; 
    for(int k=i;k>=0;k--)
    {
        if(deep[a]-(1<<k)>=deep[b])a=p[a][k];
    }
    //deep[a]==deep[b]
    if(a==b)return a; 
    for(int k=i;k>=0;k--)
    {
        if(deep[a]-(1<<k)>=0&&p[a][k]!=p[b][k])
        {
            a=p[a][k];
            b=p[b][k];
        }
    }
    return fa[a];
} 
int main()
{
    scanf("%d%d%d",&N,&M,&S);
    for(int i=1;i<N;i++)
    {
        scanf("%d%d",&x,&y);
        V[x].push_back(y);
        V[y].push_back(x);
    }
    fa[S]=-1;
    dfs(S,0); //get deep and fa
    //get p[x][y]
    memset(p,-1,sizeof(p));
    for(int i=1;i<=N;i++)p[i][0]=fa[i];
    int j=1,k=2; //walk k(2^j) up
    while(k<=maxdep)
    {
        for(int i=1;i<=N;i++)
        {
            if(deep[i]>=k)p[i][j]=p[p[i][j-1]][j-1];
        }
        j++;
        k*=2; 
    } 
    while(M--)
    {
        scanf("%d%d",&x,&y);
        int ans=lca(x,y);
        printf("%d\n",ans); 
    }
    return 0;
}