[論文レビュー] An Improved Algorithm for Incremental DFS Tree in Undirected Graphs

Lijie Chen, Ran Duan+3 more|arXiv (Cornell University)|Jul 17, 2016

Algorithms and Data Compression被引用数 3

ひとこと要約

本稿では、頂点または辺を1つずつ逐次追加するインクリメンタルな更新において、無向グラフにおける深さ優先探索（DFS）木を効率的に維持するための改善されたアルゴリズムを提示する。新たな木分割補題と分数カスケーディングを組み合わせ、データ構造を最適化することで、各操作における最悪計算時間を最適な O(n) に達成し、DFS木を明示的に出力する場合の理論的下界と一致する。

ABSTRACT

Depth first search (DFS) tree is one of the most well-known data structures for designing efficient graph algorithms. Given an undirected graph $G=(V,E)$ with $n$ vertices and $m$ edges, the textbook algorithm takes $O(n+m)$ time to construct a DFS tree. In this paper, we study the problem of maintaining a DFS tree when the graph is undergoing incremental updates. Formally, we show: Given an arbitrary online sequence of edge or vertex insertions, there is an algorithm that reports a DFS tree in $O(n)$ worst case time per operation, and requires $O\left(\min\{m \log n, n^2\} ight)$ preprocessing time. Our result improves the previous $O(n \log^3 n)$ worst case update time algorithm by Baswana et al. and the $O(n \log n)$ time by Nakamura and Sadakane, and matches the trivial $Ω(n)$ lower bound when it is required to explicitly output a DFS tree. Our result builds on the framework introduced in the breakthrough work by Baswana et al., together with a novel use of a tree-partition lemma by Duan and Zhan, and the celebrated fractional cascading technique by Chazelle and Guibas.

研究の動機と目的

• インクリメンタルな更新（頂点および辺の挿入）の下で、無向グラフにおけるDFS木を効率的に維持する課題に対処すること。
• 従来の最良の更新時間 O(n log³n) と、明示的なDFS木出力における理論的下界 Ω(n) の間のギャップを埋めること。
• 線形の前処理時間と空間を維持しながら、高速で最悪計算時間保証のある更新を可能にする動的データ構造を設計すること。
• 特にBaswanaらの手法に比べ、高度なデータ構造と組合せ論的補題を統合することで、先行するフレームワークを改善すること。

提案手法

• DuanとZhangによる新たな木分割補題を活用し、サイズと構造を制御された部分木にDFS木を分解する。
• マークされた頂点を含むパス上のクエリを高速化するため、分数カスケーディングを用い、効率的な祖先-後継者関係の照会を実現する。
• すべての更新を一度に処理するバッチ処理インクリメンタルアルゴリズム（BatchInsert）を用い、その後de-amortizationを適用することで、1回あたり最悪計算時間O(n)を達成する。
• 複数のデータ構造を維持する：大きな部分木に対しては2次元範囲後続者構造を、小さな部分木に対しては事前計算されたエントリを用いて、クエリを高速化する。
• 頂点にマーキングスキーム（M）を導入し、パスを分割することで、クエリの複雑さを低減し、特に重要なケースではパス長を対数的に制御する。
• Baswanaらのde-amortization技術を応用し、バッチ処理の更新をオンラインで最悪計算時間に優れた操作に変換する。

実験結果

リサーチクエスチョン

• RQ1 無向グラフにおけるインクリメンタル更新下で、DFS木の維持にO(n)最悪計算時間の達成は可能か？
• RQ2 BaswanaらのO(n log³n)の更新時間およびNakamuraとSadakaneのO(n log n)の更新時間の改善は、どのように達成できるか？
• RQ3 パス走査と部分木クエリのコストを最小化するために、どのような組合せ論的およびデータ構造的技術を統合できるか？
• RQ4 明示的なDFS木出力におけるΩ(n)の下界を満たしつつ、線形の前処理時間を維持することは可能か？
• RQ5 分数カスケーディングと木分割をどのように統合することで、動的DFS木クエリの高速化を実現できるか？

主な発見

• 提案されたアルゴリズムは、インクリメンタル更新におけるDFS木の維持を、各操作あたりO(n)の最悪計算時間で行い、明示的出力における理論的下界と一致する。
• アルゴリズムは、O(min{m log n, n²})の前処理時間と空間を要するが、これはグラフのサイズに対してほぼ線形である。
• 木分割補題の活用により、高価な2次元範囲後続者クエリを必要とする部分木の数がO(n / log n)に制限され、その数を抑え効率性を向上させる。
• 分数カスケーディングにより、部分木クエリの各クエリがO(1)またはO(log n)の時間で処理され、すべてのクエリの合計時間はO(n)に抑えられる。
• de-amortization技術により、バッチ処理アルゴリズムを、最悪計算時間保証のあるオンライン動的アルゴリズムに成功して変換した。
• 従来の最良の更新時間O(n log³n)（Baswanaら）およびO(n log n)（NakamuraとSadakane）を上回り、最適なO(n)性能を達成した。