Dynamic ((1+) ln )-Approximation Algorithms for Minimum Set Cover and Dominating Set

Shay Solomon, Amitai Uzrad

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The minimum set cover (MSC) problem admits two classic algorithms: a greedy lnn-approximation and a primal-dual f-approximation, where n is the universe size and f is the maximum frequency of an element. Both algorithms are simple and efficient, and remarkably-one cannot improve these approximations under hardness results by more than a factor of (1+"), for any constant "> 0. In their pioneering work, Gupta et al. [STOC'17] showed that the greedy algorithm can be dynamized to achieve O(logn)-approximation with update time O(f logn). Building on this result, Hjuler et al. [STACS'18] dynamized the greedy minimum dominating set (MDS) algorithm, achieving a similar approximation with update time O(Δlogn) (the analog of O(f logn)), albeit for unweighted instances. The approximations of both algorithms, which are the state-of-the-art, exceed the static lnn-approximation by a rather large constant factor. In sharp contrast, the current best dynamic primal-dual MSC algorithms, by Bhattacharya et al. [SODA'21] and Assadi-Solomon [ESA'21], both with update time O(f2)-exceed the static f-approximation by a factor of (at most) 1+", for any "> 0. This paper aims to bridge the gap between the best approximation factor of the dynamic greedy MSC and MDS algorithms and the static lnn bound. We present dynamic algorithms for weighted greedy MSC and MDS with approximation (1+")lnn for any "> 0, while achieving the same update time (ignoring dependencies on ") of the best previous algorithms (with approximation significantly larger than lnn). Moreover, we prove that the same algorithms achieve O(min{ logn, logC }) amortized recourse; the recourse measures the number of changes to the maintained structure per update step, and the cost of each set lies in the range [1/C,1].

Original languageEnglish
Title of host publicationSTOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing
EditorsBarna Saha, Rocco A. Servedio
Pages1187-1200
Number of pages14
ISBN (Electronic)9781450399135
DOIs
StatePublished - 2 Jun 2023
Event55th Annual ACM Symposium on Theory of Computing, STOC 2023 - Orlando, United States
Duration: 20 Jun 202323 Jun 2023

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing

Conference

Conference55th Annual ACM Symposium on Theory of Computing, STOC 2023
Country/TerritoryUnited States
CityOrlando
Period20/06/2323/06/23

Keywords

  • data structures
  • dominating set
  • dynamic algorithms
  • set cover

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'Dynamic ((1+) ln )-Approximation Algorithms for Minimum Set Cover and Dominating Set'. Together they form a unique fingerprint.

Cite this