[论文解读] The landscape of bounds for binary search trees

Parinya Chalermsook, Mayank Goswami+3 more|arXiv (Cornell University)|Mar 15, 2016

Computational Geometry and Mesh Generation参考文献 3被引用 4

一句话总结

本文提出了一套系统化的框架，用于理解和分类二叉搜索树（BST）中实现高效性能的结构性质，引入了诸如多指懒指针等新界限，并构建了此类界限的层级结构。研究证明，Greedy 算法在 $d$-可分解序列上达到 $O(n\log d)$ 的最优代价，同时表明现有界限如懒指针无法解释模式避免序列，从而揭示了动态最优性证明的新障碍。

ABSTRACT

Binary search trees (BSTs) with rotations can adapt to various kinds of structure in search sequences, achieving amortized access times substantially better than the Theta(log n) worst-case guarantee. Classical examples of structural properties include static optimality, sequential access, working set, key-independent optimality, and dynamic finger, all of which are now known to be achieved by the two famous online BST algorithms (Splay and Greedy). (...) In this paper, we introduce novel properties that explain the efficiency of sequences not captured by any of the previously known properties, and which provide new barriers to the dynamic optimality conjecture. We also establish connections between various properties, old and new. For instance, we show the following. (i) A tight bound of O(n log d) on the cost of Greedy for d-decomposable sequences. The result builds on the recent lazy finger result of Iacono and Langerman (SODA 2016). On the other hand, we show that lazy finger alone cannot explain the efficiency of pattern avoiding sequences even in some of the simplest cases. (ii) A hierarchy of bounds using multiple lazy fingers, addressing a recent question of Iacono and Langerman. (iii) The optimality of the Move-to-root heuristic in the key-independent setting introduced by Iacono (Algorithmica 2005). (iv) A new tool that allows combining any finite number of sound structural properties. As an application, we show an upper bound on the cost of a class of sequences that all known properties fail to capture. (v) The equivalence between two families of BST properties. The observation on which this connection is based was known before - we make it explicit, and apply it to classical BST properties. (...)

研究动机与目标

• 系统化组织并澄清二叉搜索树（BST）中已知与新结构性界限之间的关系，特别是那些能够解释高效访问模式的界限。
• 识别并形式化新的结构性性质，以解释经典界限（如动态指针或工作集）无法捕捉的访问序列的效率。
• 通过证明某些序列即使在先进界限下仍难以压缩，建立证明动态最优性的新理论障碍。
• 统一并澄清不同 BST 界限之间的联系，包括两类界限家族的等价性，从而为已知性质提供更简洁、更直观的证明。
• 开发一种通用工具，可将任意有限数量的可靠结构性界限组合起来，从而实现对逃避所有先前已知界限的序列的分析。

提出的方法

• 引入 $k$-懒指针界限的层级结构，将单指懒指针模型推广至多指情形，并证明其可靠性。
• 使用概率构造方法生成困难序列：每阶段在 $2k$ 个元素上进行随机访问，每阶段重复 $X$ 次，共 $Y$ 个阶段。
• 应用集中与体积论证，界定随机集合 $R_i$ 为 $d$-优（即在给定树 $T$ 中包含两个距离不超过 $d$ 的元素）的概率，使用 $3^d$ 作为 $d$-球体积的上界。
• 对 $[n]$ 上所有可能的 BST 使用并集界，证明以正概率，不存在任何树能为所构造序列实现低 $k$-懒指针代价。
• 利用两类 BST 界限家族之间的等价性，以更直观的证明框架重新推导已知结果（如对 Splay 和 Greedy 的结果）。
• 通过一种新的组合工具将多个可靠界限组合起来，从而实现对逃避所有单独已知界限的序列的上界分析。

实验结果

研究问题

• RQ1 现有结构性界限（如懒指针或工作集）能否解释模式避免序列的效率？
• RQ2 Greedy 算法在 $d$-可分解序列上的最紧可能界限是什么？是否可以超越此前的指数级界限？
• RQ3 是否存在一个 $k$-懒指针界限的层级结构，能够捕捉访问序列中日益复杂的结构性模式？
• RQ4 能否构建一种通用方法，将任意有限数量的可靠结构性界限组合为一个更强大新的界限？
• RQ5 是否存在某些结构性性质是可靠的但未被任何已知界限所涵盖？若存在，它们揭示了动态最优性的何种局限？

主要发现

• Greedy 算法在 $d$-可分解序列上达到 $O(n\log d)$ 的代价，显著优于 FOCS 2015 年提出的 $n2^{O(d^2)}$ 的旧界。
• $k$-懒指针界限无法解释模式避免序列的效率，即使在简单情形下亦然，表明需要新的结构性性质。
• 提出了 $k$-懒指针界限的层级结构，回答了 Iacono 和 Langerman 最近提出关于多指推广的开放问题。
• 在关键无关设置下，证明了移动到根启发式算法是最优的，确认其在无关键局部性序列中的高效性。
• 开发了一种新的组合工具，可将任意有限数量的可靠结构性界限组合起来，从而实现对逃避所有单独已知界限的序列的上界分析。
• 本文建立了两类 BST 界限家族之间的等价性，从而更清晰地理解了它们之间的相互关系，并为 Splay 和 Greedy 的经典结果提供了更直观的证明框架。