Zastanawiam się co jest konsensus w sprawie definicji „przodka” w kontekście informatyki.
Pytam tylko dlatego, że w Wprowadzenie do algorytmów , wydanie drugie, str. 259 znajduje się opis algorytmu Tree-Successor(x), który wydaje się dziwne. W znalezieniu następcy węzła x ,
[...] Jeżeli prawa Poddrzewo węzła X jest pusty, a x ma następcy Y , a Y jest najniższa przodka X , której lewe dziecko jest przodkiem x .
W wyszukiwania binarnego drzewa z korzeniem posiadające klucz 2i dzieci 1oraz 3, następca 1jest jego rodzic 2. W tym przypadku, x jest lewym dziecko x następcy „S, Y . Według definicji książki, wtedy x musi być własny przodek, chyba że czegoś mi brakuje.
Nie znalazłem nic w errata na ten temat.
