On priority queues with priority jumps · Study