最近公共祖先 python_最近公共祖先 Least Common Ancestors（LCA）算法 --- 与RMQ问题的转换 - wuminye...

【简介】

LCA(T，u，v)：在有根树T中，询问一个距离根最远的结点x，使得x同时为结点u、v的祖先。

RMQ(A，i，j)：对于线性序列A中，询问区间[i，j]上的最值。见我的博客--- RMQ ---- ST(Sparse Table)算法

。

【LCA算法】

解决LCA问题有多种算法，一种是离线的 Tarjan算法

，还有 在线的倍增法

，还有就是 转换为RMQ问题的在线算法

。

【LCA转化为RMQ】

(一)对有根树T进行DFS，将遍历到的结点按照顺序记下，我们将得到一个长度为 2N – 1

的序列，称之为T的欧拉序列F 。

(二)每个结点都在欧拉序列中出现，我们记录结点u在欧拉序列中第一次出现的位置为pos(u)。

根据DFS的性质，对于两结点u、v，从pos(u)遍历到pos(v)的过程中经过LCA(u, v)有且仅有一次，且深度是深度序列B[pos(u)…pos(v)]中最小的。

即 LCA(T, u, v) = RMQ(B, pos(u), pos(v))

，并且问题规模仍然是O(N)的。

至此，LCA问题就转化为RMQ问题。

【RMQ转化为LCA】

简单说明下吧：考察一个长度为N的序列A，按照如下方法将其递归建立为一棵树：

1)设序列中最小值为A k

，建立优先级为Ak的根节点T k

；

2)将A(1…k–1)递归建树作为T k

的左子树；

3)将A(k+1…N)递归建树作为T k

的右子树；

不难发现，这棵树是一棵优先级树T。

对于RMQ(A，i，j)：

1)设序列中最小值为Ak，若k∈[i, j]，那么答案为k；

2)若k > j，那么答案为RMQ(A 1

..k-1，i，j)；

3)若k < i，那么答案为RMQ(A K

+1..N，i，j)；

不难发现 RMQ(A，i，j) = LCA(T，i，j)

！

【例题 HDU 2586】