tarjan算法 java_离线LCA(Tarjan)算法详解

关于离线算法

(下面内容可以略过。)

离线算法其实就是将多个询问一次性解决。离线算法往往是与在线算法相对的。例如求LCA的算法中，树上倍增属于在线算法，在对树进行$O(n)$预处理后，每个询问用$O(log_2n)$复杂度回答。而离线的Tarjan算法则是用$O(n+q)$时间将询问一次性全部回答。

详解

下面是一棵树，我们将以这棵树为例子讲解Tarjan算法，其中0号点为根。

假设对于这棵树的询问有4个，分别询问：

$LCA(2,8)$

$LCA(5,6)$

$LCA(2,5)$

$LCA(4,9)$

首先我们将这四个询问顺序调转，再复制四份，现在就有8个询问：

$LCA(2,8)$

$LCA(5,6)$

$LCA(2,5)$

$LCA(4,9)$

$LCA(8,2)$

$LCA(6,5)$

$LCA(5,2)$

$LCA(9,4)$

这一步是必须的，后面将会说明它。

然后对于每个节点u，给它开一个链表，找到所有的询问 $LCA(u,v)$ ，把v插入到u的链表后，同时把询问编号插入，以便按照输入顺序输出答案。

于是询问就被离线了。

那么到底怎么求LCA呢？我们对带着询问树进行一次dfs。如图：

第1步，0号点被遍历：

没有与0相关的询问，继续dfs。

第2步，1号点被遍历：

没有与1相关的询问，继续dfs。

第3步，2号点被遍历：