Albero di Fibonacci

Da Wikipedia, l'enciclopedia libera.
Albero di fibonacci di altezza 5

L'Albero di Fibonacci è un albero AVL che, data una determinata altezza, ha il minor numero possibile di nodi mantenendo il bilanciamento.

Questo particolare tipo di albero prende il nome dall'omonimo matematico Leonardo Fibonacci. L'albero ha infatti le caratteristiche della famosa successione, è infatti intrinsecamente ricorsivo. Lo si evince dal fatto che qualsiasi albero di Fibonacci di altezza h può essere costruito a partire da una radice e da un sottoalbero di altezza h-2 come sottoalbero destro e h-1 come sottoalbero sinistro.

Si verifica intuitivamente e visivamente che il coefficiente di bilanciamento di ogni singolo nodo dell'albero è +1. Quindi questa categoria di alberi è quella che più si avvicina alla condizione di sbilanciamento, pur essendo ovviamente ancora bilanciato.

Lemma dell'altezza[modifica | modifica wikitesto]

Enunciato[modifica | modifica wikitesto]

Sia un albero di Fibonacci di altezza e sia il numero dei suoi nodi. Risulta

Dimostrazione[modifica | modifica wikitesto]

Per la natura stessa dell'albero di Fibonacci, risulta che

Tale enunciato ricorda molto la formula ricorsiva per il calcolo della successione di Fibonacci. Si riesce a dimostrare per induzione che dove rappresenta l'h-esimo elemento della successione di Fibonacci.

  • Passo base:

Il passo base è verificato banalmente, dato che e .

  • Passo induttivo:

Supponiamo che per ogni si abbia che ed usando le ricorrenze relative ad e ad si ottiene:

Inoltre una proprietà della successione di Fibonacci è che il rapporto tra due numeri della successione si avvicina sempre più al Rapporto Aureo e si dimostra che .

L'altezza dell'albero e il numero dei nodi sono quindi legati esponenzialmente, ragion per cui si ottiene , in dettaglio un albero di Fibonacci con nodi ha altezza

Considerazioni[modifica | modifica wikitesto]

Il lemma precedente permette anche di dimostrare che l'altezza di qualsiasi albero AVL è funzione logaritmica del numero dei nodi.

Altri progetti[modifica | modifica wikitesto]