В CLRS, третье издание, на стр. 155, указано, что в MAX-HEAPIFY,
Поддеревья для детей имеют размер не более 2n/3 - худший случай происходит, когда нижний уровень дерева ровно наполовину заполнен.
Я понимаю, почему это худшее, когда нижний уровень дерева точно наполовину заполнен. И в этом вопросе также отвечает худший случай в MAX-HEAPIFY: "худший случай возникает, когда нижний уровень дерева ровно наполовину заполнен"
Мой вопрос: как получить 2n/3?
Почему, если нижний уровень наполовину заполнен, размер дочернего дерева равен 2n/3?
Как вычислить это?
Спасибо