При обсуждении структуры данных кучи, например, в CLRS , очереди с максимальным приоритетом требуется только INSERT, MAXIMUM, EXTRACT-MAX и INCREASE-KEY. Но почему у него еще нет DECREASE-KEY, по крайней мере, его работа также аннулирует свойство кучи? Это практически неважно?