最近公共祖先（lca）倍增算法【模板】

P3379 【模板】最近公共祖先（LCA） - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

#include<bits/stdc++.h>
#include<cstdio>
using namespace std;
const int N=5e5+100;
const int inf=0x3f3f3f;
int n,m,s;
vector<int>g[N];
int dep[N];//存u点的深度
int fa[N][20];//存从u点向上跳2^i层的祖先节点
void dfs(int u,int father)
{
    dep[u]=dep[father]+1;//该点深度为他的父节点深度加1
    fa[u][0]=father;//当前节点向上跳一步就是他的父节点
    for(int i=1;i<=19;i++)
        fa[u][i]=fa[fa[u][i-1]][i-1];//递推点的所有能跳到的祖先节点，越界为0
    for(auto i:g[u])
        if(i!=father)
            dfs(i,u);
}
int lca(int u,int v)
{
    if(dep[u]<dep[v])//让u点跳
        swap(u,v);
    /*for(int i=19;i>=0;i--)//先让两点到达同一层
    {
        if(dep[fa[u][i]]>=dep[v])//u节点跳到祖先节点后的深度大于v点的深度
            u=fa[u][i];//u点变到其祖先节点处
    }*/
    int dx=dep[u]-dep[v];
    for(int i=0;dx>0;i++,dx=dx/2)
    {
        if(dx&1)
        {
            u=fa[u][i];
        }
    }
    //两种写法，让两点到达同一层
    
    if(u==v)//特判，v点为u的祖先节点
        return v;
    for(int i=19;i>=0;i--)
    {
        if(fa[u][i]!=fa[v][i])//两点跳后的祖先节点的父节点是否相等，不相等i-1
            u=fa[u][i],v=fa[v][i];
        //停在最近公共祖先的下层的儿子节点（此时两点的父节点就是公共最近祖先）
    }
    return fa[u][0];//再跳最后一步到达公共祖先位置
}
int main()
{
    scanf("%d%d%d",&n,&m,&s);
    for(int i=1;i<n;i++)
    {
        int x,y;
        scanf("%d%d",&x,&y);
        g[x].push_back(y);
        g[y].push_back(x);
    }
    dfs(s,0);//从根节点遍历树
    while(m--)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        printf("%d\n",lca(a,b));
    }
    return 0;
}