Целочисленная приоритетная очередь с чувствительным к распределению deleteMin

Есть ли в очереди с целочисленным приоритетом, которая использует слов пробела со следующими операциями, все в наихудшем времени и без доступа к случайности:$O(n)$

• createEmptyQueueв для некоторой константы с .$O(lg^c U)$$c$
• insertв .$O(1)$
• deleteMinδ $O(\delta_{\min})$$\delta_{\min}$

Кроме того, после того как ключ был подвергнут воздействию a , все дальнейшие вставки имеют значение .> $k$deleteMin$> k$

Связанных с работой:

«Быстрый локальный поиск и обновление в ограниченных вселенных» Бозе и др., Который работает быстрее, чем мне нужно, deleteMinно медленнее, чем мне нужно insert.

Бродник и др. «Очередь с наименьшим временем с постоянным приоритетом» , в которой используется экзотическая «память Иггдрасиля». Для целей этого вопроса меня интересуют более стандартные целочисленные модели оперативной памяти.

«Многопроцессная временная очередь» Бродника и Карлссона , которая ограничивает вставку элементами с ключами в , где - значение минимума ключ.k $(k_{\min}, k_{\min} + \delta_{\min}]$$k_{\min}$

Обратите внимание, что это довольно просто с хеш-таблицей, но она использует амортизацию и случайность:

• Очереди - это пары хеш-таблицы ключей и копия минимального ключа.
• insert добавляет ключ в хеш-таблицу и обновляет минимальную копию ключа, если это необходимо.
• deleteMinищет минимальный ключ в хеш-таблице, а затем ищет следующий минимальный ключ, ища по .$k_{\min} + 1, k_{\min} +2, k_{\min} + 3, \dots$

В этой статье [1] дополнительно введено свойство time-finger, унифицированное свойство, инкапсулирующее свойства как рабочего набора, так и очереди:

Мы представляем приоритетную очередь, которая поддерживает операции: вставка в худшем случае с постоянным временем и удаление, delete-min, find-min и клавиша уменьшения для элемента в худшем случае время, где (соответственно ) - это количество элементов, к которым был получен доступ после (соответственно, до) последнего доступа к и которые все еще находятся в очереди с приоритетами в момент выполнения соответствующей операции ,O ( l g ( m i n { w x , q x } + 2 ) ) w x q x$x$$O(lg(min\{w_x,q_x\}+2))$$w_x$$q_x$$x$

[1] A. Elmasry, A. Farzan и J. Iacono, «Объединяющее свойство для распределенных приоритетных очередей», в Combinatorial Algorithms, vol. 7056, C. Iliopoulos и W. Smyth, Eds. Springer Berlin Heidelberg, 2011, с. 209–222.