关于离线算法
(下面内容可以略过。)
离线算法其实就是将多个询问一次性解决。离线算法往往是与在线算法相对的。例如求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号点被遍历: