首页 > 其他分享 >树上倍增下的 LCA 问题

树上倍增下的 LCA 问题

时间:2024-10-27 15:09:20浏览次数:3  
标签:倍增 int LCA read edge lca 树上 节点

LCA,最近公共祖先问题。

给定一颗有根树,若节点 k 既是节点 x 的祖先,又是节点 y 的祖先,则称 k 是 \(\lbrack x, y \rbrack\) 的公共祖先。在 \(\lbrack x, y \rbrack\) 的所有公共祖先中,深度最大的称为最近公共祖先,记作 \(\operatorname*{LCA}(x, y)\)。

\(\operatorname*{LCA}(x, y)\) 即为节点 \(x \rightarrow 1\) 和节点 \(y \rightarrow 1\) 的第一个中途交汇点。


因为讲解倍增,所以这里使用 树上倍增法 求解。

设 \(f_{x, k}\) 表示从 \(x\) 节点走 \(2^k\) 步到达的祖先节点,若此节点不存在则设 \(f_{x, k} = 0\);显然,\(f_{x, 0}\) 就是 \(x\) 的父节点。

由于 \(f_{i, j}\) 可以从 \(f{i, j - 1}\) 走 \(2^{j - 1}\) 步转移过来,所以得出神奇小公式:\(\text{if } k \in \lbrack 1, \log n \rbrack, f_{x, k} = f_{f_{x, k - 1}, k - 1}\)

要解决这个问题,我们还要求出每个节点的深度,可以使用 dfs 解决。


在处理 LCA 时,我们以 \(\lbrack x, y \rbrack\) 中深度较大的开始,先使深度较大的缩短到最接近另一个深度的节点(自己 / 最近的祖先),然后一直向上即可。


完整代码:

#include <bits/stdc++.h>
#define int long long
#define il inline
using namespace std;

il int read()
{
    int x = 0;
    char c = getchar();
    while (c < '0')
        c = getchar();
    while (c >= '0')
    {
        x = x * 10 + (c - '0');
        c = getchar();
    }    
    return x;
}

int n, m, s;
vector<int> edge[500005];
int lca[500005][25], dep[500005];
void dfs(int x, int fa)
{
    lca[x][0] = fa;
    dep[x] = dep[fa] + 1;
    int now = edge[x].size();
    for (int i = 0; i < now; i++)
    {
        if (edge[x][i] == fa)
            continue;
        dfs(edge[x][i], x);
    }
    return ;
}
void pre()
{
    for (int j = 1; j <= 20; j++)
    {
        for (int i = 1; i <= n; i++)
            lca[i][j] = lca[lca[i][j - 1]][j - 1];
    }
    return ;
}
il int LCA(int x, int y)
{
    if (dep[x] < dep[y])
        swap(x, y);
    for (int i = 20; i >= 0; i--)
    {
        if (dep[lca[x][i]] >= dep[y])
            x = lca[x][i];
    }
    if (x == y)
        return x;
    for (int i = 20; i >= 0; i--)
    {
        if (lca[x][i] != lca[y][i])
            x = lca[x][i], y = lca[y][i];
    }
    return lca[x][0];
}
signed main()
{
    n = read(); m = read(); s = read();
    for (int i = 1; i < n; i++)
    {
        int x, y;
        x = read(); y = read();
        edge[x].push_back(y);
        edge[y].push_back(x);
    }
    dfs(s, 0);
    pre();
    for (int i = 1; i <= m; i++)
    {
        int x, y;
        x = read(); y = read();
        cout << LCA(x, y) << "\n";
    }
    return 0;
}

时间复杂度:\(O(m \log n)\)。

注:本代码用于 AC lg P3379 模板问题。

标签:倍增,int,LCA,read,edge,lca,树上,节点
From: https://www.cnblogs.com/George222/p/18508465

相关文章

  • 【C++ 图论 DFS】1443. 收集树上所有苹果的最少时间|1682
    本文涉及知识点C++图论C++DFSLeetCode1443.收集树上所有苹果的最少时间给你一棵有n个节点的无向树,节点编号为0到n-1,它们中有一些节点有苹果。通过树上的一条边,需要花费1秒钟。你从节点0出发,请你返回最少需要多少秒,可以收集到所有苹果,并回到节点0。无向......
  • 小红的树上路径查询(hard)
    小红的树上路径查询(hard)题目描述本题和$hard$难度的区别是,询问的次数有多次!小红拿到了一棵树,她有多次询问,每次询问输入一条简单路径$x,y$,她想知道树上所有节点到该路径的最短路之和是多少,你能帮帮她吗?定义节点到路径的最短路为:节点到路径上所有点的最短路中,值最小的那个。......
  • [LNOI2014] LCA
    [LNOI2014]LCA乐子笑点解析:单log疯狂卡常才卡过那两双log做法。全局平衡二叉树解法。考虑差分,然后挂扫描线。\(dep_{LCA(x,y)}\)实际上就是将\(x\)到根的节点权值加1,然后求\(y\)到根的节点的权值和。然后就是全局平衡二叉树的板子,标记永久化写就好了。应该会抽时间写一个......
  • 倍增st表
    首先,因为士兵是环形的,所以先将其拆分为链,并且每个士兵的移动位子不会被包含,所以只需要对左端点进行排序就能得到一个递增的区间点击查看代码voidinit(){cin>>n>>m;inti;for(i=1;i<=n;++i){w[i].i1=i;cin>>w[i].l>>......
  • 「Day-4 提高笔记-LCA最近公共祖先」
    #include<iostream>usingnamespacestd;constintMAXN=5*1e5+5;structnode{ intto,next;}e[MAXN*2];intf[MAXN][20],dp[MAXN];//f[x][i]表示x的第2^i个节点的编号inth[MAXN*2],tot=0;intn,m,s;voidadd(intx,inty){ e[++tot]={y,h[x]}; h......
  • Cinemachine系列——CinemachineBrain & CinemachineVirtualCamera
    CinemachineBrainCinemachineBrain是Unity摄像机与场景中的Cinemachine虚拟摄像机之间的链接。它监控优先级堆栈以选择当前的虚拟摄像机,并在必要时进行混合。最后,也是最重要的一点,它将虚拟摄像机的状态应用到附加的Unity摄像机上。CinemachineBrain还定义了虚拟摄像机之......
  • P11217 【MX-S4-T1】「yyOI R2」youyou 的垃圾桶(线段树上二分)
    link赛时是想到普通的线段树+二分\(O(q\log^2n)\),预期是70pts,实际50pts后面发现又是在longlong类型的计算中,1ll写成了1,然后爆负数,复杂度就错了,T了四个点开题,读起来是一个很套路的题目要对区间在线修改,区间加、(区间乘?),发现数据很大,那就是线段树、树状数组维护了思......
  • LCA学习笔记
    LCA学习笔记定义:在一棵树中,两个节点的最近公共祖先。1.暴力求法处理出每个点的深度,先把深度较深的一个点沿着父节点方向一直走到与另一个点相同的深度,如果此时两个点不同,那么两个点一起向上跳(代码实现过于简单,这里不过多赘述)2.倍增优化暴力注意到我们在暴力求法中,点是一步一......
  • 【模板】最近公共祖先(LCA)倍增
     P3379P3379【模板】最近公共祖先(LCA)#【模板】最近公共祖先(LCA)##题目描述如题,给定一棵有根多叉树,请求出指定两个点直接最近的公共祖先。##输入格式第一行包含三个正整数$N,M,S$,分别表示树的结点个数、询问的个数和树根结点的序号。接下来$N-1$行每行包含两个正......