On locally Delaunay geometric graphs

  • Authors:
  • Rom Pinchasi;Shakhar Smorodinsky

  • Affiliations:
  • MIT, Cambridge, MA;Institute for Theoretical Computer Science, ETH, Zurich

  • Venue:
  • SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

A geometric graph is a simple graph G=(V,E) with an embedding of the set V in the plane such that the points that represent V are in general position. A geometric graph is said to be k-locally Delaunay (or a Dk-graph) if for each edge (u,v) ∈ E there is a (Euclidean) disc d that contains u and v but no other vertex of G that is within k hops from u or v.The study of these graphs was recently motivated by topology control for wireless networks [6,7]. We obtain the following results: (i) We prove that if G is a D1-graph on n vertices, then it has O(n3/2) edges. (ii) We show that for any n there exist D1-graphs with n vertices and Ω(n4/3) edges. (iii) We prove that if G is a D2-graph on n vertices, then it has O(n) edges. This bound is worst-case asymptotically tight. As an application of the first result, we show that: (iv) The maximum size of a family of pairwise non-overlapping lenses in an arrangement of $n$ unit circles in the plane is O(n3/2).The first two results improve the best previously known upper and lower bounds of $O(n^ 5/3 )$ and $\Omega(n)$ respectively (see \cite KL03 ). The third result improves the best previously known upper bound of O(n log n ) ([6]). Finally, our last result improves the best previously known upper bound (for the more general case of not necessarily unit circles) of O(n3/2 κ(n)) (see [1] ), where κ(n) = (log n ) O(α2(n)) and where α(n) is the extremely slowly growing inverse Ackermann's function.