(1 + &egr;&Bgr;)-spanner constructions for general graphs

  • Authors:
  • Michael Elkin;David Peleg

  • Affiliations:
  • -;-

  • Venue:
  • STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

An (&agr;,&Bgr;)-spanner of a graph G is a subgraph H such that d_H(u,w)\le &agr\cdot d_G(u,w)+&Bgr for every pair of vertices u,w, where d_{G'}(u,w) denotes the distance between two vertices u and v in G'. It is known that every graph G has a polynomially constructible (2&kgr;-1,0)-spanner (a.k.a. multiplicative (2&kgr;-1)-spanner) of size O(n^{1+1/&kgr}) for every integer &kgr\ge 1, and a polynomially constructible (1,2)-spanner (a.k.a. additive 2-spanner) of size \tO(n^{3/2}). This paper explores hybrid spanner constructions (involving both multiplicative and additive factors) for general graphs and shows that the multiplicative factor can be made arbitrarily close to 1 while keeping the spanner size arbitrarily close to O(n), at the cost of allowing the additive term to be a sufficiently large constant. More formally, we show that for any constant &egr, &dgr 0 there exists a constant &Bgr = &Bgr(&egr, &dgr) such that for every n-vertex graph G there is an efficiently constructible (1+ &egr, &Bgr)-spanner of size O(n^{1 + &dgr}). It follows that for any constant &egr, &dgr 0 there exists a constant &Bgr(&egr, &dgr) such that for any n-vertex graph G = (V,E) there exists an efficiently constructible subgraph (V,H) with O(n^{1 +&dgr}) edges such that d_H(u,w) \le (1 + &egr) d_G(u,w) for every pair of vertices.