強くバランスの取れた決定的なスキップリスト

Cache-Oblivious B-Treesのセクション2.2 では、強くバランスが取れた検索ツリーは次のように定義されています。

ある定数について、高さすべてのノードには子孫があります。 $d$ $v$ $h$ $\Theta(d^h)$

彼らが主張します：

プロパティ1および2を満たす検索ツリーには、ウェイトバランスBツリー、確定的スキップリスト、および予想されるスキップリストが含まれます。

他の論文では、同時キャッシュ・オブリビアスBツリーやキャッシュ・オブリビアス・ストリーミングB ツリーなど、決定論的なスキップリストのウェイトバランスが非常に優れていると主張しています。

確定的スキップリストにこのプロパティがある理由がわかりません。決定論スキップリストの上の元の紙のノートその

図1からわかるように、1-2のスキップリストと2-3のツリーの間には1対1の対応があります。

しかし、高さノードはから子孫を持つことができるため、2〜3本のツリーのウェイトバランスはそれほど強くありません。 $h$ $2^h$ $3^h$

ds.data-structures skip-lists

— jbapple
ソース

それは正当な問題のように聞こえます。言及された論文はすべて共著者を共有しているため、一貫した監視である可能性があります。著者にメールを送ったことがありますか？

— ヴォーグセンごと

子孫の数の狭い範囲は、証明にとってどれほど重要ですか？

— Suresh Venkat

@Per-共有の共著者にメールを送信しました。@Suresh-確信はありませんが、著者はその構造を重量バランスのとれたBツリーに基づいて選択するので、私の質問は主な結果の妥当性についてではありません。

— jbapple

作者を不注意に公共の恥にさらさないように注意してください。cf. meta.cstheory.stackexchange.com/questions/214/...

— 剛伊藤

@Tsuyoshi：この可能性のあるエラーの重要性は非常に小さいため（私が知る限り、いかなる方法で引用された論文の主張された結果にも影響を与えません）、仕事は私自身の理解における単なる誤りであり、最初にここで質問する方が良いと思いました。これがエラーであったとしても、それは非常に小さなものなので、著者の恥ずかしさにつながるとは思わない。

— jbapple

私は著者の一人と連絡を取り合っています。彼はこれがスリップであることを確認した。

上記のように、これは、いかなる形であれ、論文の結果に影響を与えません。

— jbapple
ソース