New Results of Fault Tolerant Geometric Spanners

We investigate the problem of constructing spanners for a given set of points that are tolerant for edge/vertex faults. Let S ⊂ IRd be a set of n points and let k be an integer number. A k-edge/vertex fault tolerant spanner for S has the property that after the deletion of k arbitrary edges/vertices each pair of points in the remaining graph is still connected by a short path. Recently it was shown that for each set S of n points there exists a k-edge/vertex fault tolerant spannerwith O(k2n) edges which can be constructed in O(nlogn+ k2n) time. Furthermore, it was shown that for each set S of n points there exists a k-edge/vertex fault tolerant spannerwhose degree is bouned by O(ck+1) for some constant c. Our first contribution is a construction of a k-vertex fault tolerant spanner with O(kn) edges which is a tight bound. The computation takes O(nlogd-1n + knloglogn) time. Then we show that the same k-vertex fault tolerant spanner is also k-edge fault tolerant. Thereafter, we construct a k-vertex fault tolerant spanner with O(k2n) edges whose degree is bounded by O(k2). Finally, we give a more natural but stronger definition of k-edge fault tolerance which not necessarily can be satisfied if one allows only simple edges between the points of S. We investigate the question whether Steiner points help. We answer this question affirmatively and prove ⊖(kn) bounds on the number of Steiner points and on the number of edges in such spanners.

[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]  S. Rao Kosaraju,et al.  A decomposition of multidimensional point sets with applications to k-nearest-neighbors and n-body potential fields , 1995, JACM.

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

[4]  Kenneth L. Clarkson,et al.  Approximation algorithms for shortest path motion planning , 1987, STOC.

[5]  Tamás Lukovszki,et al.  Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time , 1998, ESA.

[6]  Satish Rao,et al.  Approximating geometrical graphs via “spanners” and “banyans” , 1998, STOC '98.

[7]  Michael Ben-Or,et al.  Lower bounds for algebraic computation trees , 1983, STOC.

[8]  Michiel H. M. Smid,et al.  Randomized and deterministic algorithms for geometric spanners of small diameter , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

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

[10]  D. Warren,et al.  Improved Approximation Schemes for Geometrical Graphs Via Spanners and Banyans , 1998, STOC 1998.

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

[12]  Giri Narasimhan,et al.  Efficient algorithms for constructing fault-tolerant geometric spanners , 1998, STOC '98.

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

[14]  Michiel H. M. Smid,et al.  Euclidean spanners: short, thin, and lanky , 1995, STOC '95.

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

[16]  Michiel H. M. Smid,et al.  Lower bounds for computing geometric spanners and approximate shortest paths , 1996, Discret. Appl. Math..