Обратите внимание на требование «Два биномиальных дерева можно объединить, только если они имеют одинаковый размер, поэтому размер дерева должен храниться в корне».
Кажется, что вместо «размераполе "поддерево", автор поставил поле "количество детей".Это сбивает с толку, но для реализации это хорошо, потому что размер поддерева составляет 2 ^ {# дочерних элементов}.Таким образом, вы можете сравнить количество детей вместо того, чтобы сравнивать размер поддерева.