LCA之ST算法（我只会这个）

什么是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

———摘自度娘

算法思想

1. 这个算法主要实现方式是用DP
2. 查询阶段需要用到倍增

我们定义dp[i][j]表示i节点向上爬$2^j$后所到达的节点；查询时，假设要查询的两个点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