Mi chiedo che cosa il consenso è sulla definizione di antenato in un contesto di informatica.
Chiedo solo perché in Introduzione agli algoritmi , seconda edizione, pag. 259 v'è una descrizione dell'algoritmo Tree-Successor(x)che sembra strano. Nel trovare il successore di nodo di x ,
[...] se sottoalbero destro del nodo x è vuoto e x ha un successore y , allora y è l'antenato più basso di x cui figlio sinistro è anche un antenato di x .
In un albero binario di ricerca con una radice con chiave 2e figli 1e 3, il successore di 1è suo genitore 2. In questo caso, x è il figlio sinistro di x successore', y . Secondo la definizione del libro, quindi, x deve essere un proprio antenato, a meno che non mi manca qualcosa.
Non ho trovato nulla nella errata su questo.
