[論文レビュー] Simple dynamic algorithms for Maximal Independent Set and other problems

Manoj Gupta, Shahbaz Khan|arXiv (Cornell University)|Apr 5, 2018

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

ひとこと要約

この論文は、完全動的グラフにおける最大独立集合（MIS）を維持する、驚くほど単純な決定的集中型アルゴリズムを提示している。更新時間の amortized な時間は $O(\min\{\Delta, m^{2/3}\})$ であり、エッジまたは頂点の更新ごとに $O(1)$ の amortized 調整回数を達成している。この手法は軽量な amortized 分析を用い、複雑なデータ構造を避けており、先行研究を上回る性能を発揮しながらも直感的で教育的である。

ABSTRACT

Most graphs in real life keep changing with time. These changes can be in the form of insertion or deletion of edges or vertices. Such rapidly changing graphs motivate us to study dynamic graph algorithms. However, three important graph problems that are perhaps not sufficiently addressed in the literature include independent sets, maximum matching (exact) and maximum flows. Maximal Independent Set (MIS) is one of the most prominently studied problems in the distributed setting. Recently, the first dynamic MIS algorithm for distributed networks was given by Censor-Hillel et al. [PODC16], requiring expected $O(1)$ amortized rounds with $O(Δ)$ messages per update, where $Δ$ is the maximum degree of a vertex in the graph. They suggested an open problem to maintain MIS in fully dynamic centralized setting more efficiently. Assadi et al. [STOC18] presented a deterministic centralized fully dynamic MIS algorithm requiring $O(\min\{Δ,m^{3/4}\})$ amortized time per update. This result is quite complex involving an exhaustive case analysis. We report a surprisingly simple deterministic centralized algorithm which improves the amortized update time to $O(\min\{Δ,m^{2/3}\})$. Additionally, we present some other minor results related to dynamic MIS, Maximum Flow, and Maximum Matching. A common trait of all our results is that despite improving state of the art upper bounds or matching state of the art lower bounds, they are surprisingly simple and are analysed using simple amortization arguments. Further, they use no complicated data structures or black box algorithms for their implementation.

研究の動機と目的

• 完全動的設定におけるMIS、最大マッチング、最大フローといった基本的問題に対する効率的で動的アルゴリズムの不足を解消すること。
• 先行の決定的集中型アルゴリズムを上回る、完全動的MISの amortized 更新時間の改善。
• 複雑なデータ構造やブラックボックスコンponentsを避ける、単純で直感的なアルゴリズムの提示。
• 動的MISにおける異なる更新タイプ（例：エッジの挿入と削除）の難易度の違いを調査すること。
• アプローチを増分的および減少的設定に拡張し、増分パス技術を介して最大フローおよびマッチングと関連付けること。

提案手法

• 頂点およびエッジの更新の総コストを制限するための、新規の amortized 分析フレームワークを用いる。これにより、各更新の平均時間は低く保証される。
• 更新後に状態が変化する可能性のある頂点を追跡し、影響を受ける近傍のみを再処理することで、MISを維持する。
• 変更後も解が有効またはほぼ有効のまま保たれる場合、MISを効率的に更新できることに着目する。
• コア技術は複雑なデータ構造を避けており、単純な頂点次数の追跡と局所的再処理に依存している。
• 増分的MISでは、各更新で $O(\min\{\Delta, \sqrt{m}\})$ 時間で処理され、軽量な優先度付きキューまたは次数に基づく選択が用いられる。
• 増分パスアルゴリズムを段階的に適用することで、最大フローおよびマッチングへの応用が可能となり、合計時間は $O(mn)$ に抑えられ、既知の下界と一致する。

実験結果

リサーチクエスチョン

• RQ1 先行研究より優れた amortized 更新時間で、完全動的グラフにおけるMISを単純な決定的アルゴリズムで維持することは可能か？
• RQ2 なぜ動的MISにおいてエッジ挿入が最も困難な更新タイプであるのか、他の多くのグラフ問題とは対照的であるのか？
• RQ3 同じ単純さと効率性を、動的最大フローおよび最大マッチングに拡張できるか？
• RQ4 増分的MISにおいて $O(\min\{\Delta, \sqrt{m}\})$ の更新時間を得る方法は、分散環境への適応も可能か？
• RQ5 動的MISにおけるエッジ挿入、削除、頂点更新の間には、本質的な難易度の違いがあるのか？

主な発見

• この論文は、集中型設定において完全動的MISの amortized 更新時間を $O(\min\{\Delta, m^{2/3}\})$ に達成し、先行研究の $O(\min\{\Delta, m^{3/4}\})$ の境界を改善した。
• 各更新ごとに $O(1)$ の amortized 調整回数を維持しており、平均して1回の更新で高々定数個の頂点の状態が変化することを意味する。
• 増分的MISでは、各更新で $O(\min\{\Delta, \sqrt{m}\})$ 時間で処理され、増分的設定において最適である。
• 同じアプローチは、分散CONGESTモデルに容易に適応可能であり、更新ごとに $O\left(\min\{\Delta, \sqrt{m}\}\right)$ メッセージと $O(1)$ ラウンドで処理できる。
• 最大フローまたは最大マッチングを段階的に計算する総時間は、既知の $\Omega(mn)$ の下界と一致しており、最適性を示している。
• 論文は、エッジ挿入が動的MISにおいて最も困難な更新タイプであることを特定した。一方、頂点更新や減少的エッジ更新は、単純なアルゴリズムで最適に処理可能である。