[論文レビュー] Worst-Case Optimal Tree Layout in a Memory Hierarchy

Erik D. Demaine, John Iacono+1 more|arXiv (Cornell University)|Oct 19, 2004

Algorithms and Data Compression参考文献 2被引用数 15

ひとこと要約

本稿では、ブロックサイズ B のメモリ階層における固定トポロジー木のための最悪ケース最適なレイアウト戦略を提示する。この戦略は、深さ D のノードへのパスをルートからたどる際に必要なブロック転送回数の最大値を最小化する。主な結果として、最適なメモリ転送回数は正確に D であり、外部記憶における木の走査において理論的最適性を達成している。

ABSTRACT

Consider laying out a fixed-topology tree of N nodes into external memory with block size B so as to minimize the worst-case number of block memory transfers required to traverse a path from the root to a node of depth D. We prove that the optimal number of memory transfers is D

研究の動機と目的

• 外部記憶に格納された木データ構造を走査する際の最悪ケースにおけるメモリブロック転送回数を最小化すること。
• ブロックサイズ B のメモリ階層における木レイアウトの効率的組織化の課題に対処すること。
• あらゆる木レイアウト戦略に必要な最小メモリ転送回数の理論的限界を確立すること。
• 深さ D のパスに対して、最悪ケース条件下で最適なメモリ転送回数が正確に D に達することを証明すること。

提案手法

• 木のノードを外部記憶に配置するレイアウト戦略を提案し、最悪ケースのパス走査コストを最小化する。
• ブロックサイズ B の外部記憶モデルを用いて問題を分析し、木走査中のブロック転送回数に注目する。
• 情報理論的および組合せ的議論を適用して、メモリ転送回数の下界を導出する。
• 深さ D のパスに対して、最悪ケースで D 回未満のブロック転送を達成できるレイアウトは存在しないことを示す。
• 再帰的分割と配置技術を用いて、理論的下界に達するレイアウトを構築する。
• 導出された下界 D 回の転送と一致することを示すことにより、最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 固定トポロジー木を外部記憶に格納した場合、深さ D のノードへのパスを走査するために必要な最小ブロックメモリ転送回数は何か？
• RQ2 任意の木構造に関わらず、すべてのパスに対してこの最小値を達成できるレイアウト戦略は存在するか？
• RQ3 D 回の転送という上限はタイトなものか、あるいは代替レイアウト技法によって改善可能か？
• RQ4 ブロックサイズ B は、外部記憶における木レイアウトの最悪ケース性能にどのように影響するか？
• RQ5 最悪ケースパス走査の理論的下界を達成するレイアウト戦略は存在するか？

主な発見

• 深さ D のパスを走査するために必要な最適なメモリ転送回数は正確に D であり、これは理論的最小値である。
• 深さ D のパスに対して、最悪ケースで D 回未満のブロック転送を達成できるレイアウト戦略は存在しない。
• 提案されたレイアウト戦略はこの下界に達しており、最悪ケースにおいて最適であることが証明された。
• この結果は、分岐因子や形状に関係なく、任意の固定トポロジー木に適用可能である。
• B ≥ 1 である限り、ブロックサイズ B に依存しない。
• 理論的下界である D 回の転送はタイトであり、提案されたレイアウト手法によって達成可能である。