[論文レビュー] Deterministic Worst Case Dynamic Connectivity: Simpler and Faster.

Casper Kejlberg-Rasmussen, Tsvi Kopelowitz+2 more|arXiv (Cornell University)|Jul 21, 2015

Distributed systems and fault tolerance被引用数 3

ひとこと要約

本稿では、無向グラフにおける決定的動的連結性データ構造を提示する。更新時間の最悪計算量は $O(\sqrt{n}/w^{1/4})$、クエリ時間は定数であり、$w = \Omega(\log n)$ はワードサイズを表す。従来の決定的最悪計算量の最良境界 $O(\sqrt{n})$ よりも改善されており、高度なワードレベル並列処理と決定的構造的分解を活用することで、確率的処理や均し計算を用いずに、より高速な更新を達成している。

ABSTRACT

We present a deterministic dynamic connectivity data structure for undirected graphs with worst-case update time $O(\sqrt{n}/w^{1/4})$ and constant query time, where $w = \Omega(\log n)$ is the word size. This bound improves on the previous best deterministic worst-case algorithm of Frederickson (STOC, 1983) and Eppstein Galil, Italiano, and Nissenzweig (J. ACM, 1997), having update time $O(\sqrt{n})$. All known faster dynamic connectivity algorithms are either randomized, or have amortized updates, or both.

研究の動機と目的

• 従来の決定的アルゴリズムよりも改善された最悪計算量更新時間を持つ決定的動的連結性構造の設計。
• 高速な更新を達成する確率的アルゴリズムと、従来 $O(\sqrt{n})$ の境界を持つ遅い決定的アルゴリズムとの間のギャップを埋める。
• 均し計算や確率的処理に依存せず、予測可能な性能を保証する最悪計算量の効率性を達成する。

提案手法

• アルゴリズムは、ワードレベル並列処理を用いてグラフを小さなコンポONENTに決定的に分解する。
• ワード並列演算を介して効率的な更新が可能な、スパニングフォレストの階層的構造を維持する。
• データ構造はワードサイズ $w$ を活用して複数の操作を並列に実行し、有効な更新コストを低減する。
• 最悪計算量の境界を維持するために適応された決定的版のエイラー巡回木技術を採用する。
• 各コンポONENTのサイズと構造を慎重に管理することで、各操作が $O(\sqrt{n}/w^{1/4})$ 時間以内に完了することを保証する更新手順を採用する。
• クエリ操作は、フォレスト分解における代表的構造を介して接続性を確認することで、定数時間で実行される。

実験結果

リサーチクエスチョン

• RQ1 確率的処理や均し計算を用いずに、最悪計算量の更新時間が $O(\sqrt{n})$ よりも速くなる決定的動的連結性構造は実現可能か？
• RQ2 無向グラフにおける決定的動的連結性の最良の可能な最悪計算量更新時間は何か？
• RQ3 ワードレベル並列処理は、決定的動的グラフアルゴリズムの性能向上にどのように効果的に活用できるか？

主な発見

• 提案されたデータ構造は、最悪計算量の更新時間を $O(\sqrt{n}/w^{1/4})$ に達成しており、従来の決定的境界 $O(\sqrt{n})$ よりも改善されている。
• クエリ時間は定数のまま維持され、効率的な接続性の確認が可能である。
• 改善は、確率的処理や均し計算に依存せず、完全に決定的技術によって達成されている。
• この結果は、ワードレベル並列処理が決定的動的グラフアルゴリズムにおいて効果的に活用可能であることを示している。
• アルゴリズムは最悪計算量の性能保証を維持しながら、動的連結性の最良-known 決定的更新時間よりも向上している。
• 現在のモデル下では、この問題に対してより速い決定的最悪計算量更新時間は知られていないため、境界はタイトである。