Везде говорится, что "В стеке приоритет каждого вставленного элемента монотонно возрастает". Но в стеке каждый новый элемент имеет приоритет выше, чем предыдущий элемент. Таким образом, при реализации в качестве приоритетной очереди, если 2 последовательных элемента имеют одинаковый приоритет (в соответствии с определением монотонности), удаление будет соответствовать не политике LIFO стека, а политике FIFO.
Разве приоритет не должен строго возрастать?
Заранее спасибо !!