TY - JOUR

T1 - Approximating k-spanner problems for k>2

AU - Elkin, Michael

AU - Peleg, David

N1 - Funding Information:
∗Corresponding author. E-mail addresses: elkin@sluggo.cs.yale.edu (M. Elkin), david.peleg@weizmann.ac.il (D. Peleg). 1Supported in part by grants from the Israel Science Foundation and the Israel Ministry of Science and Art.

PY - 2005/6/9

Y1 - 2005/6/9

N2 - Given a graph G=(V,E), a subgraph G′=(V,H),H⊆E is a k-spanner of G if for any pair of vertices u,w∈V it satisfies dH(u,w)≤kdG(u,w). The basic k-spanner problem is to find a k-spanner of a given graph G with the smallest possible number of edges. This paper considers approximation algorithms for this and some related problems for k>2, known to be Ω(2log1-μn) -inapproximable. The basic k-spanner problem over undirected graphs with k>2 has been given a sublinear ratio approximation algorithm (with ratio roughly O(n2/(k+1))), but no such algorithms were known for other variants of the problem, including the directed and the client-server variants, as well as for the related k-DSS problem. We present the first approximation algorithms for these problems with sublinear approximation ratio. The second contribution of this paper is in characterizing some wide families of graphs on which the problems do admit a logarithmic and a polylogarithmic approximation ratios. These families are characterized as containing graphs that have optimal or "near-optimal" spanners with certain desirable properties, such as being a tree, having low arboricity or having low girth. All our results generalize to the directed and the client-server variants of the problems. As a simple corollary, we present an algorithm that given a graph G builds a subgraph with Õ(n) edges and stretch bounded by the tree-stretch of G, namely the minimum maximal stretch of a spanning tree for G. The analysis of our algorithms involves the novel notion of edge-dominating systems developed in the paper. The technique introduced in the paper reduces the studied algorithmic approximability questions on k-spanners to purely graph-theoretical questions concerning the existence of certain combinatorial objects in families of graphs.

AB - Given a graph G=(V,E), a subgraph G′=(V,H),H⊆E is a k-spanner of G if for any pair of vertices u,w∈V it satisfies dH(u,w)≤kdG(u,w). The basic k-spanner problem is to find a k-spanner of a given graph G with the smallest possible number of edges. This paper considers approximation algorithms for this and some related problems for k>2, known to be Ω(2log1-μn) -inapproximable. The basic k-spanner problem over undirected graphs with k>2 has been given a sublinear ratio approximation algorithm (with ratio roughly O(n2/(k+1))), but no such algorithms were known for other variants of the problem, including the directed and the client-server variants, as well as for the related k-DSS problem. We present the first approximation algorithms for these problems with sublinear approximation ratio. The second contribution of this paper is in characterizing some wide families of graphs on which the problems do admit a logarithmic and a polylogarithmic approximation ratios. These families are characterized as containing graphs that have optimal or "near-optimal" spanners with certain desirable properties, such as being a tree, having low arboricity or having low girth. All our results generalize to the directed and the client-server variants of the problems. As a simple corollary, we present an algorithm that given a graph G builds a subgraph with Õ(n) edges and stretch bounded by the tree-stretch of G, namely the minimum maximal stretch of a spanning tree for G. The analysis of our algorithms involves the novel notion of edge-dominating systems developed in the paper. The technique introduced in the paper reduces the studied algorithmic approximability questions on k-spanners to purely graph-theoretical questions concerning the existence of certain combinatorial objects in families of graphs.

KW - Approximation algorithms

KW - Graph algorithms

KW - Spanners

UR - http://www.scopus.com/inward/record.url?scp=18444410256&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2004.11.022

DO - 10.1016/j.tcs.2004.11.022

M3 - Article

AN - SCOPUS:18444410256

VL - 337

SP - 249

EP - 277

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1-3

ER -