riccac ha scritto:
è un albero binario che ha le proprietà di essere 1-bilanciato su tutti i nodi e che ha altezza logaritmica...però non capisco come mi possa aiutare nella dimostrazione....
Indovina un po': perche' questa e' la descrizione
collocquiale!!!
Forse ti serve qualcosa di piu'
preciso!
Programmazione e dimostrazione di teoremi vanno a braccetto!