[論文レビュー] Optimal decremental connectivity in planar graphs

Jakub Łącki, Piotr Sankowski|arXiv (Cornell University)|Sep 25, 2014

Complexity and Algorithms in Graphs参考文献 11被引用数 4

ひとこと要約

本稿では、平面グラフにおける減算的連結性に対して、定数時間の連結性クエリを実現する最適な $O(n)$ 時間アルゴリズムを提示する。減算的問題を再帰的 $r$-分割を用いて小さな増加的連結性問題の集合に還元し、$O( \log^2 \log n)$ 頂点の極小グラフの連結成分を事前計算することにより、動的スパニングツリーの維持を回避し、合計更新時間 $O(n)$ を達成する。これは木における既知の最良の境界と一致する。

ABSTRACT

We show an algorithm for dynamic maintenance of connectivity information in an undirected planar graph subject to edge deletions. Our algorithm may answer connectivity queries of the form `Are vertices $u$ and $v$ connected with a path?' in constant time. The queries can be intermixed with any sequence of edge deletions, and the algorithm handles all updates in $O(n)$ time. This results improves over previously known $O(n \log n)$ time algorithm.

研究の動機と目的

• 減算的連結性と増加的連結性の間のギャップを埋めること。以前は減算的連結性が $O(n\log n)$ 時間を要すると考えられていた。
• 平面グラフにおける辺の削除に対する連結性を維持する線形時間アルゴリズムを開発すること。これにより、完全動的アルゴリズムからの従来の $O(n\log n)$ 界より改善される。
• 減算的連結性が完全動的連結性よりも厳密に簡単であることを示すこと。完全動的連結性には既知の $\Omega(\log n)$ の操作あたり下界が存在する。
• 減算的連結性を小さな増加的連結性インスタンスに還元する方法を提供し、極小グラフの成分識別子の効率的事前計算を可能にする。

提案手法

• アルゴリズムは再帰的 $r$-分割を用いて、サイズ $O(\log^2 n)$ の小さな部分グラフに平面グラフを分割し、各レベルでの合計サイズが $O(n)$ に保たれることを保証する。
• 減算的連結性問題を、合計サイズが $O(n)$ であるような小さな増加的グラフの集合の連結性を維持する問題に還元する。この場合、既知の線形時間解法が利用可能である。
• サイズ $t = O(\log^2 \log n)$ のグラフに対して、すべての可能なグラフ状態と明示的な頂点集合のための、すべての可能な連結成分識別子を事前計算する。
• 各状態は長さ $O(\log^4 \log n)$ の2進語として符号化され、1つのマシンワードに収まり、定数時間の状態遷移とクエリを可能にする。
• 辺の削除は状態語の1ビットを反転することで処理され、すべての可能な辺の削除に対して成分識別子の更新が事前計算されている。
• 頂点集合 $V_e$ の明示的な連結成分識別子を維持することで、各頂点の識別子を $V_e$ に格納し、$O(1)$ 時間でクエリを実行できる。

実験結果

リサーチクエスチョン

• RQ1 平面グラフにおける減算的連結性の合計更新時間を $O(n\log n)$ 未満に低下させることは可能か？ これは増加的連結性の最適境界に一致する。
• RQ2 動的スパニングツリーの維持を避けることで、平面グラフにおける減算的連結性の合計更新時間を $O(n)$ に達成することは可能か？
• RQ3 完全動的バージョンが操作あたり $\Omega(\log n)$ の下界を持つにもかかわらず、平面グラフにおける減算的連結性の合計更新時間は完全動的バージョンより短いか？
• RQ4 減算的連結性を増加的連結性に還元する方法を構築し、極小グラフの事前計算を可能にすることができるか？ これにより最適合計時間に到達できるか？

主な発見

• 本稿では、平面グラフにおけるすべての辺の削除処理に対して最適な $O(n)$ 合計時間で処理を達成し、従来の $O(n\log n)$ 界より顕著に向上した。
• 連結性クエリは $O(1)$ 時間で回答され、明示的集合 $V_e$ 内の頂点の cc-識別子が明示的に維持されている。
• 再帰的 $r$-分割に基づく還元により、部分問題の合計サイズが $O(n)$ に保たれ、還元に起因するオーバーヘッドはたかだか $O(n)$ に抑えられる。
• $O(\log^2 \log n)$ サイズのグラフのすべての可能な成分識別子の事前計算は、$o(n)$ 時間で可能である。なぜなら状態数が $2^{O(\log^4 \log n)} = 2^{o(\log n)} = o(n)$ であるためである。
• スパニングツリーの維持を回避することで、削除後の代替辺探索の必要性が排除された。
• 結果として、完全動的連結性に $\Omega(\log n)$ の操作あたり下界があるにもかかわらず、平面グラフにおける減算的連結性は完全動的連結性よりも厳密に簡単であることが示された。