[論文レビュー] Maintaining Information in Fully-Dynamic Trees with Top Trees

Stephen Alstrup, Jacob Holm+2 more|ArXiv.org|Oct 31, 2003

Graph Theory and Algorithms参考文献 27被引用数 5

ひとこと要約

この論文は、完全動的森における動的木情報の維持のための簡素で直感的なインタフェースとしてトップツリーを導入し、効率的な更新とクエリを可能にする。トップツリーが直径、中心、中央値の維持、および最近傍マーク付き頂点クエリを1操作あたりO(log n)時間でサポートできることを示し、従来の動的木やトポロジー木を用いた手法に比べて2乗の改善を達成する。

ABSTRACT

We introduce top trees as a design of a new simpler interface for data structures maintaining information in a fully-dynamic forest. We demonstrate how easy and versatile they are to use on a host of different applications. For example, we show how to maintain the diameter, center, and median of each tree in the forest. The forest can be updated by insertion and deletion of edges and by changes to vertex and edge weights. Each update is supported in O(log n) time, where n is the size of the tree(s) involved in the update. Also, we show how to support nearest common ancestor queries and level ancestor queries with respect to arbitrary roots in O(log n) time. Finally, with marked and unmarked vertices, we show how to compute distances to a nearest marked vertex. The later has applications to approximate nearest marked vertex in general graphs, and thereby to static optimization problems over shortest path metrics. Technically speaking, top trees are easily implemented either with Frederickson's topology trees [Ambivalent Data Structures for Dynamic 2-Edge-Connectivity and k Smallest Spanning Trees, SIAM J. Comput. 26 (2) pp. 484-538, 1997] or with Sleator and Tarjan's dynamic trees [A Data Structure for Dynamic Trees. J. Comput. Syst. Sc. 26 (3) pp. 362-391, 1983]. However, we claim that the interface is simpler for many applications, and indeed our new bounds are quadratic improvements over previous bounds where they exist.

研究の動機と目的

• 完全動的森における情報維持のためのよりシンプルでアクセスしやすいインタフェースの設計。
• 中心や中央値といった非局所的木の性質を動的に維持することの課題の解決。
• 従来のO(log²n)解法に比べ、具体的には1操作あたりO(log n)の時間計算量を達成すること。
• トップツリーがパスクエリや最近傍マーク付き頂点の計算を含む多様な動的木問題にどのように適用できるかの多様性の示唆。
• トップツリーがフレッドリックソンのトポロジー木やスレーター＝タージャンのスプレイ木といった既存の動的木構造を効率的に実装できることの証明。

提案手法

• トップツリーは木Tとそれに高々2つの頂点からなる境界集合∂Tによって定義され、境界頂点が1～2個の連結部分グラフ（クラスタ）として形成される。
• 各クラスタは、部分木から出る辺によって定義される境界頂点をもつ部分木を表す。
• トップツリー構造は、クラスタを結合操作によって再帰的に結合することで、効率的なパスおよび部分木クエリを可能にする。
• データ構造はフレッドリックソンのトポロジー木を用いて実装されており、それ自体がスレーターとタージャンのスプレイ木（st-木）に基づいているため、 amortized でO(log n)の境界が得られる。
• リンク、カット、エキポーズといった操作がサポートされ、更新は常にO(log n)個のクラスタにのみ影響を与える。
• 非局所的問題のため、再帰的分解とクラスタベースの集約を用いて、直径や中心といったグローバルな性質を維持する。

実験結果

リサーチクエスチョン

• RQ1 トポロジー木やスプレイ木といった高度な技術の力を保ちつつ、動的木データ構造のためのよりシンプルなインタフェースを設計できるか？
• RQ2 トップツリーは、1回の更新あたりO(log n)時間で、木の中心や中央値といった非局所的性質を維持できるか？ これは従来のO(log²n)の境界を改善するものか？
• RQ3 任意の根に対する最近傍共通祖先およびレベル祖先クエリを、トップツリーを用いてO(log n)時間で効率的にサポートできるか？
• RQ4 トップツリーにおけるマーク技術を用いて、最近傍マーク付き頂点までの距離を計算でき、一般のグラフにおける近似解法を可能にするか？
• RQ5 トップツリーは、スプレイ木やトポロジー木といった既存の動的木構造を効率的に実装できるか？ また、実用的パフォーマンスに与える影響は何か？

主な発見

• トポロジー木やスプレイ木に比べ、トップツリーはよりシンプルなインタフェースを提供し、動的木問題における実装や推論を容易にする。
• 本論文では、完全動的森における木の直径、中心、中央値の維持について、1回の更新・クエリあたりO(log n)の時間計算量を達成し、従来のO(log²n)の境界に比べて2乗の改善を実現した。
• 任意の根に対する最近傍共通祖先およびレベル祖先クエリは、トップツリーを用いてO(log n)時間でサポートできる。
• マーク付き頂点を用いることで、最近傍マーク付き頂点までの距離をO(log n)時間で計算でき、最短経路メトリクス上の静的最適化問題の近似解法を可能にする。
• トップツリーはフレッドリックソンのトポロジー木を用いて実装可能であり、それ自体がスレーターとタージャンのスプレイ木に基づいているため、O(log n)の更新・クエリ境界を達成するシンプルな amortized 実装が可能である。
• トップツリーのインタフェースは、下位実装の即時交換（plug-and-play）を可能とし、動的木アプリケーションのための効率的でモジュラーなライブラリ設計を可能にする。