スプレー木を順番に読む計算コストの定数を絞り込む
A Refined Analysis of the Sequential Access Theorem for Splay Trees
この論文をやさしく読む
ひとことで言うと
並べたデータを小さい順に読むとき、スプレー木というデータ構造にどの程度の計算作業が必要かを、定数の水準で詳しく調べています。
何に役立つ？
すでに知られている線形時間の性質をより精密に理解し、解析で保証できるコストと避けられないコストの隔たりを把握するために役立ちます。
この研究の面白いところ
上から5.5で抑えるだけでなく、ほぼ4が必要な例も与えています。新しいポテンシャル関数による償却解析で、上下の両側から定数を絞っています。
どこまで分かった？
昇順アクセスの償却コストに関する理論結果です。個々の操作が必ず一定時間で終わるという意味でも、実機での秒数を測った結果でもありません。
v2のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
スプレー木は自己調整型の二分探索木であり、格納されている要素数をnとすると、アクセス、挿入、削除を償却O(log n)時間で行える。逐次アクセス定理は、スプレー木の要素へ昇順にアクセスすると、操作1回当たりの償却コストが定数になることを述べる。 本研究では、既存の解析を精緻化し、新しいポテンシャル関数を導入することで、この定数の上界が高々5.5であることを示す。さらに、この定数の下界がほぼ4となるスプレー木が存在することを示し、上界の結果を補完する。
v2の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-18 · v2
- 査読・掲載
- 査読状況未確認
更新履歴
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A splay tree is a self-adjusting binary search tree that allows access, insertion, and deletion to be performed in amortized $O(\log n)$ time, where $n$ is the number of stored elements. The sequential access theorem states that, when the elements of a splay tree are accessed in increasing order, the amortized cost per operation becomes a constant. In this paper, we show that the upper bound for this constant is at most $5.5$ by refining the existing analysis and introducing a new potential function. Furthermore, we complement our result by showing that there exists a splay tree for which the constant is lower-bounded by almost $4$.
arXiv ID: 2609.19746 ／ 要約の誤りについて