[論文レビュー] Weighted dynamic finger in binary search trees

John Iacono, Stefan Langerman|arXiv (Cornell University)|Jan 10, 2016

Algorithms and Data Compression参考文献 19被引用数 12

ひとこと要約

この論文は、GreedyASSアルゴリズムが、探索コストが長いシーケンスにわたって均等化された場合に、重み付き動的指性質と同等の最適な探索コストバウンドを達成することを証明している。ここで、探索コストはO(1 + log(∑ wi · p_i))で有界である。この結果は、Splay木を含む先行研究よりも強く、より単純で、より効率的な指型バウンドを確立しており、合理的な定数を伴う。

ABSTRACT

It is shown that the online binary search tree data structure GreedyASS performs asymptotically as well on a sufficiently long sequence of searches as any static binary search tree where each search begins from the previous search (rather than the root). This bound is known to be equivalent to assigning each item i in the search tree a positive weight wi and bounding the search cost of an item in the search sequence s1, . . ., sm by O(1 + log[EQUATION]) amortized. This result is the strongest finger-type bound to be proven for binary search trees. By setting the weights to be equal, one observes that our bound implies the dynamic finger bound. Compared to the previous proof of the dynamic finger bound for Splay trees, our result is significantly shorter, stronger, simpler, and has reasonable constants.

研究の動機と目的

• オンライン二分探索木に対するよりタイトでより一般的な指型バウンドを確立すること。
• GreedyASSが重み付きパスコストを持つ任意の静的探索木と同等の性能を達成することを証明すること。
• Splay木の先行動的指バウンドの証明よりも単純で、より効率的な証明を提供すること。
• 動的指性質がより良い定数とより強い均等化保証を伴って成り立つことを示すこと。

提案手法

• 著者たちは、アイテムの重みに基づく重み付きポテンシャル関数を用いて、GreedyASSアルゴリズムの性能を分析する。
• 彼らは、探索アイテムの重み付き確率の和に依存する均等化コストバウンドを導出する。
• この方法は、探索コストとアクセス確率の重み付き和との関係を示す均等化分析フレームワークを活用する。
• 証明は、GreedyASSの性能と重み付き探索コストを持つ静的木との等価性を確立する。
• ポテンシャル関数の議論を用いて、探索コストがO(1 + log(∑ wi · p_i))で均等化されると示す。
• 複雑な場合分けを避けることで、より短く、より明確な証明となる。

実験結果

リサーチクエスチョン

• RQ1 GreedyASSは、より良い定数とより単純な解析を伴う指型バウンドを達成できるか？
• RQ2 GreedyASSは、重み付きアクセスコストを持つ任意の静的二分探索木と同等に動作するか？
• RQ3 Splay木の先行証明よりも、動的指バウンドをより直接的かつより良い定数で証明できるか？
• RQ4 重み付きおよび動的指行動をBSTで統一的に捉えるフレームワークは存在するか？

主な発見

• GreedyASSは、正の重みwiの任意の選択に対して、均等化探索コストO(1 + log(∑ wi · p_i))を達成する。
• このバウンドは、各探索が直前の探索位置から開始される任意の静的二分探索木の性能と一致する。
• Splay木の動的指バウンドの先行証明よりも、著しく短く単純な証明である。
• すべての重みを等しく設定することで、動的指バウンドが得られ、合理的な定数を伴う。
• この分析は、オンラインBSTに対してこれまでに知られていたものよりも強い指型バウンドを提供する。