Faster Streaming algorithms for graph spanners

Given an undirected graph $G=(V,E)$ on $n$ vertices, $m$ edges, and an integer $t\ge 1$, a subgraph $(V,E_S)$, $E_S\subseteq E$ is called a $t$-spanner if for any pair of vertices $u,v \in V$, the distance between them in the subgraph is at most $t$ times the actual distance. We present streaming algorithms for computing a $t$-spanner of essentially optimal size-stretch trade offs for any undirected graph. Our first algorithm is for the classical streaming model and works for unweighted graphs only. The algorithm performs a single pass on the stream of edges and requires $O(m)$ time to process the entire stream of edges. This drastically improves the previous best single pass streaming algorithm for computing a $t$-spanner which requires $\theta(mn^{\frac{2}{t}})$ time to process the stream and computes spanner with size slightly larger than the optimal. Our second algorithm is for {\em StreamSort} model introduced by Aggarwal et al. [FOCS 2004], which is the streaming model augmented with a sorting primitive. The {\em StreamSort} model has been shown to be a more powerful and still very realistic model than the streaming model for massive data sets applications. Our algorithm, which works of weighted graphs as well, performs $O(t)$ passes using $O(\log n)$ bits of working memory only. Our both the algorithms require elementary data structures.

[1]  Noga Alon,et al.  The Space Complexity of Approximating the Frequency Moments , 1999 .

[2]  Giri Narasimhan,et al.  Fast algorithms for constructing t-spanners and paths with stretch t , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[3]  B. Bollobás,et al.  Extremal Graph Theory , 2013 .

[4]  Sandeep Sen,et al.  A simple and linear time randomized algorithm for computing sparse spanners in weighted graphs , 2007 .

[5]  Eli Upfal,et al.  A trade-off between space and efficiency for routing tables , 1989, JACM.

[6]  Baruch Awerbuch,et al.  Complexity of network synchronization , 1985, JACM.

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

[8]  Mikkel Thorup,et al.  Approximate distance oracles , 2001, JACM.

[9]  Mikkel Thorup,et al.  Deterministic Constructions of Approximate Distance Oracles and Spanners , 2005, ICALP.

[10]  M. Simonovits,et al.  Cycles of even length in graphs , 1974 .

[11]  Béla Bollobás,et al.  Extremal problems in graph theory , 1977, J. Graph Theory.

[12]  Moses Charikar,et al.  Finding frequent items in data streams , 2002, Theor. Comput. Sci..

[14]  Sudipto Guha,et al.  Fast, small-space algorithms for approximate histogram maintenance , 2002, STOC '02.

[15]  Sandeep Sen,et al.  A Simple Linear Time Algorithm for Computing a (2k-1)-Spanner of O(n1+1/k) Size in Weighted Graphs , 2003, ICALP.

[16]  Marios Hadjieleftheriou,et al.  Finding frequent items in data streams , 2008, Proc. VLDB Endow..

[17]  Christopher M. Hartman Extremal problems in graph theory , 1997 .

[18]  Prabhakar Raghavan,et al.  Computing on data streams , 1999, External Memory Algorithms.

[19]  Lenore Cowen,et al.  Near-Linear Time Construction of Sparse Neighborhood Covers , 1999, SIAM J. Comput..

[20]  Anna R. Karlin,et al.  Competitive snoopy caching , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[21]  Sandeep Sen,et al.  Approximate distance oracles for unweighted graphs in Õ (n2) time , 2004, SODA '04.

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

[23]  Bowen Alpern,et al.  A model for hierarchical memory , 1987, STOC.

[24]  Joan Feigenbaum,et al.  Graph distances in the streaming model: the value of space , 2005, SODA '05.

[25]  J C HENRY,et al.  New construction. , 1962, Hospital progress.

[26]  Andrew McGregor Finding Matchings in the Streaming Model , 2004 .

[27]  Kurt Mehlhorn,et al.  New constructions of (α, β)-spanners and purely additive spanners , 2005, SODA '05.

[28]  David P. Dobkin,et al.  On sparse spanners of weighted graphs , 1993, Discret. Comput. Geom..

[29]  Mayur Datar,et al.  On the streaming model augmented with a sorting primitive , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[30]  Frank Harary,et al.  Graph Theory , 2016 .

[31]  Camil Demetrescu,et al.  Trading off space for passes in graph streaming problems , 2006, SODA 2006.

[32]  Jose Augusto Ramos Soares,et al.  Graph Spanners: a Survey , 1992 .

[33]  David Peleg,et al.  An optimal synchronizer for the hypercube , 1987, PODC '87.

[34]  Jeffrey Scott Vitter,et al.  I/O-efficient algorithms and environments , 1996, CSUR.

[35]  Michael Elkin,et al.  Efficient algorithms for constructing (1+,ε, β)-spanners in the distributed and streaming models , 2004, PODC '04.