Изменения
→Счетчик нарушений
'''Счетчик нарушений''' состоит из расширенного избыточного двоичного представления и набора списочных элементов.
'''Счетчик нарушений''' представлен [[Саморасширяющийся массив|Саморасширяющимся саморасширяющимся массивом]], элементы которого состоят из четырех полей:
*<tex>CountViolation[i].Value</tex> {{---}} количество неправильных узлов ранга <tex>i</tex> в куче.
*<tex>CountViolation[i].ForvardPointer</tex> {{---}} прямой указатель <tex>i</tex>-го разряда
