[论文解读] 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

一句话总结

本文研究了随机数字查找树（DST）中2-protected节点的渐近比例，其中2-protected节点是指距离所有叶节点至少2个距离的节点。通过指数生成函数、围道积分和q-分析，作者推导出一个渐近展开式，表明约31%的节点是2-protected的，且由于生成函数中的复极点，存在振幅小于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-protected节点的渐近比例，其中节点若其到每个叶节点的距离至少为2，则为2-protected。
• 将先前关于有序树和k-ary树中protected节点的研究结果扩展至具有不同概率结构的DST模型。
• 使用高级解析组合学技术（包括生成函数和积分变换）分析2-protected节点的平均数量。
• 量化由生成函数中复极点引起的振荡项的贡献，特别是与log₂N相关的项。

提出的方法

• 作者为2-protected节点的平均数量定义了一个指数生成函数L(z)，并推导出一个涉及L(z)、L(z/2)和指数项的函数微分方程。
• 引入一个泊松生成函数M(z) = e⁻ᶻL(z)以简化微分方程，并推导出系数mₙ的递推关系。
• 通过q-级数恒等式和欧拉分拆恒等式对递推关系进行变换，将1/Qₙ表示为2⁻ⁿ的幂级数。
• 利用q-Pochhammer符号和Q(k)的解析延拓，将n的求和解析延拓至复平面k，从而实现围道积分。
• 应用Rice积分公式，将lₙ表示为包含伽马函数和扩展函数ψ(z)的围道积分，通过留数计算实现渐近评估。
• 主要贡献来自z=1处的一阶极点，较小的贡献来自z=1+χₖ处的极点，导致周期性振荡δ(log₂N)，其振幅可忽略不计。

实验结果

研究问题

• RQ1 当树的大小N趋于无穷大时，随机数字查找树中2-protected节点的渐近比例是多少？
• RQ2 2-protected节点数量中的振荡波动行为如何？其振幅和频率分别是多少？
• RQ3 2-protected节点平均数量的精确渐近展开式是什么，包括主项和周期性修正项？
• RQ4 DST中protected节点的分布与有序树或k-ary树相比如何，特别是在2-protected节点比例方面？
• RQ5 2-protected节点数量的生成函数能否在复平面上解析延拓，以通过围道积分实现渐近分析？

主要发现

• 随机DST中2-protected节点的渐近比例约为0.30707981393605921828549，即约31%。
• 2-protected节点平均数量的渐近展开式中，主项为N乘以一个常数，该常数由∑ₘ≥₀ aₘ₊₁bₘ / Q∞给出，其中bₘ是包含对数和有理项的复表达式。
• 渐近展开式中出现了一个微小的周期性振荡δ(log₂N)，振幅小于10⁻⁵，其来源为z = 1 + 2πik/L处的复极点。
• δ(x)的傅里叶展开被显式推导，涉及对m和l ≠ 0的双重求和，其系数依赖于q-级数和对数项。
• 余项为O(1)，源于下一个极点z=0，证实了渐近级数的收敛性。
• 在N=500时的数值验证得l₅₀₀/500 ≈ 0.305710，接近渐近常数，支持理论预测。