Semi-streaming set cover

Yuval Emek, Adi Rosén

Research output: Contribution to journalArticlepeer-review

Abstract

This article studies the set cover problem under the semi-streaming model. The underlying set system is formalized in terms of a hypergraph G = (V, E) whose edges arrive one by one, and the goal is to construct an edge cover F ⊆ E with the objective of minimizing the cardinality (or cost in the weighted case) of F. We further consider a parameterized relaxation of this problem, where, given some 0 ≤ ε < 1, the goal is to construct an edge (1 - ε)-cover, namely, a subset of edges incident to all but an ε-fraction of the vertices (or their benefit in the weighted case). The key limitation imposed on the algorithm is that its space is limited to (poly)logarithmically many bits per vertex. Our main result is an asymptotically tight tradeoff between ε and the approximation ratio: We design a semi-streaming algorithm that on input hypergraph G constructs a succinct data structure D such that for every 0 ≤ ε < 1, an edge (1 - ε)-cover that approximates the optimal edge (1-)cover within a factor of f (ε, n) can be extracted from D (efficiently and with no additional space requirements), where f (ε, n) = {O(1/ε), if ε > 1/√n O(√n), otherwise. In particular, for the traditional set cover problem, we obtain an O(√n)-approximation. This algorithm is proved to be best possible by establishing a family (parameterized by ε) of matching lower bounds.

Original languageEnglish
Article number6
JournalACM Transactions on Algorithms
Volume13
Issue number1
DOIs
StatePublished - Nov 2016

Keywords

  • Algorithms
  • F.2.0 [analysis of algorithms and complexity]: general
  • Lower bounds
  • Set cover
  • Streaming algorithms
  • Theory

ASJC Scopus subject areas

  • Mathematics (miscellaneous)

Fingerprint

Dive into the research topics of 'Semi-streaming set cover'. Together they form a unique fingerprint.

Cite this