[論文レビュー] Improved Algorithms for Fully Dynamic Maximal Independent Set

Yuhao Du, Hengjie Zhang|arXiv (Cornell University)|Apr 24, 2018

Advanced Graph Theory Research被引用数 12

ひとこと要約

本稿では、完全動的最大独立集合（MIS）のための2つの改善されたアルゴリズムを提示する：均等な更新時間 $O(m^{2/3}\theta\text{log}^{1/2}m)$ の決定的アルゴリズムと、無作為的敵対者に対して期待される均等な更新時間 $O(\sqrt{m}\text{log}^{1.5}m)$ のランダム化アルゴリズム。この手法は、高次元の頂点が十分な数のMIS近傍を持つことを保証する「良い-MIS」構造を用い、次数に基づくサンプリングとランダムな頂点順序付けにより、効率的な再構築と維持を可能にする。

ABSTRACT

Maintaining maximal independent set in dynamic graph is a fundamental open problem in graph theory and the first sublinear time deterministic algorithm was came up by Assadi, Onak, Schieber and Solomon(STOC'18), which achieves $O(m^{3/4})$ amortized update time. We have two main contributions in this paper. We present a new simple deterministic algorithm with $O(m^{2/3}\sqrt{\log m})$ amortized update time, which improves the previous best result. And we also present the first randomized algorithm with expected $O(\sqrt{m}\log^{1.5}m)$ amortized time against an oblivious adversary.

研究の動機と目的

• 完全動的最大独立集合（MIS）における、サブ線形的で決定的な更新時間の達成という未解決問題に取り組むこと。
• 従来の最良の決定的境界 $O(m^{3/4})$ の改善を目指すこと。
• 完全動的MISに対して、サブ-$\sqrt{m}$ の期待される均等な更新時間を持つ、初めてのランダム化アルゴリズムを設計すること。
• 動的更新におけるMISの維持の難易度を分析し、特にMISカウンタの必要性について検討すること。

提案手法

• すべての高次元頂点がMIS内で少なくとも $m^{1/3}+1$ 個の近傍を持つ「良い-MIS」構造を導入し、エッジ更新に対して耐性を持つように保証する。
• 高次元頂点の近傍数と残りの高次元頂点数の比を優先順位として用いる、類似グリーディな決定的アルゴリズムにより良い-MISを構築する。
• エッジ更新が $\lceil m^{1/3}\rceil$ 回ごとにMISを再構築することで、効率性と正しさを維持する。
• ランダム化バージョンでは、ランダムな頂点順序付けを用いて、高次元頂点がMISに参加する確率を確率的に低減し、更新コストを削減する。
• 潜在関数の議論を適用し、エッジの挿入および削除による潜在関数の総増加量を上限付ける。
• OMv予想を用いて、無作為的敵対者のもとで正確なMISカウンタを維持することは、$\Omega(\sqrt{m})$ の均等な下界を伴うことを示す。

実験結果

リサーチクエスチョン

• RQ1 決定的完全動的MISアルゴリズムが $o(m^{3/4})$ の均等な更新時間で達成可能か？
• RQ2 期待される更新時間が $O(\sqrt{m})$ 未満であるランダム化完全動的MISアルゴリズムを設計可能か？
• RQ3 MISカウンタは動的MISの維持において果たす役割は何か？ そして、$\Omega(\sqrt{m})$ の障壁を破るためにカウンタを回避可能か？
• RQ4 OMv予想を用いて、動的MISアルゴリズムの条件付き下界を確立できるか？

主な発見

• 本稿では、完全動的MISに対して、均等な更新時間 $O(m^{2/3}\sqrt{\log m})$ の決定的アルゴリズムを達成し、従来の $O(m^{3/4})$ の境界を改善した。
• 期待される均等な更新時間 $O(\sqrt{m}\text{log}^{1.5}m)$ の新しいランダム化アルゴリズムを提示した。
• ランダム化アルゴリズムにおいて、次数 $d(u)$ の頂点 $u$ がMISに参加する確率は $O(m\log^3m / d(u)^2)$ で抑えられ、期待コストを低減可能である。
• 分析により、$\sqrt{m}$ 回のエッジ更新における潜在関数の期待総増加量は $O(m\log^{1.5}m)$ であると示され、均等な境界の裏付けが得られた。
• 条件付き下界が確立された：ある頂点を永久にMISに残すことを強制するアルゴリズムは、OMv予想が誤りでない限り、$O(m^{1/2-\epsilon})$ の均等な更新時間は達成できない。
• 正確なMISカウンタの維持は、無作為的敵対者のもとで $\Omega(\sqrt{m})$ の均等コストを伴うことが示され、この障壁を打ち破るには部分的または近似カウンタが必要であると示唆された。