[論文レビュー] Multi-Finger Binary Search Trees

Goyal, Navin, Manoj Gupta|arXiv (Cornell University)|Feb 22, 2011

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

ひとこと要約

本稿では、二分探索木（BST）問題の幾何的視点において、GreedyArbアルゴリズムの新しい分析を提示し、O(log n)の競合比を達成することを証明している。処理中の点の挿入をモデル化し、隠し／露出状態の点の遷移を制限することで、追加される補助点の総数がO(n log n)であることが示され、BSTにおける長年の未解決問題であるO(1)の競合比の達成に前進した。

ABSTRACT

Does there exist O(1)-competitive (self-adjusting) binary search tree (BST) algorithms? This is a well-studied problem. A simple offline BST algorithm GreedyFuture was proposed independently by Lucas and Munro, and they conjectured it to be O(1)-competitive. Recently, Demaine et al. gave a geometric view of the BST problem. This view allowed them to give an online algorithm GreedyArb with the same cost as GreedyFuture. However, no o(n)-competitive ratio was known for GreedyArb. In this paper we make progress towards proving O(1)-competitive ratio for GreedyArb by showing that it is O(\log n)-competitive.

研究の動機と目的

• 幾何的モデルにおけるオンラインBSTアルゴリズムGreedyArbの競合比の上限を確立すること。
• リクエストシーケンスの処理中にGreedyArbが追加する補助点の数を分析すること。
• 動的最適性予想への一歩を提供すること。動的最適性予想とは、O(1)の競合比を持つBSTアルゴリズムが存在するとする仮説である。
• 幾何的モデルにおける点の状態遷移（隠し状態から露出状態への変化）を形式化し、その数を制限すること。

提案手法

• 各検索リクエストを平面上の点（キー、時刻）として表現する幾何的表現を用いてBST問題をモデル化する。
• アーバーローラ・サティスフィード点集合を定義し、ArbSS問題を、クエリペアによって形成されるすべての長方形を満たす最小サイズの補助点集合の特定として定式化する。
• GreedyArbアルゴリズムを適用する：時刻の増加順に各点を処理し、以前の点と未満たされた長方形をすべて満たすために、その水平線上に最小限の点を追加する。
• 新しい補助点挿入を引き起こす可能性がある点を追跡するために、「露出」および「隠し」の点の概念を導入する。
• 領域分割（PとQ）を用い、極値点の分析と親関係を活用して、各領域に追加される補助点の数を制限する。
• 再帰的議論を用いる：TX[j...j+2k−1] = TX[j...j+k−1] + TX[j+k...j+2k−1] + O(k) であり、これにより総数はO(n log n)となる。

実験結果

リサーチクエスチョン

• RQ1 GreedyArbアルゴリズムがBSTの幾何的モデルにおいてO(log n)競合比であることを証明できるか？
• RQ2 n個のリクエストのシーケンスの処理中に、GreedyArbが追加できる補助点の最大数は何か？
• RQ3 幾何的モデルにおける点の状態遷移（隠し状態から露出状態への変化）は、アルゴリズムの総コストにどのように影響するか？
• RQ4 極値点の分析と親関係を用いて、領域に追加される点の数を制限できるか？
• RQ5 再帰的構造TX[j...j+2k−1] = TX[j...j+k−1] + TX[j+k...j+2k−1] + O(k) は、総コストをO(n log n)に抑えるか？

主な発見

• GreedyArbアルゴリズムがO(log n)競合比であることが証明され、O(1)競合比への到達に向けて重要な一歩を進めた。
• GreedyArbが追加する補助点の総数はO(n log n)で抑えられ、これはO(log n)の競合比を示している。
• Pに属する点が隠し状態と露出状態を変える回数は、Pに属する点の数kに対して最大で5k回である。
• Pに属する各点は、Pに属する他の点を最大2つまで露出状態にできる。また、Pに属する点だけがPに属する点を露出状態にできる。
• Qに属するすべてのpについての補助点集合MP_pのサイズの合計は、最大で7kである。これは再帰の制限に不可欠な要因である。
• 再帰式TX[j...j+2k−1] = TX[j...j+k−1] + TX[j+k...j+2k−1] + O(k) は、総コストがO(n log n)であることを示し、O(log n)の競合比が確認された。