Ну, например, дерево AVL, благодаря своей идеальной сбалансированности, неявно знает, сколько узлов находится в каждом поддереве, пока оно отслеживает общее количество узлов - разницу в размере междулевое и правое поддерево может содержать не более одного элемента.Каждый узел имеет поле баланса, которое может быть одним из -1, 0 или 1, указывая, что левая сторона больше, обе равны, или правая сторона больше, соответственно.(или, может быть, у меня это задом наперед, я точно не помню сейчас - второстепенная точка).
Во всяком случае - так, например, если у вас есть дерево AVL с 101 элементом, вы уже знаете, что двакаждое поддерево имеет 50 элементов (потому что дерево сбалансировано) - (т.е. 101 элемент минус корневой элемент поддерева, разделенный на два).На следующем уровне, всего 50 элементов, в одном поддереве будет 25 элементов, а в другом 24 (плюс один в корне поддерева).Какой из них указан в поле баланса.
Этот принцип применяется рекурсивно на всем протяжении листьев.