Questa la traccia:

Supponiamo che l’operazione di ricerca di una chiave k in un albero binario di
ricerca termini su di una foglia. Consideriamo tre insiemi:
• A, l’insieme delle chiavi alla sinistra del cammino di ricerca;
• B, l’insieme delle chiavi del cammino di ricerca;
• C, l’insieme delle chiavi alla destra del cammino di ricerca.
Si potrebbe credere che se a ∈ A, b ∈ B e c ∈ C, allora a ≤ b ≤ c. Si produca un
esempio che contraddice questa affermazione.
Il cammino della ricerca è il cammino determinato dai confronti necessari a trovare
k nell’albero.


Se riuscite a trovare una contraddizione vi prego di suggerirmela... sono un paio d'ore che ci provo ma non ci riesco... Forse sbaglio ragionamento.. boh..... Grazie

Non ho capito bene cosa vuole dire...

Poi per quanto riguarda la definizione di ABR questa ci dice "anche" che:

Sia x un nodo di un albero binario di ricerca; allora:

se y `e un nodo del sottoalbero sinistro di x allora key[y] <= key

se y `e un nodo del sottoalbero destro di x allora key[y]  >=key

Quindi ?? lei è in grado di trovarmi una contraddizione a quanto detto prima?

Ahimèè...invece l'enunciato è corretto!