[論文レビュー] Martingales and Profile of Binary Search Trees

Brigitte Chauvin, Thierry Klein+2 more|arXiv (Cornell University)|Oct 7, 2004

Stochastic processes and statistical mechanics参考文献 28被引用数 4

ひとこと要約

本稿では、ランダム順列モデル下での二分探索木（BST）の漸近的プロファイルを分析するために、BSTプロセスを連続時間のYule出生過程へ埋め込む手法を用いる。マルティンゲール収束および確率測度の傾き換え技術を活用することで、プロファイルマルティンゲールのほとんど確実収束を確立し、$k \simeq 2z\log n$ におけるノード数の精密な漸近的挙動を導出する。これにより、従来の$L^2$手法が失敗した臨界値$z = z_c^{\pm}$の状況が解消される。

ABSTRACT

We are interested in the asymptotic analysis of the binary search tree (BST) under the random permutation model. Via an embedding in a continuous time model, we get new results, in particular the asymptotic behavior of the profile.

研究の動機と目的

• ランダム順列モデル下での二分探索木（BST）のプロファイルの漸近的挙動を研究すること。
• 従来の$L^2$手法が失敗した臨界値$z = z_c^{\pm}$におけるプロファイルマルティンゲールの挙動という未解決問題を解消すること。
• 停止時における木の分布を保存するカップリングを用いて、離散的BSTプロセスと連続時間Yuleプロセスとの間の関係を確立すること。
• 全範囲$z \in (z_c^-, z_c^+)$ において、レベル$k \simeq 2z\log n$におけるノード数の極限分布を導出すること。
• 変化測度技術を用いて、BSTにおける挿入深さおよびバイアス付き逓代的経路の挙動を調査すること。

提案手法

• $n$番目の挿入時刻$\tau_n$がYule木における$n+1$番目の葉に対応するように、ランダム時間変換による離散的BSTプロセスの連続時間Yuleプロセスへの埋め込みを実行する。
• Yuleプロセスの独立構造を活用し、関連する連続時間マルティンゲール$M_t(z)$を用いてプロファイルマルティンゲール$\mathcal{M}_n(z)$を分析する。
• 確率測度の傾き換え（Gärtner-Ellis定理）を適用し、特に$z = z_c^{\pm}$におけるマルティンゲールの挙動を偏った測度下で研究する。
• Yuleプロセスにおける深さ$d(t)$と葉数$N_t$の同時母関数$\mathbb{E}[z^{d(t)} s^{N_t}]$を導出し、極限定理の導出を可能にする。
• マルティンゲール$\mathcal{M}_n(z)$およびその微分の収束を用いて、一般化されたクイックソート方程式を拡張する分裂公式（41）を導出する。
• $\mathbb{P}^{(2z)}$下での測度変更技術を適用し、$e^{-t}(N_t - 1 + 2z)$が傾き換え測度下でマルティンゲールであることを示し、$N_t$の収束結果を得る。

実験結果

リサーチクエスチョン

• RQ1 ランダムBSTにおけるレベル$k \simeq 2z\log n$におけるノード数のほとんど確実な漸近的挙動は何か？
• RQ2 従来の$L^2$手法が失敗する臨界値$z = z_c^{\pm}$におけるプロファイルマルティンゲール$\mathcal{M}_n(z)$の挙動はいかなるものか？
• RQ3 BSTプロセスをYuleプロセスに埋め込む手法が、プロファイルおよび挿入深さに関する新たな収束結果を導出できるか？
• RQ4 BSTにおける挿入深さ$d_n$の極限分布は何か？ また、ほとんど確実にどのように挙動するか？
• RQ5 特定の逓代的経路を優遇するようにBSTの進化をバイアス化すると、木の全体的構造にどのような影響を与えるか？

主な発見

• プロファイルマルティンゲール$\mathcal{M}_n(z)$は、ほとんど確実に極限$\mathcal{M}_\infty(z)$に収束し、$z \in (z_c^-, z_c^+)$では正であり、それ以外では0である。
• 臨界点$z = z_c^{\pm}$において、極限$\mathcal{M}_\infty(z^{\pm}) = 0$がほとんど確実に成り立ち、これにより以前未解決であった問題が解決される。
• マルティンゲール極限の微分は分裂公式（41）を満たし、$z = 1$のときこれはクイックソート方程式に簡約される。
• 挿入深さ$d_n$は大数の法則を満たす：確率的に$\frac{d_n}{2\log n} \to 1$であり、分布的に$\frac{d_n - 2\log n}{\sqrt{2\log n}} \to \mathcal{N}(0,1)$に収束する。
• ほとんど確実に、$\liminf_{n \to \infty} \frac{d_n}{2\log n} = z_c^-$および$\limsup_{n \to \infty} \frac{d_n}{2\log n} = z_c^+$が成り立ち、中心極限定理がほとんど確実に成立しないことが示される。
• $\mathbb{P}^{(2z)}$下で、$e^{-t}(N_t - 1 + 2z)$はマルティンゲールであり、$2z > 1$のときほとんど確実に収束する。$2z < 1$のとき、$e^{-t}N_t$は正のサブマルティンゲールであり、ほとんど確実に収束する。