Объясните теоретические основы бинарного дерева поиска (BST). Опишите свойства сбалансированных деревьев, таких как AVL-деревья или Красно-черные деревья. Почему балансировка критична для обеспечения логарифмической сложности операций?