[論文レビュー] Biconnectivity, chain decomposition and $st$-numbering using $O(n)$ bits

Sankardeep Chakraborty, Venkatesh Raman+1 more|arXiv (Cornell University)|Jun 28, 2016

Interconnection Networks and Systems被引用数 6

ひとこと要約

本稿では、短縮表現されたDFS木の表現と効率的な木分割を用いて、双連結性、2辺連結性、関節頂点/辺の検出、鎖分解、st-numberingといった基本的なグラフ問題に対するO(n)-ビットのメモリ使用量のアルゴリズムを提示する。このアプローチにより、小さな定数c ≤ 2に対してO(m lg^c n lg lg n)の時間計算量が達成され、時間計算量がほぼ最適である一方で、メモリ使用量の効率が著しく向上する。

ABSTRACT

We consider space efficient implementations of some classical applications of DFS including the problem of testing biconnectivity and $2$-edge connectivity, finding cut vertices and cut edges, computing chain decomposition and $st$-numbering of a given undirected graph $G$ on $n$ vertices and $m$ edges. Classical algorithms for them typically use DFS and some $\Omega (\lg n)$ bits\footnote{We use $\lg$ to denote logarithm to the base $2$.} of information at each vertex. Building on a recent $O(n)$-bits implementation of DFS due to Elmasry et al. (STACS 2015) we provide $O(n)$-bit implementations for all these applications of DFS. Our algorithms take $O(m \lg^c n \lg\lg n)$ time for some small constant $c$ (where $c \leq 2$). Central to our implementation is a succinct representation of the DFS tree and a space efficient partitioning of the DFS tree into connected subtrees, which maybe of independent interest for designing other space efficient graph algorithms.

研究の動機と目的

• O(n)ビットのメモリのみを用いて、古典的なDFSに基づくグラフ問題の空間効率の良いアルゴリズムを設計すること。
• ElmasryらのO(n)-ビットDFS実装を拡張し、双連結性やst-numberingのような高度なグラフ応用をサポートすること。
• 通常は頂点あたりΩ(lg n)ビットを要する伝統的なDFSに基づくアルゴリズムの空間計算量を、全体としてO(n)ビットに削減すること。
• 関節頂点、関節辺、鎖分解といった構造的グラフ特性を線形空間内で効率的に計算できること。

提案手法

• DFS木の短縮表現を活用して、空間使用量を最小限に抑えつつ、必要な構造的情報を保持すること。
• DFS木を連結な部分木に分割することで、O(n)ビットの制限内で効率的な走査と特性計算を可能にすること。
• ElmasryらのO(n)-ビットDFSフレームワークを、以降のすべてのグラフアルゴリズムの基盤として用いること。
• DFS走査中に発見時刻、低値、木上の関係を追跡するための空間効率の良いデータ構造を設計すること。
• 分割技術を応用して、双連結性および2辺連結性成分の段階的計算を可能にすること。
• 短縮データ構造を活用し、重複する処理を最小限に抑えることで、時間計算量をO(m lg^c n lg lg n)まで最適化すること（c ≤ 2 である小さな定数）。

実験結果

リサーチクエスチョン

• RQ1 双連結性および2辺連結性は、O(n)ビットのメモリ制限内で、ほぼ最適な時間計算量を維持しながらテスト可能か？
• RQ2 DFSに基づく手法を用いて、O(n)ビットの制限内で鎖分解とst-numberingを効率的に計算する方法は何か？
• RQ3 O(n)ビットの制限内で、DFS木の効率的表現と走査を可能にする短縮データ構造は何か？
• RQ4 DFS木をO(n)ビットの制限内で連結な部分木に分割することで、モジュラーなグラフアルゴリズム設計を可能にするか？
• RQ5 空間制限のある環境下で、DFSを用いて関節頂点および関節辺を計算する際に必要な最小限の空間オーバーヘッドは何か？

主な発見

• 本稿では、双連結性、2辺連結性、関節頂点および関節辺の検出、鎖分解、st-numberingをすべてO(n)ビットのメモリのみを用いて実装に成功した。
• すべてのアルゴリズムは、小さな定数c ≤ 2に対してO(m lg^c n lg lg n)の時間計算量で実行され、ほぼ最適な時間計算量を達成した。
• 提案された短縮DFS木表現は、O(n)ビットの制限内で親、子、発見時刻への効率的アクセスを可能にした。
• 木分割技術により、連結な部分木を分離することで、モジュラーかつ空間効率の良いグラフ特性の計算が可能になった。
• このフレームワークは、複数の古典的DFS応用に一般化可能であり、O(n)-ビットアプローチの汎用性を示した。
• 結果として、複雑なグラフアルゴリズムを線形空間で実装でき、時間効率を損なわずに実現可能であることが確立された。