Approximating Euclidean distances by small degree graphs

Given an undirected edge-weighted graphG=(V,E), a subgraphG′=(V,E′) is at-spanner ofG if, for everyu, v∈V, the weighted distance betweenu andv inG′ is at mostt times the weighted distance betweenu andv inG.We consider the problem of approximating the distances among points of a Euclidean metric space: given a finite setV of points in ℝd, we want to construct a sparset-spanner of the complete weighted graph induced byV. The weight of an edge in these graphs is the Euclidean distance between the endpoints of the edge.We show by a simple greedy argument that, for anyt>1 and anyV ⊂ ℝd, at-spannerG ofV exists such thatG has degree bounded by a function ofd andt. The analysis of our bounded degree spanners improves over previously known upper bounds on the minimum number of edges of Euclideant-spanners, even compared with spanners of boundedaverage degree. Our results answer two open problems, one proposed by Vaidya and the other by Keil and Gutwin.The main result of the paper concerns the case of dimensiond=2. It is fairly easy to see that, for somet (t≥7.6),t-spanners of maximum degree 6 exist for any set of points in the Euclidean plane, but it was not known that degree 5 would suffice. We prove that for some (fixed)t, t-spanners of degree 5 exist for any set of points in the plane. We do not know if 5 is the best possible upper bound on the degree.

[1]  N. J. A. Sloane,et al.  Sphere Packings, Lattices and Groups , 1987, Grundlehren der mathematischen Wissenschaften.

[2]  R. Rankin The Closest Packing of Spherical Caps in n Dimensions , 1955, Proceedings of the Glasgow Mathematical Association.

[3]  Paul Chew,et al.  There is a planar graph almost as good as the complete graph , 1986, SCG '86.

[4]  J. Mark Keil,et al.  Approximating the Complete Euclidean Graph , 1988, Scandinavian Workshop on Algorithm Theory.

[5]  Jeffrey S. Salowe Construction of multidimensional spanner graphs, with applications to minimum spanning trees , 1991, SCG '91.

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

[7]  David P. Dobkin,et al.  Generating Sparse Spanners for Weighted Graphs , 1990, SWAT.

[8]  Pravin M. Vaidya,et al.  AnO(n logn) algorithm for the all-nearest-neighbors Problem , 1989, Discret. Comput. Geom..

[9]  David P. Dobkin,et al.  Delaunay graphs are almost as good as complete graphs , 1990, Discret. Comput. Geom..

[10]  Carl Gutwin,et al.  Classes of graphs which approximate the complete euclidean graph , 1992, Discret. Comput. Geom..

[11]  Jeffrey S. Salowe On Euclidean spanner graphs with small degree , 1992, SCG '92.

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

[13]  Paul Chew,et al.  There are Planar Graphs Almost as Good as the Complete Graph , 1989, J. Comput. Syst. Sci..

[14]  Andrzej Lingas,et al.  Ther Are Planar Graphs Almost as Good as the Complete Graphs and as Short as Minimum Spanning Trees , 1989, Optimal Algorithms.

[15]  Pravin M. Vaidya,et al.  A sparse graph almost as good as the complete graph on points inK dimensions , 1991, Discret. Comput. Geom..

[16]  C. Levcopoulos,et al.  There are planar graphs almost as good as the complete graphs and as short as minimum spanning trees (invited) , 1989 .