【白话系列】最近公共祖先

【序言】

        说到最近公共祖先，应该是树论中一个比较重要的话题吧。一般来说，在遇到求最近公共祖先的时候，会有三种常见的做法：对于简单的模拟题——直接模拟就好了；对于大题目中的求最近公共祖先的小桥段——用tarjan来求，因为好打不容易错；对于特意考察最近公共祖先，并且数据范围比较大的时候——用倍增算法，省空间还是硬道理。至于还有的通过变形将最近公共祖先问题化为区域最小值问题来做，性价比并不高，如果你硬是想知道，可以百度一下：“LCA问题转RMQ问题的ST算法”。

【什么是最近公共祖先？】

        最近公共祖先简称LCA，以下用LCA代替。

        不要期望我解释什么是LCA嗯，我知道你知道！（哼，这只是走个过程而已！）好吧，如果你真不知道，我也无法解释，请看：

        LCA（3 4）=2   LCA（3 2）=2    LCA（6 10）=1   LCA（5 6）=4

        我想你已经知道了，LCA就是两个节点前往根节点的两条路径第一次交汇的那个节点，也就是距离它们最近的祖先，而且是公共的祖先，哈哈！

【模拟的做法】

        还记得刚才的那句话么！“LCA就是两个节点前往根节点的两条路径第一次交汇的那个节点”！那么模拟法岂不是太显而易见了吗？直接从要求的一个点开始，不停地往父亲走，把它经过的点都标记为已访问，直到不能再走为止，再从另一个点开始，不停往父亲走，并检查它经过的点是不是曾今被访问过，如果是，那么这个点就是它们的最近公共祖先。如果你要问我为什么，我真的会很难过的，真的。

        注意：模拟法在马虎的时候也是容易出错误的，记住一个完整的小流程是“先标记再往上走”而不是“先往上走再标记”，这并不一样，如上图，若是找2 与 3的LCA，先模拟2的路径，如果“先标记再往上走”那么走完以后被标记的有1与2，如果“先往上走再标记”，那么被标记的就只有1，显然这是不可取的，因为最后求出来的LCA就变成1号节点了！这是常见的一个小错误，当然，对于另外一个节点，也应该“先检查再往上走”，因为它自己本身这个节点就有可能是它们的LCA。切记啊切记，这样的错误不能出现了啊！！

【tarjan的做法】

        刚才我们一直在做的都是解决两个节点的LCA是哪个节点，tarjan固然也是解决这样的问题的，只不过它可以更加快速，在线性的时间阶内求出所有的询问。tarjan到底是怎么做的？请往下看。

        首先，我们来想想这样一个问题：在如图的这棵树中，LCA为1号节点的有哪些节点对？也许你觉得这个问题实在是太简单了，一眼就可以看出，只要在1号节点的左子树随便找一个节点，再与从1号节点的右子树中随便找出的一个节点组成节点对，那么它们的