Proszę o pomoc w rozwiązaniu zadania:
Zaproponuj algorytm badania, czy dane etykietowane drzewo binarne jest drzewem AVL. Koszt algorytmu powinien być liniowy względem liczby wierzchołków w drzewie.

Rozwiązanie powinno zawierać:
specyfikację zadania,
opis słowny metody rozwiązania,
algorytm rozwiązujący (ew. jego implementację),
analizę kosztu i
analizę poprawności algorytmu względem podanej specyfikacji.