[論文レビュー] On protected nodes in Digital Search Trees

Rosena R. X. Du, Helmut Prodinger|arXiv (Cornell University)|Nov 7, 2011

Algorithms and Data Compression参考文献 6被引用数 4

ひとこと要約

本稿は、すべての葉から距離が2以上であるノード（2-保護されたノード）の漸近的割合を、ランダムなデジタルサーチツリー（DST）において調査する。指数型母関数、輪郭積分、q-解析を用いて、著者たちは漸近展開を導出し、約31%のノードが2-保護されていることを示した。これは、母関数内の複素数極によって生じる振幅10⁻⁵未満の小さな周期的揺らぎを伴う。

ABSTRACT

Recently, 2-protected nodes were studied in the context of ordered trees and $k$-trees. These nodes have a distance of at least 2 to each leaf. Here, we study digital search trees, which are binary trees, but with a different probability distribution underlying. Our result says, that \emph{grosso modo} some 31% of the nodes are 2-protected. Methods include exponential generating functions, contour integration, and some elements from $q$-analysis.

研究の動機と目的

• ランダムなデジタルサーチツリー（DST）における2-保護されたノードの漸近的割合を特定すること。ここで、2-保護されたノードとは、すべての葉からの距離が2以上であるノードを指す。
• 順序木やk-分木における保護されたノードに関する先行研究を、確率的構造が異なるDSTモデルに拡張すること。
• 母関数と積分変換を含む高度な解析的組合せ論的手法を用いて、2-保護されたノードの平均数を分析すること。
• 母関数内の複素数極に起因する周期的項の寄与を定量化すること、特にlog₂Nに関連するものに焦点を当てる。

提案手法

• 著者たちは、2-保護されたノードの平均数のための指数型母関数L(z)を定義し、L(z)、L(z/2)、および指数関数的項を含む関数微分方程式を導出する。
• 微分方程式の簡略化のため、ポisson型母関数M(z) = e⁻ᶻL(z)を導入し、係数mₙの再帰的関係を導出する。
• 再帰的関係は、q-級数の恒等式およびオイラーの分割恒等式を用いて変換され、1/Qₙが2⁻ⁿのべき級数として表現される。
• nに関する和を、q-Pochhammer記号およびQ(k)の解析接続を用いて、複素数kへと解析接続する。これにより、輪郭積分が可能になる。
• Riceの積分公式を適用し、γ関数と拡張された関数ψ(z)を含む contour 積分としてlₙを表現する。これにより、留数計算を用いた漸近的評価が可能になる。
• 主要寄与はz=1における単純極から来るが、z=1+χₖにおけるより小さな寄与も存在し、振幅が極めて小さい周期的揺らぎδ(log₂N)を生じる。

実験結果

リサーチクエスチョン

• RQ1 木のサイズNが無限大に近づく際、ランダムなデジタルサーチツリーにおける2-保護されたノードの漸近的割合は何か？
• RQ2 2-保護されたノード数における周期的フラクチュエーションの振る舞いはどのようにか？その振幅と周波数は？
• RQ3 2-保護されたノードの平均数の正確な漸近展開（主項と周期的補正項を含む）は何か？
• RQ4 DSTにおける保護されたノードの分布は、順序木やk-分木と比べてどのように異なるか？特に2-保護されたノードの割合について。
• RQ5 2-保護されたノードの母関数を複素平面上に解析接続することで、輪郭積分を用いた漸近的解析が可能になるか？

主な発見

• ランダムなDSTにおける2-保護されたノードの漸近的割合は、約0.30707981393605921828549（すなわち約31％）である。
• 2-保護されたノードの平均数の漸近展開における主項は、Nに定数を乗じたものであり、∑ₘ≥₀ aₘ₊₁bₘ / Q∞で与えられる。ここでbₘは対数的および有理関数的項を含む複雑な式である。
• 母関数内の複素数極z = 1 + 2πik/Lに起因する、非常に小さな周期的揺らぎδ(log₂N)が漸近展開に現れる。その振幅は10⁻⁵未満である。
• δ(x)のフーリエ展開が明示的に導出され、mおよびl ≠ 0に関する二重和を含み、係数はq-級数および対数的項に依存する。
• 剰余項はO(1)であり、z=0における次の極に起因するため、漸近級数の収束が確認される。
• N=500における数値的検証では、l₅₀₀/500 ≈ 0.305710が得られ、理論的予測とよく一致しており、理論の妥当性を支持する。