如何理解 Tarjan 的 LCA 算法?

如何理解 Tarjan 的 LCA 算法?

基本思想就是点对问题的基本套路,以一种顺序访问所有点,先访问的点在数据结构上操作,后访问的点查询数据结构。基于这样的思路,就不难想出tarjan算法了。

证明的话,只要定那个先访问点的findfather界就好了。