Editing Lowest common ancestor

The '''lowest common ancestor''' or '''least common ancestor''' (LCA) of a nonempty set of nodes in a rooted [[tree]] is the unique node of greatest depth that is an ancestor of every node in the set. (In biology, this corresponds to the ''most recent common ancestor'' of a set of organisms.) We will denote the LCA of a set of nodes <math>S = \{v_1, v_2, ..., v_n\}</math> by <math>\operatorname{LCA}(v_1, v_2, ..., v_n)</math> or by <math>\operatorname{LCA}(S)</math>.

==Properties==
''The proofs of these properties are left as an exercise to the reader.''
# <math>\operatorname{LCA}(\{u\}) = u</math>.
# <math>u</math> is an ancestor of <math>v</math> if and only if <math>\operatorname{LCA}(u,v) = u</math>.
# If neither <math>u</math> nor <math>v</math> is an ancestor of the other, than <math>u</math> and <math>v</math> lie in different immediate subtrees of <math>\operatorname{LCA}(u,v)</math>. (That is, the child of the <math>\operatorname{LCA}(u,v)</math> of which <math>u</math> is a descendant is not the same as the child of the <math>\operatorname{LCA}(u,v)</math> of which <math>v</math> is a descendant.) Furthermore, the <math>\operatorname{LCA}(u,v)</math> is the only node in the tree for which this is true.
# The entire set of common ancestors of <math>S</math> is given by <math>\operatorname{LCA}(S)</math> and all of its ancestors (all the way up to the root of the tree). In particular, every common ancestor of <math>S</math> is an ancestor of <math>\operatorname{LCA}(S)</math>.
# <math>\operatorname{LCA}(S)</math> precedes all nodes in <math>S</math> in the tree's preordering, and follows all nodes in <math>S</math> in the tree's postordering.
# If <math>S = A \cup B</math> with <math>A</math> and <math>B</math> both nonempty, then <math>\operatorname{LCA}(S) = \operatorname{LCA}(\operatorname{LCA}(A),\operatorname{LCA}(B))</math>. For example, <math>\operatorname{LCA}(u,v,w) = \operatorname{LCA}(u,\operatorname{LCA}(v,w))</math>. (The LCA shares this property with the similar-sounding [[lowest common multiple]] and [[greatest common divisor]]; and this property can be used to compute the LCA of arbitrarily large sets using only binary LCA computations.)
# <math>\operatorname{LCA}(u,v)</math> is the unique highest (least deep) node on the unique simple path from <math>u</math> to <math>v</math>.
# <math>d(u,v) = h(u) + h(v) - 2h(\operatorname{LCA}(u,v))</math>, where <math>d</math> represents the distance between two nodes and <math>h</math> represents the height of a node.

==Algorithms and variations==
Finding the lowest common ancestor of a given pair of nodes in a given tree is an extensively studied problem.

===Naive===
The [[naive algorithm]] runs in <math>O(h)</math> time, where <math>h</math> is the height of the tree. It works by computing the sequences <math>u, P(u), P(P(u)), ..., r</math> (where <math>P</math> represents the parent of a node and <math>r</math> the root of the tree) and <Math>v, P(v), P(P(v)), ..., r</math> for the two given nodes <math>u</math> and <math>v</math>. The first element of the longest common suffix of these two sequences is then trivially the LCA. Note that if the tree is well-balanced, then this approach will actually perform quite well (around <math>O(\log N)</math> time per query, where <math>N</math> is the size of the tree).

===Offline===
If we want to find the LCAs of multiple pairs of nodes in the same tree, and we know all the pairs of nodes in advance, then we can use [[Tarjan's offline LCA]] algorithm. It is not easy to picture how this algorithm works, but it is quite easy to implement it. It uses <math>O(N)</math> [[disjoint set]] operations, so can easily be made to run in <math>O(N \alpha(N) + M)</math> time (where <math>M</math> is the size of the input), barely slower than linear. It is also possible to implement it so that it runs in <math>O(N+M)</math> time (that is, linear)<ref>Gabow, H. N.; Tarjan, R. E. (1983), "A linear-time algorithm for a special case of disjoint set union", ''Proceedings of the 15th ACM Symposium on Theory of Computing (STOC)'', pp. 246–251, doi:10.1145/800061.808753.</ref>, but this is unlikely to give faster code in practice.

===Reduction to RMQ===
[[File:Lca_example_tree.png|200px|thumb|right|Example tree for this section]]
It is possible to solve any instance of the LCA problem by reducing it to an instance of the [[range minimum query]] (RMQ) problem. In particular, given a rooted tree, we can construct an array with the property that the LCA of any pair of nodes in the tree can be determined by finding the RMQ of some segment of that array.

The correct way to construct this array may be described intuitively as "walking" around the tree. The following pseudocode expresses exactly how this "walk" is constructed, using a [[depth-first search]]:
<pre>
walk(node u)
    print u
    for v &isin; u's children
        walk(v)
        print u
</pre>
In other words, a node with <math>k</math> children is visited <math>k+1</math> times; once when we first encounter it by recursing down from its parent, and once again after each of its child subtrees has been fully explored. In the example tree shown to the right, if we assume that we visit children in left-to-right order as shown on the diagram, we obtain the ordering ABDBEBFBACGCHCA. Observe that the is the same order that we would obtain if, on the diagram, we started out on the left side of the circle containing the letter "A", and started walking down along the edge between A and B, and walked "all the way around" the tree, writing down the label of each node we touched along the way. This traversal also corresponds to an [[Eulerian circuit]] of the tree, assuming that we replace each undirected edge with a pair of directed edges. Since a tree with <math>N</math> nodes has <math>N-1</math> edges, and each edge is traversed once in each direction, this Eulerian circuit has length <math>2N-2</math>; and hence it contains <math>2N-1</math> vertices.

This traversal has the very useful property that between (inclusive) any occurrence of node <math>u</math> in it and any occurrence of node <math>v</math> in it, <math>\operatorname{LCA}(u,v)</math> is guaranteed to appear at least once, and no other node with depth less than or equal to that of <math>\operatorname{LCA}(u,v)</math> will appear at all. For example, consider the positions of D and F in the traversal ABDBEBFBACGCHCA; we see that their LCA, that is, B, occurs between them, and that the nodes C and A do not occur at all.
: ''Proof'': First, we show that the LCA occurs, in two cases:
:# If the LCA is <math>u</math> or <math>v</math> itself, then without loss of generality assume it is <math>u</math>. Then, clearly, between any occurrence of <math>u</math> and any occurrence of <math>v</math> (inclusive) we find an occurrence of the LCA, since the LCA is <math>u</math> itself.
:# Otherwise, <math>u</math> and <math>v</math> are in different subtrees of their LCA <math>w</math>. Let <math>u'</math> and <math>v'</math> be the roots of these respective subtrees, and children of <math>w</math>. From the <code>walk</code> function above, it is clear that <math>u'</math> is first visited before any of its proper descendants (including <math>u</math>), and after it is last visited, none of its proper descendants will ever be visited again; the same is true of <math>v'</math> and its children, including <math>v</math>. Since neither <math>u</math> nor <math>v</math> is a descendant of the other, it is clear that, without loss of generality, all the descendants in <math>u'</math> are visited before descendants of <math>v'</math>. But <math>w</math> is visited immediately after the last occurrence of <math>u'</math>, so it will occur between any descendant of <math>u'</math> and any descendant of <math>v'</math>. Therefore, it will occur between any occurrence of <math>u</math> and any occurrence of <math>v</math>.
:Now, consider nodes other than the LCA that have depth less than or equal to that of the LCA. Call such a node <math>s</math>. <math>s</math> is obviously not a descendant of the LCA. Notice that <math>u</math> can only be visited between the entry and exit of the instance of <code>walk</code> with the LCA as argument, and that <math>v</math> too can only be visited during that time. However, only descendants of the LCA can be visited during this time, so <math>s</math> cannot possibly be visited. <math>_{\blacksquare}</math>

Now construct the array <math>A</math> by replacing each node in the traversal described above by its depth. The example tree gives <math>A = [0, 1, 2, 1, 2, 1, 2, 1, 0, 1, 2, 1, 2, 1, 0]</math>. This array has size <math>2N-1</math>. Given <math>u</math> and <math>v</math>, locate two elements in <math>A</math>, one that corresponds to <math>u</math>, and one that corresponds to <math>v</math>. (This can be done in constant time using a lookup table that we compute while we are doing the traversal). We know from the preceding property that the LCA is the unique shallowest node corresponding to any element located between these two elements. Therefore, by finding the position of some minimum element in this range, we will locate the LCA. So if we can answer range minimum queries in <math>O(f(M))</math> time (where <math>M</math> is the size of the array) after <math>O(g(M))</math> preprocessing time, then we can use this technique to answer LCA queries in <math>O(f(2N-1))</math> time and <math>O(2N-1 + g(2N-1))</math> preprocessing time. We do so by constructing the array <math>A</math> using <math>O(2N-1)</math> time and space, carrying out whatever preprocessing on <math>A</math> our RMQ algorithm requires, and then converting each LCA query into an RMQ.

Since there is an algorithm that solves RMQ with linear preprocessing time and constant query time, the LCA problem can also be solved in linear preprocessing time and constant query time.

===With heavy-light decomposition===
The [[heavy-light decomposition]] provides an easy way to ascend a tree quickly, which allows an adaptation of the naive algorithm to run in <math>O(\log N)</math> time after linear preprocessing time. This is not asymptotically optimal, as the LCA-to-RMQ reduction discussed in the previous section allows queries to be performed in constant time. However, if the decomposition is being used for other purposes than simply answering LCA queries, then the LCA query time might not dominate the overall runtime, anyway.

===Dynamic===
In the fully dynamic variant of the LCA problem, we must be prepared to handle LCA queries intermixed with operations that change the tree (that is, rearrange the tree by adding and removing edges). In general, we suppose that we have a forest of <math>N</math> nodes in which we can arbitrarily link together two nodes from different trees, cut an edge (thus dividing a tree into two trees), or change the root of a tree on a whim, and the answer to an LCA query is either a node or the finding that the two nodes given are in different trees.

This variant can be solved using <math>O(\log N)</math> time for all modifications and queries. This is done by maintaining the forest using the [[dynamic trees]] data structure with partitioning by size; this then maintains a heavy-;light decomposition of each tree, and allows LCA queries to be carried out in logarithmic time as discussed in the previous section.

==References==
<references/>