高度平衡的确定性跳过列表

在Cache-Oblivious B-Trees的 2.2节中，强权重搜索树定义为：

对于某个常数，高度为每个节点都有后代。 $d$ $v$ $h$ $\Theta(d^h)$

他们声称：

满足属性1和2的搜索树包括权重平衡的B树，确定性跳过列表和预期意义上的跳过列表。

其他论文也声称，确定性跳过列表具有很强的权重平衡，包括并发高速缓存不敏感B树和高速缓存不敏感流B树。

我不知道为什么确定性跳过列表具有此属性。关于确定性跳过列表的原始论文指出：

从图1可以看出，在1-2个跳过列表和2-3个树之间存在一一对应的关系。

然而，在我看来，2-3棵树的重量平衡不强，因为高度为的节点可以有至后代。 $h$ $2^h$ $3^h$

ds.data-structures skip-lists

— jbapple
source

这听起来像是一个合法问题。所提及的论文均是共同作者，因此可能会引起监督。你有发邮件给作者了吗？

— Per Vognsen

对于后代来说，小范围的证明对证明有多重要？

— Suresh Venkat 2010年

@Per-我现在已经通过电子邮件发送了共享的共同作者。@Suresh-我不确定，但是作者选择将其结构基于权重平衡的B树，因此我的问题不是主要结果的有效性。

— jbapple

请注意不要使作者无意间遭受公开尴尬。cf. meta.cstheory.stackexchange.com/questions/214/...

— 刚伊藤

@Tsuyoshi：由于这种可能的错误的重要性很小（据我所知，它不会影响以任何方式引用的论文的声明结果），并且由于我发现大多数“错误”都已发表工作只是我自己理解的错误，我认为最好先在这里问一下。即使这是一个错误，它也很小，我怀疑它不会导致任何作者的尴尬。

— jbapple

我一直与其中一位作者保持联系。他证实这是失误。

如上所述，这丝毫不影响论文的任何结果。

— jbapple
source