2026/08/05 by Yuhao Guo, Seth Pettie, Daniel Skora +1
Computer Science · #cs.DS
18 pages
arxiv created 2026/08/05 · arxiv updated 2026/08/06
We prove that the \textsfGreedy binary search tree is 2O(√(loglog n))-competitive. It is widely conjectured that \textsfGreedy is O(1)-competitive, but before this work it was not known to be f-competitive, for any non-trivial f(n)=o(log n). Our analysis differs from prior analyses of binary search trees. It takes what might be called a "scaling" approach, where the cost at a refined scale is related to the cost at a coarser scale, and Wilber's interleave lower bound.