оказался вопрос действительно глупо. выясняется при помощи друга.
моя ошибка смотрела на длины «пути глубины», хотя мне приходилось следить за тем, что происходит под каждым узлом. не глядя выше узла. означает, что до тех пор, пока каждый узел имеет разность «1» в высоте его поддеревьев, все в порядке.
здесь Прилагаю пример, чтобы убедиться, что AVL сбалансирован, перейдите от основания к корню AVL и сравните каждый правый и левый поддеревья каждого узла. вы убедитесь, что это сбалансированное дерево AVL. (хотя | leaf24.depth-leaf10.depth |> 1; | leaf24.depth-leaf10.depth | = 2) !!
Прикрепленный пример: http://i.stack.imgur.com/iEHsU.png