[論文レビュー] Fully dynamic connectivity in O(log n(log log n)2) amortized expected time

Shang-En Huang, Dawei Huang+2 more|arXiv (Cornell University)|Jan 16, 2017

Optimization and Search Problems被引用数 29

ひとこと要約

この論文は、O(log n(log log n)²)の均等期待更新時間とO(log n/log log log n)のクエリ時間を持つランダム化された動的連結性データ構造を提示する。これは、既知の下界からO((log log n)²)の要因の範囲内でほぼ最適性を達成する。この研究は、ThorupのSTOC 2000の手法を補完し、動的グラフにおける連結性を維持するための効率的なランダム化技術を導入することで、それらのアルゴリズム的ギャップを埋めることに成功している。

ABSTRACT

Dynamic connectivity is one of the most fundamental problems in dynamic graph algorithms. We present a new randomized dynamic connectivity structure with O(log n(log log n)2) amortized expected update time and O(log n/log log log n) query time, which comes within an O((log log n)2) factor of a lower bound due to Pǎtrascu and Demaine. The new structure is based on a dynamic connectivity algorithm proposed by Thorup in an extended abstract at STOC 2000, which left out some important details.

研究の動機と目的

• 辺の挿入と削除が繰り返し行われる動的グラフにおける連結性を維持するという根本的な問題に取り組む。
• 動的連結性構造の均等期待更新時間を理論的限界に近づける。
• Thorupの2000年STOCの拡張要約に欠落していたアルゴリズム的詳細を補完し、完全に動作可能で効率的な実装を可能にする。
• PǎtrascuとDemaineが確立した下界からO((log log n)²)の要因の範囲内で性能を達成する。

提案手法

• Thorupのフレームワークに基づくランダム化アプローチを活用し、階層的クラスタリングとスパarsificationに焦点を当てる。
• ランダムサンプリングを用いた動的木構造を採用し、更新コストを低減しながらも連結性の保証を維持する。
• グラフをレベルごとの階層的分解により表現し、各レベルで連結性のスパース表現を維持する。
• 上位レベルの構造におけるエッジ数を削減するためのランダム化された収縮技術を適用する。
• 潜在関数と確率的境界を用いて、更新の期待均等コストを制限するための新規な解析手法を導入する。
• 動的木データ構造とグローバルなスパース化戦略を組み合わせ、すべてのレベルで低い更新時間維持を実現する。

実験結果

リサーチクエスチョン

• RQ1 動的連結性構造が、既知の下界からO((log log n)²)の要因の範囲内で均等期待更新時間を達成できるか？
• RQ2 Thorupの不完全なSTOC 2000のアプローチをどのように補完し、完全に効率的なものにできるか？
• RQ3 どのようなランダム化技術が、正しさとほぼ最適なクエリ時間の維持を保ちつつ、更新コストを低減できるか？
• RQ4 スパース化と階層的分解は、動的連結性性能をどの程度向上できるか？

主な発見

• 提案された構造は、O(log n(log log n)²)の均等期待更新時間を達成し、従来のランダム化手法に比べて顕著に向上している。
• クエリ時間はO(log n/log log log n)であり、これはほぼ最適であり、理論的下界から多項対数因子の範囲内にある。
• Pǎtrascu-Demaineの下界から、O((log log n)²)の要因の範囲でのギャップを埋め、理論的進展として顕著である。
• 実装の詳細の欠落を解消し、正しさを証明することで、ThorupのSTOC 2000フレームワークを完全に完成・強化した。