Me pregunto lo que el consenso es en la definición de ancestro en un contexto de la informática.
Sólo pido porque en Introducción a los algoritmos , segunda edición, p. 259 hay una descripción del algoritmo Tree-Successor(x)que parece extraño. En la búsqueda del sucesor del nodo x ,
[...] si el subárbol derecho del nodo x está vacío y x tiene un sucesor y , a continuación, y es el antepasado más bajo de x cuyo hijo izquierdo es también un antepasado de x .
En un árbol binario de búsqueda con una raíz que tiene llave 2y los niños 1y 3, el sucesor de 1es su padre 2. En este caso, x es el hijo izquierdo de x sucesor 's, y . De acuerdo con la definición del libro, entonces, x debe ser su propio antepasado, a menos que me falta algo.
No he encontrado nada en la fe de erratas sobre esto.
