Talk:Tarjan's off-line lowest common ancestors algorithm

Mathematics Start‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

It would be great if someone added a paragraph about the analysis, or at least about the complexity... 85.218.28.6 (talk) 21:04, 11 October 2009 (UTC)[reply]

I think that this article needs to be examined for possible copyright issues. The pseudocode is taken directly from "Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein, Introduction to Algorithms, MIT Press and McGraw-Hill, 1990." (I looked at this earlier today when the database was locked — I can provide a page reference the next time I look at the book.) Boris Alexeev 19:26, 11 September 2005 (UTC)[reply]

Page 521 perhaps.

The algorithm itself is not invented by Tarjan, but rather by Aho, Hopcroft and Ullman (see Tarjan - Efficiency of a Good But Not Linear Set Union Algorithm, JACM Volume 22 , Issue 2 (April 1975), Pages: 215 - 225). So this must be a mistake in Cormen at al. I believe this article must be renamed or removed. -- Andrew Stankevich

Lots of mathematical results are named after the wrong person. That doesn't make the results incorrect, and doesn't even mean they should be renamed. We are not here to correct the scientific nomenclature but to report on it. But, the earlier invention should be described in the article. —David Eppstein 14:40, 30 July 2007 (UTC)[reply]

Why is it called least common ancestor? I mean "least common" suggests "non common", and so the root (being an ancestor of every node) would be the answer to all queries. Devika.shaumslager (talk) 07:27, 21 August 2008 (UTC)[reply]

The terminology is related to tree partial orders. If you are given a rooted tree T with root r it induces a partial order on its vertices where u <= v iff v lies on the unique path from r to u. In this order the "least upper bound" of two elements corresponds to their "least common ancestor". — Preceding unsigned comment added by 80.133.218.54 (talk) 16:20, 5 February 2012 (UTC)[reply]