Pseudokod Poniższy pseudokod wyznacza najniższego wspólnego przodka każdej pary należącej do P. Korzeń drzewa podany jest w zmiennej r, natomiast następniki wierzchołka n znajdują się w zbiorze n.children. Dla poniższego algorytmu offline zbiór P musi być zadany przed rozpoczęciem działania algorytmu. W procedurze używane są procedury MakeSet, Find oraz Union ze zbiorów rozłącznych. MakeSet(u) tworzy singelton z u, Find(u) zwraca reprezentanta zbioru do którego należy u, Union(u,v) łączy zbiory zawierające wierzchołki u oraz v.
TarjanOLCA(r) jest na początku wywoływany z parametrem równych korzeniowi r.
funkcja TarjanOLCA(u) MakeSet(u) u.ancestor := u dla każdego v należącego do u.children wykonaj TarjanOLCA(v) Union(u,v) Find(u).ancestor := u u.color := black; dla każdego v takiego, że {u,v} należy do P wykonaj if v.colour == black zwróć wynik: Find(v).ancestor
Po inicjalizacji każdy wierzchołek jest w kolorze białym i jest kolorowany na czarno w momencie gdy wszystkie jego dzieci zostaną odwiedzone. Najniższy wspólny przodek pary {u,v} może zostać wyznaczony wywołaniem funkcji Find(v).ancestor natychmiast (i tylko wtedy) gdy wierzchołek u jest kolorowany na czarno, a v już został pokolorowany na czarno.