[論文レビュー] Splay Trees, Davenport-Schinzel Sequences, and the Deque Conjecture

Seth Pettie|ArXiv.org|Jul 14, 2007

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

ひとこと要約

本稿では、splay木の回転列をDavenport-Schinzel列に符号化することで、その amoritzed 時間計算量を限定する、新しい分析技法を導入する。$abababa$ のような禁止部分列を含まない極値組合せ論を活用し、著者らは $n$ 個のデュースキュー操作が $O(n\alpha^*(n))$ 時間で行われることを証明した。ここで $α^*(n)$ は反繰り返し Ackermann 関数である。これはデュースキュー予想を解く上で顕著な一歩を示している。

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.

研究の動機と目的

• splay木がすべてのデュースキュー操作（プッシュ、ポップ、インジェクト、イジェクト）を $O(1)$ amoritzed 時間でサポートするという、長年のデュースキュー予想を解決すること。
• ポテンシャル関数や複雑な数え上げ的議論に依存しない、根本的に新しいsplay木の分析フレームワークを構築すること。
• Davenport-Schinzel列（特に $abababa$ を避けるもの）がsplay木の回転をモデル化でき、性能にタイトな境界を与えること。
• この手法を、トレーバーシャル予想やスプリット予想といった、他の未解決のsplay木予想に応用する基盤を築くこと。

提案手法

• 中心的手法は、デュースキュー操作中にsplay木が実行する回転の列を、特定の禁止部分列（例：$abababa$）を避けるDavenport-Schinzel列に変換することである。
• 各段階がsplay木の動作フェーズに対応するような、このような列の階層を構築する。特に、アクティブなデュースキュー操作の期間に注目する。
• Agarwal, Sharir, and Shor (1989) が得た、Davenport-Schinzel列に関する既知の極値境界を用いる。この境界では、$abababa$ を避ける列の最大長さが $O(n\beta(n))$ であると述べており、$β(n)$ は逆Ackermann関数に関連する。
• splay操作のコストを、アクティブブロック内での圧縮とブロック間の構造的変化に分解し、関数 $\mathscr{D}(m')$（$m'$ 個のノードに対する最大コストを表す）を含む再帰的不等式によって総コストを境界づける。
• ノードブロックの「アクティブ」および「保留中」の期間という概念を導入し、各フェーズで関連のあるノード（$J_j$）のみを追跡することで、分析を簡素化する。
• 露出ノード集合 $\hat{J}_j$ を分析し、極値列理論を用いてそのサイズに境界を適用することで、最終的に $O(n\alpha^*(n))$ の境界に至る再帰的関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 splay木のデュースキュー操作における性能は、特定の禁止パターンを避ける組合せ的列を用いて境界づけられるか？
• RQ2 新しい分析フレームワークを用いて、splay木における $n$ 個のデュースキュー操作に対して非自明なサブログ時間境界を確立できるか？
• RQ3 Davenport-Schinzel列はsplay木の回転をモデル化でき、従来のポテンシャル関数や数え上げ的技法よりもタイトなamortized境界を導けるか？
• RQ4 この手法は、トレーバーシャル予想やスプリット予想といった、他の未解決のsplay木予想に一般化可能か？
• RQ5 Davenport-Schinzel列における禁止部分列構造とsplay木の構造的挙動との関係は何か？

主な発見

• 本稿では、$n$ 個のデュースキュー操作がsplay木で $O(n\alpha^*(n))$ 時間で実行されることを確立した。ここで $α^*(n)$ は、$n$ を定数にまで還元するために逆Ackermann関数を繰り返し適用する回数である。
• この境界は、splay木の回転を $abababa$ を避けるDavenport-Schinzel列にモデル化し、Agarwal, Sharir, and Shor (1989) の極値境界を適用することで得られた。
• 圧縮とブロック間の構造的変化の総コストが、再帰的分解とノード集合の追跡を用いて $O(n\alpha^*(n))$ で境界づけられていることが示された。
• 複雑なポテンシャル関数や巧みな数え上げ的議論を避けることができ、より洗練され、一般化しやすいアプローチを提供している。
• 著者らは、関連ノード集合 $J_j$ 及びその露出部分集合 $\hat{J}_j$ に注目することで、一部のノードのみがアクティブなフェーズにおけるsplay木操作のコストを同様に境界づけられることを示した。
• この結果は、適切な禁止部分列と線形極値関数を持つ列を同定することで、この組合せ的アプローチがスプリット予想やトレーバーシャル予想といった他の未解決のsplay木予想を解く可能性を強く示唆している。