English

A Tight Lower Bound for Decrease-Key in the Pure Heap Model

Data Structures and Algorithms 2014-07-25 v1

Abstract

We improve the lower bound on the amortized cost of the decrease-key operation in the pure heap model and show that any pure-heap-model heap (that has a \bigoh{\log n} amortized-time extract-min operation) must spend \bigom{\log\log n} amortized time on the decrease-key operation. Our result shows that sort heaps as well as pure-heap variants of numerous other heaps have asymptotically optimal decrease-key operations in the pure heap model. In addition, our improved lower bound matches the lower bound of Fredman [J. ACM 46(4):473-501 (1999)] for pairing heaps [M.L. Fredman, R. Sedgewick, D.D. Sleator, and R.E. Tarjan. Algorithmica 1(1):111-129 (1986)] and surpasses it for pure-heap variants of numerous other heaps with augmented data such as pointer rank-pairing heaps.

Cite

@article{arxiv.1407.6665,
  title  = {A Tight Lower Bound for Decrease-Key in the Pure Heap Model},
  author = {John Iacono and Özgür Özkan},
  journal= {arXiv preprint arXiv:1407.6665},
  year   = {2014}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1302.6641

R2 v1 2026-06-22T05:12:34.625Z