Изменения

}}

[[Файл:FatTreesExample.png |400px|thumb|left|Пример толстых деревьев <tex>F_0, F_1, F_2, F_3</tex>]]

{{Утверждение

Эта схема может быть расширена для выполнения за константное время декрементирования произвольной цифры добавлением дополнительного цифрового значения <tex>b+1</tex>.

Представление приоритетной очереди основано на использовании так называемых '''избыточных счетчиков''', позволяющих за время <tex>O(1)</tex> инкрементировать любой разряд. Заметим, что использованные здесь счетчики — лишь '''один из способов реализации''' толстых куч. На самом деле, для их реализации подойдет '''произвольный d-арный''' счетчик, при условии, что трудоемкость инкрементирования любого его разряда является константной.

'''else'''

rootCount[i].forwardPointer = i + 1

===Корректировка при вставке ===

*<tex>countViolation[i].firstViolation</tex> {{---}} указатель на неправильный узел ранга <tex>i</tex>

*<tex>countViolation[i].secondViolation</tex> {{---}} указатель на неправильный узел ранга <tex>i</tex>

{{Утверждение