Streaming Algorithms for Independent Sets

We find "combinatorially optimal" (guaranteed by the degree-sequence alone) independent sets for graphs and hypergraps in linear space in the semi-streaming model. We also propose a new output-efficient streaming model, that is more restrictive than semi-streaming (n ċ logO(1) n space) but more flexible than classic streaming (logO(1) n space). The algorithms in this model work in poly-logarithmic space, like in the case of the classical streaming model, but they can access and update the output buffer, treating it as an extra piece of memory. Our results form the first treatment of the classic IS problem in the streaming setting.

[1]  Boaz Patt-Shamir,et al.  Online Set Packing , 2012, SIAM J. Comput..

[2]  Sudipto Guha,et al.  Graph Sparsification in the Semi-streaming Model , 2009, ICALP.

[3]  Aravind Srinivasan,et al.  Finding large independent sets of hypergraphs in parallel , 2001, SPAA '01.

[4]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[5]  Camil Demetrescu,et al.  Trading off space for passes in graph streaming problems , 2009, SODA '06.

[6]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[7]  S. Muthukrishnan,et al.  Data streams: algorithms and applications , 2005, SODA '03.

[8]  Noga Alon,et al.  Independent Sets in Hypergraphs with Applications to Routing via Fixed Paths , 1999, RANDOM-APPROX.

[9]  Leah Epstein,et al.  Improved Approximation Guarantees for Weighted Matching in the Semi-streaming Model , 2009, SIAM J. Discret. Math..

[10]  Joan Feigenbaum,et al.  Graph Distances in the Data-Stream Model , 2008, SIAM J. Comput..

[11]  Graham Cormode,et al.  Streaming Graph Computations with a Helpful Advisor , 2010, Algorithmica.

[12]  Leon G. Higley,et al.  Forensic Entomology: An Introduction , 2009 .

[13]  Boaz Patt-Shamir,et al.  Online set packing and competitive scheduling of multi-part tasks , 2010, PODC '10.

[14]  Ziv Bar-Yossef,et al.  Reductions in streaming algorithms, with an application to counting triangles in graphs , 2002, SODA '02.

[15]  Magnús M. Halldórsson,et al.  Online independent sets , 2000, Theor. Comput. Sci..

[16]  Sorin C. Popescu,et al.  Lidar Remote Sensing , 2011 .

[17]  Aravind Srinivasan,et al.  Finding Large Independent Sets in Graphs and Hypergraphs , 2005, SIAM J. Discret. Math..

[18]  Noga Alon,et al.  The space complexity of approximating the frequency moments , 1996, STOC '96.