Fast constructions of light-weight spanners for general graphs

Michael Elkin*, Shay Solomon

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Since the pioneering works of Peleg and Schäffer [32], Althöfer et al. [4], and Chandra et al. [13], it is known that for every weighted undirected n-vertex m-edge graph G = (V, E), and every integer k ≥ 1, there exists a ((2k - 1)·(1 + ε))-spanner with O(n1+1/k) edges and weight O(k·n1/k)·ω(MST(G)), for an arbitrarily small constant ε > 0. (Here ω(MST(G)) stands for the weight of the minimum spanning tree of G.) Nearly linear time algorithms for constructing (2k - 1)-spanners with nearly O(n1+1/k) edges were devised in [11, 38, 37]. However, these algorithms fail to guarantee any meaningful upper bound on the weight of the constructed spanners. To our knowledge, there are only two known algorithms for constructing sparse and light spanners for general graphs. One of them is the greedy algorithm of Althöfer et al. [4], analyzed by Chandra et al. [13]. The drawback of the greedy algorithm is that it requires O(m·(n1+1/k + n·log n)) time. The other algorithm is due to Awerbuch et al. [7], from 1991. It constructs O(k)-spanners with O(k·n 1+1/k·Λ) edges, weight O(k2·n 1/k·Λ)·ω(MST(G)), within time O(m·k·n1/k·Λ), where Λ is the logarithm of the aspect ratio of the graph. The running time of both these algorithms is unsatisfactory. Moreover, the usually faster algorithm of [7] pays for the speedup by significantly increasing both the stretch, the sparsity, and the weight of the resulting spanner. In this paper we devise an efficient algorithm for constructing sparse and light spanners. Specifically, our algorithm constructs ((2k - 1)·(1+ε))-spanners with O(k·n1+1/k) edges and weight O(k·n1/k) ·ω(MST(G)), where ε > 0 is an arbitrarily small constant. The running time of our algorithm is O(k·m + min{n·log n, m·α(n)}). Moreover, by slightly increasing the running time we can reduce the other parameters. These results address an open problem from the ESA'04 paper by Roditty and Zwick [38].

Original languageEnglish
Title of host publicationProceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013
PublisherAssociation for Computing Machinery
Pages513-525
Number of pages13
ISBN (Print)9781611972511
DOIs
StatePublished - 2013
Externally publishedYes
Event24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013 - New Orleans, LA, United States
Duration: 6 Jan 20138 Jan 2013

Publication series

NameProceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms

Conference

Conference24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013
Country/TerritoryUnited States
CityNew Orleans, LA
Period6/01/138/01/13

Fingerprint

Dive into the research topics of 'Fast constructions of light-weight spanners for general graphs'. Together they form a unique fingerprint.

Cite this