116
правок
Изменения
Нет описания правки
В нашей структуре данных будет поддерживаться следующий инвариант: '''дерево всегда полное или сокращенное'''.
Этот инвариант влечет за собой очевидные следствия:
* Все деревья (и поддеревья) размера < tex><</tex> 4 - сокращенные, а <tex>\geqslant</tex>= 4 - полные
* Каждая вершина, среди детей которой есть хотя бы 1 нелистовая вершина, имеет не менее 3 детей (это не позволяет дереву вытягиваться в бамбук, например)
