[論文レビュー] Dynamic Data Structure for Tree-Depth Decomposition

Zdenĕk Dvořák, Martin Kupec+1 more|arXiv (Cornell University)|Jul 10, 2013

Algorithms and Data Compression参考文献 11被引用数 4

ひとこと要約

本稿では、木深さが高々 D に制限されたグラフに対して、辺および頂点の挿入・削除を効率的に行いながら木深さ分解を維持できる動的データ構造を提示する。この構造は、D にのみ依存する時間計算量で、MSO論理的性質のクエリを定数時間で処理でき、スパarsな木深さが有界なグラフクラスにおけるアルゴリズムの動的化に最適である。

ABSTRACT

We present a dynamic data structure for representing a graph $G$ with tree-depth at most $D$. Tree-depth is an important graph parameter which arose in the study of sparse graph classes. The structure allows addition and removal of edges and vertices such that the resulting graph still has tree-depth at most $D$, in time bounds depending only on $D$. A tree-depth decomposition of the graph is maintained explicitly. This makes the data structure useful for dynamization of static algorithms for graphs with bounded tree-depth. As an example application, we give a dynamic data structure for MSO-property testing, with time bounds for removal depending only on $D$ and constant-time testing of the property, while the time for the initialization and insertion also depends on the size of the formula expressing the property.

研究の動機と目的

• 木深さが有界なDであるグラフの木深さ分解を維持する動的データ構造を設計すること。
• 木深さ ≤ D を保ちながら、辺および頂点の更新（挿入および削除）を効率的にサポートすること。
• このようなグラフ上で、モノディック第二階理論（MSO）論理的性質のモデルチェックを定数時間で実行できること。
• 更新操作の依存関係をグラフサイズに依存させず、Dおよび論理式のサイズにのみ依存させること。
• 木深さが有界なスパースなグラフクラスにおける静的アルゴリズムの動的化の基盤を提供すること。

提案手法

• 入力グラフGの閉包を含む最小深さの根付きフォレストを明示的に維持する。
• 同型な部分木（「同値」な部分木）を特定することで、木分解のコンパクトで定数サイズの要約を構築する。
• MSO論理を用いて、論理式φを用いて構造的同値性を定義する同値類を部分木にラベル付ける。
• 辺の挿入において、定数a, bを用いた変更されたMSO論理式τ′_tを評価することで、有効な根を再帰的に特定し、木深さ ≤ D を保証する。
• 辺の挿入後に木分解を再組織化するためのリルーティング手順を用い、計算量はO(D × リルーティングの計算量)である。
• 動的モデルチェックのため、二段階のラベリングを維持する：木深さ制約用とMSO論理式満たし用で、定数時間のクエリを可能にする。

実験結果

リサーチクエスチョン

• RQ1 木深さが有界なDであるグラフにおいて、辺および頂点の更新を、Dにのみ依存する時間計算量で維持できる動的データ構造を設計できるか？
• RQ2 木深さが有界なグラフにおいて、動的更新をサポートしつつ、MSO論理的性質のテストを定数時間で行えるか？
• RQ3 木深さが有界なグラフにおいて、MSOで定義可能な性質を保持する最小の構造的要約とは何か？
• RQ4 新しい辺が現在の木順序を尊重しない場合でも、木深さの上限Dを超えないように効率的に辺の挿入を処理する方法は何か？
• RQ5 MSO論理式の量的深さに関連して、データ構造の初期化および更新時の計算量はどのようになるか？

主な発見

• このデータ構造は、グラフサイズに依存せず、DおよびMSO論理式φのサイズにのみ依存する時間で、辺の挿入および削除をサポートする。
• 固定されたMSO論理式φがグラフを満たすか否かのクエリは、グラフサイズに依存せず、定数時間で処理される。
• 初期化時間および辺の挿入の計算量は、高さDのタワーで上限が定められ、最上位の要素はφ内のネストされた量的子の数の二乗である。
• このデータ構造の要約の根幹をなすφ最小木の数は、Dに線形的に依存する高さの2の累乗塔の、|φ|²乗の形で表される。
• 同型な部分木を特定することで、コンパクトで定数サイズの木分解要約を維持し、効率的なモデルチェックを可能にする。
• MSO論理式の評価に基づく再帰的根探索手順を用いることで、木深さが常にD以下になるように保証し、辺の追加を制限する。