Randomized and deterministic algorithms for geometric spanners of small diameter

Let S be a set of n points in IR/sup d/ and let t>1 be a real number. A t-spanner for S is a directed graph having the points of S as its vertices, such that for any pair p and q of points there is a path from p to q of length at most t times the Euclidean distance between p and p. Such a path is called a t-spanner path. The spanner diameter of such a spanner is defined as the smallest integer D such that for any pair p and q of points there is a t-spanner path from p to q containing at most D edges. Randomized and deterministic algorithms are given for constructing t-spanners consisting of O(n) edges and having O(log n) diameter. Also, it is shown how to maintain the randomized t-spanner under random insertions and deletions. Previously, no results were known for spanners with low spanner diameter and for maintaining spanners under insertions and deletions.<<ETX>>

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

[2]  George S. Lueker,et al.  A data structure for orthogonal range queries , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

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

[4]  S. Rao Kosaraju,et al.  Faster algorithms for some geometric graph problems in higher dimensions , 1993, SODA '93.

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

[6]  Michiel H. M. Smid,et al.  Efficient Construction of a Bounded Degree Spanner with Low Weight , 1994, ESA.

[7]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[8]  William Pugh,et al.  Skip lists: a probabilistic alternative to balanced trees , 1989, CACM.

[9]  Jeffrey S. Salowe Constructing multidimensional spanner graphs , 1991, Int. J. Comput. Geom. Appl..

[10]  S. Rao Kosaraju,et al.  A decomposition of multi-dimensional point-sets with applications to k-nearest-neighbors and n-body potential fields (preliminary version) , 1992, STOC '92.

[11]  Uzi Vishkin,et al.  On Finding Lowest Common Ancestors: Simplification and Parallelization , 1988, AWOC.

[12]  Andrew Chi-Chih Yao,et al.  On Constructing Minimum Spanning Trees in k-Dimensional Spaces and Related Problems , 1977, SIAM J. Comput..

[13]  Ketan Mulmuley,et al.  Computational geometry : an introduction through randomized algorithms , 1993 .