Maximum Matchings and Minimum Blocking Sets in Θ6-Graphs

$\Theta_6$-Graphs graphs are important geometric graphs that have many applications especially in wireless sensor networks. They are equivalent to Delaunay graphs where empty equilateral triangles take the place of empty circles. We investigate lower bounds on the size of maximum matchings in these graphs. The best known lower bound is $n/3$, where $n$ is the number of vertices of the graph. Babu et al. (2014) conjectured that any $\Theta_6$-graph has a (near-)perfect matching (as is true for standard Delaunay graphs). Although this conjecture remains open, we improve the lower bound to $(3n-8)/7$. We also relate the size of maximum matchings in $\Theta_6$-graphs to the minimum size of a blocking set. Every edge of a $\Theta_6$-graph on point set $P$ corresponds to an empty triangle that contains the endpoints of the edge but no other point of $P$. A blocking set has at least one point in each such triangle. We prove that the size of a maximum matching is at least $\beta(n)/2$ where $\beta(n)$ is the minimum, over all theta-six graphs with $n$ vertices, of the minimum size of a blocking set. In the other direction, lower bounds on matchings can be used to prove bounds on $\beta$, allowing us to show that $\beta(n)\geq 3n/4-2$.

[1]  W. T. Tutte The Factorization of Linear Graphs , 1947 .

[2]  Takao Nishizeki,et al.  Lower bounds on the cardinality of the maximum matchings of planar graphs , 1979, Discret. Math..

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

[4]  Michael B. Dillencourt,et al.  Toughness and Delaunay triangulations , 1987, SCG '87.

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

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

[7]  Robert L. Scot Drysdale,et al.  A practical algorithm for computing the Delaunay triangulation for convex distance functions , 1990, SODA '90.

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

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

[10]  Erik D. Demaine,et al.  Tight bounds on maximal and maximum matchings , 2001, Discret. Math..

[11]  Xiang-Yang Li,et al.  Geometric spanners for wireless ad hoc networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[12]  Esther M. Arkin,et al.  Matching Points with Circles and Squares , 2004, JCDCG.

[13]  Edward F. Schmeichel,et al.  Toughness in Graphs – A Survey , 2006, Graphs Comb..

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

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

[16]  Alexander Pilz,et al.  Blocking Delaunay triangulations , 2010, CCCG.

[17]  Boris Aronov,et al.  Witness (Delaunay) graphs , 2010, Comput. Geom..

[18]  B. Aronov,et al.  Witness proximity graphs and other geometric problems , 2012 .

[19]  Prosenjit Bose,et al.  Competitive routing in the half-θ6-graph , 2012, SODA.

[20]  Boris Aronov,et al.  Witness Gabriel graphs , 2010, Comput. Geom..

[21]  Michiel H. M. Smid,et al.  Fixed-orientation equilateral triangle matching of point sets , 2014, Theor. Comput. Sci..

[22]  Pat Morin,et al.  On the Average Number of Edges in Theta Graphs , 2013, ANALCO.

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

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

[25]  Michiel H. M. Smid,et al.  Matchings in higher-order Gabriel graphs , 2015, Theor. Comput. Sci..

[26]  Prosenjit Bose,et al.  The θ5-graph is a spanner , 2015, Comput. Geom..

[27]  Michiel H. M. Smid,et al.  On the Spanning and Routing Ratio of Theta-Four , 2018, SODA.

[28]  John Iacono,et al.  Spanning Properties of Theta–Theta-6 , 2020, Graphs Comb..