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