Hamiltonicity for convex shape Delaunay and Gabriel graphs

Abstract We study Hamiltonicity for some of the most general variants of Delaunay and Gabriel graphs. Instead of defining these proximity graphs using circles, we use an arbitrary convex shape C . Let S be a point set in the plane. The k-order Delaunay graph of S, denoted k- D G C ( S ) , has vertex set S, and edges defined as follows. Given p , q ∈ S , pq is an edge of k- D G C ( S ) provided there exists some homothet of C with p and q on its boundary and containing at most k points of S different from p and q. The k-order Gabriel graph, denoted k- G G C ( S ) , is defined analogously, except that the homothets considered are restricted to be smallest homothets of C with p and q on the boundary. We provide upper bounds on the minimum value of k for which k- G G C ( S ) is Hamiltonian. Since k- G G C ( S ) ⊆ k- D G C ( S ) , all results carry over to k- D G C ( S ) . In particular, we give upper bounds of 24 for every C and 15 for every point-symmetric C . We also improve these bounds to 7 for squares, 11 for regular hexagons, 12 for regular octagons, and 11 for even-sided regular t-gons (for t ≥ 10 ) . These constitute the first general results on Hamiltonicity for convex shape Delaunay and Gabriel graphs. In addition, we show lower bounds of k = 3 and k = 6 on the existence of a bottleneck Hamiltonian cycle in the k-order Gabriel graph for squares and hexagons, respectively. Finally, we construct a point set such that for an infinite family of regular polygons P t , the Delaunay graph D G P t does not contain a Hamiltonian cycle.

[1]  Chuan Yi Tang,et al.  20-relative Neighborhood Graphs Are Hamiltonian , 1991, J. Graph Theory.

[2]  Franz Aurenhammer,et al.  On shape Delaunay tessellations , 2014, Inf. Process. Lett..

[3]  Anil Maheshwari,et al.  Bottleneck matchings and Hamiltonian cycles in higher-order Gabriel graphs , 2020, Inf. Process. Lett..

[4]  Esther M. Arkin,et al.  Matching Points with Squares , 2009, Discret. Comput. Geom..

[5]  Ge Xia,et al.  The Stretch Factor of the Delaunay Triangulation Is Less than 1.998 , 2011, SIAM J. Comput..

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

[7]  Michael B. Dillencourt,et al.  A Non-Hamiltonian, Nondegenerate Delaunay Triangulation , 1987, Inf. Process. Lett..

[8]  Prosenjit Bose,et al.  On the Stretch Factor of Convex Delaunay Graphs , 2010, J. Comput. Geom..

[9]  Michael B. Dillencourt Toughness and Delaunay triangulations , 1990, Discret. Comput. Geom..

[10]  D. Mackenzie Triquetras and Porisms , 1992 .

[11]  Franz Aurenhammer,et al.  Voronoi Diagrams and Delaunay Triangulations , 2013 .

[12]  Michiel H. M. Smid,et al.  Higher-order triangular-distance Delaunay graphs: Graph-theoretical properties , 2014, Comput. Geom..

[13]  Atsuyuki Okabe,et al.  Spatial Tessellations: Concepts and Applications of Voronoi Diagrams , 1992, Wiley Series in Probability and Mathematical Statistics.

[14]  Prosenjit Bose,et al.  On Structural and Graph Theoretic Properties of Higher Order Delaunay Graphs , 2009, Int. J. Comput. Geom. Appl..

[15]  F. Fodor The Densest Packing of 19 Congruent Circles in a Circle , 1999 .

[16]  Nicolas Bonichon,et al.  Connections between Theta-Graphs, Delaunay Triangulations, and Orthogonal Surfaces , 2010, WG.

[17]  Maria Saumell,et al.  10-Gabriel graphs are Hamiltonian , 2014, Inf. Process. Lett..

[18]  Anil Maheshwari,et al.  Higher-order triangular-distance Delaunay graphs: Graph-theoretical properties , 2015, Comput. Geom..