Tarjan 算法解决 LCA 问题

一 点睛

这里的 Tarjan 算法是用于解决 LCA 问题的离线算法。在线算法指每读一个查询，都需要运行一次程序得到本次查询答案。离线算法指首先读入所有查询，然后运行一次程序得到所有查询答案。

二 Tarjan 算法

1 初始化集合号数组和访问数组 fa[i]=i,vis[i]=0

2 从 u 出发深度优先遍历,标记 vis[u] = 1,深度优先遍历所有未被访问邻结点，在遍历过程中更新距离，回退时更新集合号。

3 当 u 的邻接点全部遍历完毕，检查 u 的所有查询，若存在一个查询 u 、v，而 vis[v]=1,则利用并查集查找 v 的祖宗，找到的节点就是 u、v 的最近公共祖先。

三 图解

1 初始化所有节点的集合号都等于自己，fa[i]=i,vis[i]=0。

2 从根节点开始深度优先便利。在遍历过程中标记 vis[]=1

3 8 号节点的临接点已访问完毕，更新 fa[8]=6,没有 8 相关的查询,回退到 6。

4 遍历 6 号节点的下一个邻接点 9，标记 vis[9]=1, 9 号节点的邻接点已访问完毕，更新 fa[9]=6,没有 9 的相关查询，回退到 6。

5 6 号节点的邻接点已访问完毕，更新 fa[6]=4,有 6 相关的查询 5(查询 5 6)，但是 vis[5] != 1,什么也不做，返回到 4。

6 4 号节点的邻接点已访问完毕，更新 fa[4]=2,没有 4 相关的查询，返回到 2。

7 遍历 2 号节点下一个邻接点 5，标记 vis[5]=1。继续深度遍历到 7 标记 vis[7]=1,7 号节点的邻接点已访问完毕，更新fa[7]=5, 没有 7 相关的查询,回退到 5。

8 5 号节点的邻接点已访问完毕，更新 fa[5]=2,有 5 相关的查询6(查询 5 6 ),且 vis[6]=1，此时需要从 6 号节点开始使用并查集查找祖宗。

9 从 6 号节点开始利用并查集查找祖宗的过程如下。首先判断 6 的集合号 fa[6] =4,找 4 的集合号 fa[4]=2，找 2 的集合号 fa[2]=2,找到祖宗(集合号为其自身)后返回，并更新祖宗到当前节点路径上的所有节点的集合号，即更新 6、4的父节点 fa[4],fa[6]=2，此时 fa[6] 就是 5 和 6 的最近公共祖先。