[論文レビュー] An Improved Algorithm for Dynamic Set Cover.

Sayan Bhattacharya, Monika Henzinger+2 more|arXiv (Cornell University)|Feb 25, 2020

Complexity and Algorithms in Graphs被引用数 5

ひとこと要約

この論文は、最小集合被覆問題に対する決定的動的アルゴリズムを提示しており、近似比が$(1+\epsilon)f$で、更新時間が$m$（ユニバースサイズ）および$n$（集合の数）に依存しない$O\left((f^2/\epsilon^3) + (f/\epsilon^2) \log C\right)$である。このアルゴリズムは、動的頂点被覆と動的集合被覆のアルゴリズム技術を統合した洗練された動的プライマル・ダウアルフレームワークを活用し、近似的に最適な更新効率を達成する。

ABSTRACT

We consider the minimum set cover problem in a dynamic setting. Here, we are given a universe of elements $\mathcal{U}$ and a collection of sets $\mathcal{S} \subseteq 2^{\mathcal{U}}$ as input, where each set $s \in \mathcal{S}$ has a cost $1/C 1$. The input keeps changing via a sequence of updates. Each update inserts/deletes an element in the universe, and specifies the sets in $§$ containing that element. The goal is to maintain a set cover of (approximately) minimum cost with as small update time as possible. Let $n$ denote the number of sets in $\mathcal{S}$, and let $m$ and $f$ respectively denote the maximum number of elements in the universe and the maximum frequency of an element across all the updates. This problem has received significant attention in recent years in the dynamic algorithms community. Gupta et al. [STOC `17] designed a deterministic $\Theta(\log m)$-approximation algorithm for this problem that has an update time of $O(f \log m)$. On the other hand, the line of work by Bhattacharya et al. [ICALP `15], Bhattacharya et al. [IPCO `17], Gupta et al. [STOC `17], Abboud et al. [STOC `19] and Bhattacharya et al. [FOCS `19] very recently led to a deterministic $(1+\epsilon)f$-approximation algorithm with $O(f \log (Cm)/\epsilon^2)$ update time. In this paper, we obtain the first dynamic algorithm for this problem with near-optimal approximation ratio whose update time is independent of $m, n$. Specifically, our algorithm is deterministic and it achieves an approximation ratio of $(1+\epsilon)f$ and an update time of $O\left((f^2/\epsilon^3)+(f/\epsilon^2) \log C ight)$. Our algorithm is based on the dynamic primal-dual framework, and it carefully combines the ideas from the dynamic vertex cover algorithm of Bhattacharya and Kulkarni [SODA `19] and the dynamic set cover algorithm of Bhattacharya et al. [FOCS `19].

研究の動機と目的

• 理論的最適値に近い近似比$(1+\epsilon)f$を達成しつつ、更新時間を最小化する動的集合被覆アルゴリズムの設計。
• 更新時間におけるユニバースサイズ$m$および集合数$n$への依存を排除し、近似的に最適な効率を達成すること。
• 過去の動的アルゴリズムが近似比が高く、または更新時間が$m$または$n$に比例していたのを改善すること。
• 要素の挿入・削除に対して効率的な更新を維持しながら、低コストの集合被覆を保つ決定的アルゴリズムの開発。

提案手法

• アルゴリズムは、挿入・削除の際の双対変数の維持と効率的な更新を可能にするために、動的プライマル・ダウアルフレームワークを採用する。
• BhattacharyaとKulkarniの動的頂点被覆アルゴリズムの技術を統合し、双対変数の調整を安定的かつ効率的に管理する。
• Bhattacharyaら（FOCS '19）の動的集合被覆フレームワークを適応し、更新時間における$m$および$n$への依存を低減する。
• 双対変数が必要に応じてのみ更新されるようにするチャージングスキームを用いることで、1回の更新あたりの操作回数を最小限に抑える。
• 双対変数の増加とプライマル解の維持を巧みにバランスさせ、望ましい近似比を達成する。
• 最適集合被覆の双対解に対して$(1+\epsilon)$-近似となる双対解を維持することで、プライマル解の品質を保証する。

実験結果

リサーチクエスチョン

• RQ1 決定的動的集合被覆アルゴリズムは、$m$および$n$に依存しない更新時間で、近似比$(1+\epsilon)f$を達成できるか？
• RQ2 動的プライマル・ダウアルフレームワークをどのように洗練すれば、$m$への依存を排除しつつ低コストの更新を維持できるか？
• RQ3 既存の動的頂点被覆および集合被覆技術にどのような変更を加えることで、動的集合被覆における更新効率を向上させられるか？
• RQ4 $O(f^2/\epsilon^3 + f/\epsilon^2 \log C)$の更新時間で、動的更新下でも近似的に最適な集合被覆を維持できるか？

主な発見

• アルゴリズムは$(1+\epsilon)f$-近似比を達成しており、動的集合被覆における最高の既知の近似保証と一致する。
• 更新時間は$O\left((f^2/\epsilon^3) + (f/\epsilon^2) \log C\right)$であり、$m$および$n$に依存しない。これは、従来の手法に比べて顕著な改善である。
• アルゴリズムは決定的であり、最悪ケースの更新において予測不能な性能を引き起こす可能性のある確率的要素を排除している。
• 更新時間はユニバースサイズ$m$や集合数$n$に比例しないため、大規模な動的設定に適している。
• 頂点被覆と集合被覆の両方の動的プライマル・ダウアル手法を効果的に統合し、低近似比と効率的な更新時間を両立した。