English

Dynamic Optimality Refuted -- For Tournament Heaps

Data Structures and Algorithms 2019-08-05 v1

Abstract

We prove a separation between offline and online algorithms for finger-based tournament heaps undergoing key modifications. These heaps are implemented by binary trees with keys stored on leaves, and intermediate nodes tracking the min of their respective subtrees. They represent a natural starting point for studying self-adjusting heaps due to the need to access the root-to-leaf path upon modifications. We combine previous studies on the competitive ratios of unordered binary search trees by [Fredman WADS2011] and on order-by-next request by [Mart\'inez-Roura TCS2000] and [Munro ESA2000] to show that for any number of fingers, tournament heaps cannot handle a sequence of modify-key operations with competitive ratio in o(logn)o(\sqrt{\log{n}}). Critical to this analysis is the characterization of the modifications that a heap can undergo upon an access. There are exp(Θ(nlogn))\exp(\Theta(n \log{n})) valid heaps on nn keys, but only exp(Θ(n))\exp(\Theta(n)) binary search trees. We parameterize the modification power through the well-studied concept of fingers: additional pointers the data structure can manipulate arbitrarily. Here we demonstrate that fingers can be significantly more powerful than servers moving on a static tree by showing that access to kk fingers allow an offline algorithm to handle any access sequence with amortized cost O(logk(n)+2lgn)O(\log_{k}(n) + 2^{\lg^{*}n}).

Keywords

Cite

@article{arxiv.1908.00563,
  title  = {Dynamic Optimality Refuted -- For Tournament Heaps},
  author = {J. Ian Munro and Richard Peng and Sebastian Wild and Lingyi Zhang},
  journal= {arXiv preprint arXiv:1908.00563},
  year   = {2019}
}
R2 v1 2026-06-23T10:37:38.400Z