[論文レビュー] Offline Dynamic Higher Connectivity.

Richard Peng, Bryce Sandlund+1 more|arXiv (Cornell University)|Aug 12, 2017

Complexity and Algorithms in Graphs被引用数 3

ひとこと要約

本稿では、Eppstein (1994) にインspiredされたキーバーテックスへの還元を活用して、無向無重みグラフにおける $t$ 組の辺更新および3頂点/辺連結性クエリを処理する、最初の $O(t\log t)$ 時間のアルゴリズムを提示する。この手法により、2頂点/辺連結性のオフライン性能を達成でき、動的連結性計算の効率が顕著に向上する。

ABSTRACT

We give the first $O(t\log{t})$ time algorithm for processing a given sequence of $t$ edge updates and 3-vertex/edge connectivity queries in an undirected unweighted graph. Our approach builds upon a method by Eppstein (1994) that reduces graphs to smaller equivalents on a set of key vertices. It also leads to algorithms for offline 2-vertex/edge connectivity whose performances match those from Kaczmarz and Lacki (2015).

研究の動機と目的

• 動的辺更新の下で、無向無重みグラフにおける3頂点および3辺連結性を効率的に維持するオフラインアルゴリズムの開発。
• Eppstein (1994) のキーバーテックス還元技術を、3連結性クエリをサポートするように拡張すること。
• $t$ 個の更新およびクエリを処理する際の最適な $O(t\log t)$ 時間計算量を達成すること。
• オフライン設定における、先行研究の2頂点/辺連結性の性能を同等に再現すること。

提案手法

• Eppsteinのキーバーテックス還元法を適用して、重要頂点の集合上で、より小さな同等のグラフに圧縮する。
• 圧縮されたグラフ上の接続性情報を維持することで、3連結性クエリを効率的に回答する。
• オフライン形式で辺の更新とクエリを処理し、最適なパフォーマンスを得るために操作をバッチ処理する。
• グラフの階層的分解を用いて、圧縮構造上の高速な接続性チェックをサポートする。
• オフラインモデルを活用して、更新を事前処理し、$O(t\log t)$ の合計時間でクエリに応答する。
• 同じフレームワークを、2頂点および2辺連結性に対しても適用し、同じ時間計算量を達成する。

実験結果

リサーチクエスチョン

• RQ1 3頂点/辺連結性のためのオフラインアルゴリズムを、$O(t\log t)$ 時間計算量で設計可能か？
• RQ2 Eppsteinのキーバーテックス還元を、3連結性クエリをサポートするようにどのように適合できるか？
• RQ3 無向無重みグラフにおけるオフライン3連結性の最適時間計算量は何か？
• RQ4 同じアプローチを再利用して、2連結性の最先端性能を再現可能か？
• RQ5 どのようなグラフの構造的性質が、動的連結性クエリの効率的なオフライン処理を可能にするか？

主な発見

• 本稿は、$t$ 組の辺更新および3頂点/辺連結性クエリをオフライン設定で処理する、最初の $O(t\log t)$ 時間のアルゴリズムを達成した。
• 提案手法は、3連結性の性質を保持するキーバーテックス上のより小さなグラフへの還元に依存している。
• アルゴリズムの時間計算量は、オフライン2頂点および2辺連結性の最良既知結果と一致する。
• フレームワークは、同じ漸近的効率で、頂点連結性および辺連結性の両問題に自然に拡張可能である。
• このアプローチは、オフライン処理が、従来達成できなかった3連結性において最適なパフォーマンスを実現可能であることを示している。