## Towards Tight Bounds for the Streaming Set Cover Problem

##### Author(s)

Har-Peled, Sariel; Indyk, Piotr; Mahabadi, Sepideh; Vakilian, Ali
Downloadtowards tight.pdf (516.4Kb)

OPEN_ACCESS_POLICY

# Open Access Policy

Creative Commons Attribution-Noncommercial-Share Alike

##### Terms of use

##### Metadata

Show full item record##### Abstract

We consider the classic Set Cover problem in the data stream model. For n elements and m sets (m ≥ n) we give a O(1/δ)-pass algorithm with a strongly sub-linear ~O(mn[superscript δ]) space and logarithmic approximation factor. This yields a significant improvement over the earlier algorithm of Demaine et al. [10] that uses exponentially larger number of passes. We complement this result by showing that the tradeoff between the number of passes and space exhibited by our algorithm is tight, at least when the approximation factor is equal to 1. Specifically, we show that any algorithm that computes set cover exactly using ({1 over 2δ}-1) passes must use ~Ω(mn[superscript δ]) space in the regime of m=O(n). Furthermore, we consider the problem in the geometric setting where the elements are points in R[superscript 2] and sets are either discs, axis-parallel rectangles, or fat triangles in the plane, and show that our algorithm (with a slight modification) uses the optimal ~O(n) space to find a logarithmic approximation in O(1/δ) passes.
Finally, we show that any randomized one-pass algorithm that distinguishes between covers of size 2 and 3 must use a linear (i.e., Ω(mn)) amount of space. This is the first result showing that a randomized, approximate algorithm cannot achieve a space bound that is sublinear in the input size.
This indicates that using multiple passes might be necessary in order to achieve sub-linear space bounds for this problem while guaranteeing small approximation factors.

##### Date issued

2016-07##### Department

Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science##### Journal

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '16

##### Publisher

Association for Computing Machinery

##### Citation

Har-Peled, et al. “Towards Tight Bounds for the Streaming Set Cover Problem.” Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS ’16 (2016), 26 June - 1 July, 2016, San Francisco, California, Association of Computing Machinery, 2016, pp. 371-383.

Version: Author's final manuscript

##### ISBN

978-1-4503-4191-2