[论文解读] Splay Trees, Davenport-Schinzel Sequences, and the Deque Conjecture

Seth Pettie|ArXiv.org|Jul 14, 2007

Optimization and Search Problems参考文献 32被引用 32

一句话总结

本文通过将伸展树的旋转序列编码为戴文波特-施尼泽尔序列，提出了一种新颖的分析技术，以界定其摊还时间复杂度。通过利用对禁止子序列（如 $abababa$）的极值组合数学，作者证明了在伸展树上执行 $n$ 个双端队列操作的时间复杂度为 $O(nackslashackslashalpha^*(n))$，其中 $ackslashackslashalpha^*(n)$ 是迭代的反阿克曼函数，这标志着向解决双端队列猜想迈出了重要一步。

ABSTRACT

We introduce a new technique to bound the asymptotic performance of splay trees. The basic idea is to transcribe, in an indirect fashion, the rotations performed by the splay tree as a Davenport-Schinzel sequence S, none of whose subsequences are isomorphic to fixed forbidden subsequence. We direct this technique towards Tarjan's deque conjecture and prove that n deque operations require O(n alpha^*(n)) time, where alpha^*(n) is the minimum number of applications of the inverse-Ackermann function mapping n to a constant. We are optimistic that this approach could be directed towards other open conjectures on splay trees such as the traversal and split conjectures.

研究动机与目标

• 为解决长期存在的双端队列猜想，该猜想认为伸展树能以 $O(1)$ 摊还时间支持所有双端队列操作（push、pop、inject、eject）。
• 开发一种根本上全新的伸展树分析框架，避免依赖势函数或复杂的计数论证。
• 证明戴文波特-施尼泽尔序列——特别是那些避免 $abababa$ 的序列——可以模拟伸展树的旋转，并得出性能的紧致界。
• 为将此方法应用于其他开放的伸展树猜想（如遍历猜想和分割猜想）奠定基础。

提出的方法

• 核心方法将伸展树在双端队列操作过程中执行的旋转序列转化为避免特定禁止子序列（如 $abababa$）的戴文波特-施尼泽尔序列。
• 分析构建了一个此类序列的分层结构，每一层对应伸展树操作的一个阶段，特别关注活跃双端队列操作的时期。
• 使用 Agarwal、Sharir 和 Shor（1989）已知的戴文波特-施尼泽尔序列极值界，指出避免 $abababa$ 的序列最大长度为 $O(n\beta(n))$，其中 $\beta(n)$ 与反阿克曼函数相关。
• 将伸展操作的成本分解为活跃块内的压缩和块之间的结构变化，通过涉及函数 $\mathscr{D}(m')$ 的递归不等式来界定总成本，$\mathscr{D}(m')$ 表示 $m'$ 个节点的最大成本。
• 该方法引入了‘活跃’和‘待机’阶段的概念，用于节点块，仅在每个阶段追踪相关节点 ($J_j$) 以简化分析。
• 通过分析暴露节点集 $\hat{J}_j$ 并利用极值序列理论对其大小施加界限，论文推导出一个递推关系，最终得出 $O(n\alpha^*(n))$ 的界。

实验结果

研究问题

• RQ1 是否可以使用避免特定禁止模式的组合序列来界定伸展树在双端队列操作上的性能？
• RQ2 是否可能通过一种新的分析框架，为伸展树上 $n$ 个双端队列操作建立非平凡的次对数时间界？
• RQ3 戴文波特-施尼泽尔序列是否可用于模拟伸展树的旋转，并得出比传统势函数或计数技术更紧致的摊还界？
• RQ4 该方法是否可推广至其他开放的伸展树猜想，如遍历或分割猜想？
• RQ5 戴文波特-施尼泽尔序列中禁止子序列结构与伸展树结构行为之间存在何种关系？

主要发现

• 本文确立了在伸展树上执行 $n$ 个双端队列操作所需时间为 $O(n\alpha^*(n))$，其中 $\alpha^*(n)$ 是将 $n$ 通过反阿克曼函数反复应用直至变为常数的次数。
• 该界通过将伸展树旋转建模为避免 $abababa$ 的戴文波特-施尼泽尔序列，并应用 Agarwal、Sharir 和 Shor（1989）的极值界得出。
• 分析表明，块内压缩和块间结构变化的总成本被 $O(n\alpha^*(n))$ 所限制，方法包括递归分解和节点集追踪。
• 该方法避免了对复杂势函数或复杂计数论证的依赖，提供了一种更简洁且更具通用性的分析途径。
• 作者证明，该技术可通过聚焦于相关节点集 $J_j$ 及其暴露子集 $\hat{J}_j$，适用于仅部分节点活跃的阶段，从而限制操作成本。
• 该结果为该组合方法可能解决其他开放的伸展树猜想（如分割和遍历猜想）提供了有力证据，方法是识别出具有线性极值函数的适当禁止子序列。