Coda di priorità integer con deleteMin sensibile alla distribuzione

Esiste una coda con priorità intera che utilizza parole di spazio con le seguenti operazioni, tutte nel peggiore dei casi e senza accesso alla casualità:$O(n)$

• createEmptyQueuein per una costante c .$O(lg^c U)$$c$
• insertin .$O(1)$
• deleteMinin , dove δ min è la differenza tra la chiave più piccola e la seconda più piccola.$O(\delta_{\min})$$\delta_{\min}$

Inoltre, una volta che una chiave è stata soggetta a a , tutti gli altri inserti sono > k .$k$deleteMin$> k$

Lavoro correlato:

Bose et al "fast ricerche locali e aggiornamenti in Bounded universi". , Che è più veloce di quello che serve per deleteMinma più lento di cui ho bisogno per insert.

"La peggiore coda con priorità temporale costante" di Brodnik et al. , Che utilizza l'esotica "memoria Yggdrasil". Ai fini di questa domanda, sono interessato a modelli di RAM interi più standard.

"Coda temporale multiprocesso" di Brodnik e Karlsson , che limita l'inserimento di elementi con chiavi in , dove k min è il valore della chiave minima.$(k_{\min}, k_{\min} + \delta_{\min}]$$k_{\min}$

Si noti che questo è piuttosto semplice con una tabella hash, ma che utilizza l'ammortamento e la casualità:

• Le code sono coppie di una tabella di chiavi hash e una copia della chiave minima.
• insert aggiunge la chiave alla tabella hash e aggiorna la copia minima della chiave, se appropriato.
• deleteMin$k_{\min} + 1, k_{\min} +2, k_{\min} + 3, \dots$

Questo documento [1] ha inoltre introdotto la proprietà "time-finger", una proprietà unificata che incapsula sia il working-set che le proprietà queueish:

$x$$O(lg(min\{w_x,q_x\}+2))$$w_x$$q_x$$x$

[1] A. Elmasry, A. Farzan e J. Iacono, "Una proprietà unificante per le code di priorità sensibili alla distribuzione", in Combinatorial Algorithms, vol. 7056, C. Iliopoulos e W. Smyth, Eds. Springer Berlin Heidelberg, 2011, pagg. 209–222.