Seminario Interdipartimentale di Algoritmica
 

Monday, April 2, 2007, 12:00 noon
Small stretch (alpha, beta) - spanners in the streaming model

Paolo Franciosa, Dipartimento di Statistica, Probabilita' e Statistice Applicate, University of Rome "La Sapienza"

DI - Department of Computer Science, Via Salaria 113
Seminar Room, third floor

Abstract:

We present algorithms for computing small stretch spanners in the streaming model. An (alpha,beta)-spanner of a graph G is a subgraph S of G such that for each pair of vertices the distance in S is at most alpha times the distance in G plus beta. We assume that the graph is given as a stream of edges and vertices, and that only one pass over the data is allowed. Furthermore, the number of vertices and edges are not known in advance. We denote by m the current number of scanned edges and by n the current number of discovered vertices.

In this model we show how to compute a (k,k-1)-spanner of an unweigthed undirected graph, for k=2,3, in O(1) amortized processing time per edge/vertex. The computed (k,k-1)-spanners have O(n^{1+1/k}) edges and our algorithms use only O(n^{1+1/k}) words of memory space. In case only Theta(n) internal memory is available, the same spanners can be  computed using O(n^{1+1/k}/B) external memory blocks, each of size B. Each edge/vertex is processed in O(1) amortized time plus O(1/B) amortized block transfers.