什么是LCA
求有根树的任意两个节点的最近公共祖先。
解答这个问题之前,咱们得先搞清楚到底什么是最近公共祖先。最近公共祖先简称LCA(Lowest Common Ancestor),所谓LCA,是当给定一个有根树T时,对于任意两个结点u、v,找到一个离根最远的结点x,使得x同时是u和v的祖先,x 便是u、v的最近公共祖先。
———摘自度娘
可能度娘里面的话有些读不懂(我的智商原因),在这里我先举个栗子
在本图中,我们记点n,m的最近公共祖先为LCA(n,m),则:
LCA(5,6)= 1;因为5的父亲为2,2的父亲为1,6的父亲为3,而3的父亲为1;1为首个出现的祖先,故LCA(5,6)= 1。
算法介绍
另一种理解方式是把T理解为一个无向无环图,而LCA(T,u,v)即u到v的最短路上深度最小的点。
这里给出一个LCA的例子:
对于T=<V,E>
V={1,2,3,4,5}
E={(1,2),(1,3),(3,4),(3,5)}
则有:
LCA(T,5,2)=1
LCA(T,3,4)=3
LCA(T,4,5)=3
———摘自度娘
算法思想
- 这个算法主要实现方式是用DP
- 查询阶段需要用到倍增
我们定义dp[i][j]表示i节点向上爬 2 j 2^j 2j后所到达的节点;查询时,假设要查询的两个点n,m的最近公共祖先,还是以下图为例查询LCA(7,6)。
7的深度为4,6的深度为3,首先把7这个结点的深度变为3,即7向上爬一层,变为4,然后就一起往上爬,第一次爬到2和3,2和3继续爬就变成1,所以LCA(7,6) = 1;
在查询的时候,用倍增算法可以把时间减少到log级别,代码:
int LCA(int x, int y) {
if(de[x] < de[y])
swap(x, y);
for(int i = 30; i >= 0; i--)
if(de[x] - (1 << i) >= de[y])
x = dp[x][i];
if(x == y)
return x;
for(int i = 30; i >= 0; i--) {
if(dp[x][i] != dp[y][i]) {
x = dp[x][i];
y = dp[y][i];
}
}
return dp[x][0];
}
初始化就不用说了吧……
void Init() {
vis[1] = 1;
Find_Son