A nearly optimal randomized algorithm for explorable heap selection

• 成果类型: Article
• 署名作者: Borst, Sander; Dadush, Daniel; Huiberts, Sophie; Kashaev, Danish
• 署名单位: Centrum Wiskunde & Informatica (CWI); Utrecht University; Columbia University
• 刊物名称: MATHEMATICAL PROGRAMMING
• ISSN/ISSBN: 0025-5610
• DOI: 10.1007/s10107-024-02145-5
• 发表日期: 2025
• 页码: 75-96
• 关键词: search

摘要

Explorable heap selection is the problem of selecting the nth smallest value in a binary heap. The key values can only be accessed by traversing through the underlying infinite binary tree, and the complexity of the algorithm is measured by the total distance traveled in the tree (each edge has unit cost). This problem was originally proposed as a model to study search strategies for the branch-and-bound algorithm with storage restrictions by Karp, Saks andWidgerson (FOCS '86), who gave deterministic and randomized n . exp(O(root log n)) time algorithms using O(log(n)2.5) and O(root log n) space respectively. We present a new randomized algorithm with running time O(n log(n)(3)) against an oblivious adversary using O(log n) space, substantially improving the previous best randomized running time at the expense of slightly increased space usage. We also show an Omega(log(n)n/ log(log(n))) lower bound for any algorithm that solves the problem in the same amount of space, indicating that our algorithm is nearly optimal.