Flips and Spanners

In this thesis, we study two different graph problems. The first problem revolves around geometric spanners. Here, we have a set of points in the plane and we want to connect them with straight line segments, such that there is a path between each pair of points and these paths do not require large detours. If we achieve this, the resulting graph is called a spanner. We focus our attention on two graphs (the ϴ-graph and Yao-graph) that are constructed by connecting each point with its nearest neighbour in a number of cones. Although this construction is very straight-forward, it has proven challenging to fully determine the properties of the resulting graphs. We show that if the construction uses 5 cones, the resulting graphs are still spanners. This was the only number of cones for which this question remained unanswered. We also present a routing strategy (a way to decide where to go next, based only on our current location, its direct neighbourhood, and our destination) on the half-ϴ6-graph, a variant of the graph with 6 cones. We show that our routing strategy avoids large detours: it finds a path whose length is at most a constant factor from the straight-line distance between the endpoints. Moreover, we show that this routing strategy is optimal. In the second part, we turn our attention to flips in triangulations. A flip is a simple operation that transforms one triangulation into another. It turns out that with enough flips, we can transform any triangulation into any other. But how many flips is enough? We present an improved upper bound of 5.2n - 33.6 on the maximum flip distance between any pair of triangulations with n vertices. Along the way, we prove matching lower bounds on each step in the current algorithm, including a tight bound of (3n - 9)/5 flips needed to make a triangulation 4-connected. In addition, we prove tight ϴ(n log n) bounds on the number of flips required in several settings where the edges have unique labels.

[1]  H. Whitney A Theorem on Graphs , 1931 .

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

[3]  Franz Aurenhammer,et al.  Pseudotriangulations from Surfaces and a Novel Type of Edge Flip , 2003, SIAM J. Comput..

[4]  Robert E. Tarjan,et al.  Short Encodings of Evolving Structures , 1992, SIAM J. Discret. Math..

[5]  Hideo Komuro,et al.  THE DIAGONAL FLIPS OF TRIANGULATIONS ON THE SPHERE , 1997 .

[6]  Oswin Aichholzer,et al.  Triangulations without pointed spanning trees , 2008, Comput. Geom..

[7]  Derick Wood,et al.  A Note on Some Tree Similarity Measures , 1982, Inf. Process. Lett..

[8]  Vinayak Pathak,et al.  Flip Distance Between Two Triangulations of a Point Set is NP-complete , 2012, CCCG.

[9]  Prosenjit Bose,et al.  Flips in Edge-Labelled Pseudo-Triangulations , 2015, CCCG.

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

[11]  Bettina Speckmann,et al.  Kinetic collision detection for simple polygons , 2000, SCG '00.

[12]  Alexander Pilz,et al.  Flip Distance Between Triangulations of a Simple Polygon is NP-Complete , 2015, Discret. Comput. Geom..

[13]  Prosenjit Bose,et al.  Simultaneous diagonal flips in plane triangulations , 2005, SODA '06.

[14]  Harald Räcke,et al.  Survey on Oblivious Routing Strategies , 2009, CiE.

[15]  Jorge Urrutia,et al.  Diagonal Flips in Labelled Planar Triangulations , 2001, Graphs Comb..

[16]  Charles L. Lawson,et al.  Transforming triangulations , 1972, Discret. Math..

[17]  Maarten Löffler,et al.  Generating realistic terrains with higher-order Delaunay triangulations , 2005, Comput. Geom..

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

[19]  Giri Narasimhan,et al.  Geometric spanner networks , 2007 .

[20]  Nobuji Saito,et al.  A linear algorithm for finding Hamiltonian cycles in 4-connected maximal planar graphs , 1984, Discret. Appl. Math..

[21]  Prosenjit Bose,et al.  A History of Flips in Combinatorial Triangulations , 2012, EGC.

[22]  Isabel Hubard,et al.  Colorful associahedra and cyclohedra , 2015, J. Comb. Theory, Ser. A.

[23]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[24]  Seiya Negami,et al.  Diagonal Transformations of Graphs on Closed Surfaces , 1993 .

[25]  Sergey Bereg Transforming pseudo-triangulations , 2004, Inf. Process. Lett..

[26]  Martin E. Dyer,et al.  The flip markov chain and a randomising P2P protocol , 2009, PODC '09.

[27]  Marc Noy,et al.  Simultaneous Edge Flipping in Triangulations , 2003, Int. J. Comput. Geom. Appl..

[28]  Prosenjit Bose,et al.  Making triangulations 4-connected using flips , 2011, CCCG.

[29]  Fabrizio Frati,et al.  A Lower Bound on the Diameter of the Flip Graph , 2015, Electron. J. Comb..

[30]  Atsuhiro Nakamoto,et al.  Diagonal Flips in Hamiltonian Triangulations on the Sphere , 2003, Graphs Comb..

[31]  Javier Cano,et al.  The Edge Rotation Graph , 2013, Graphs Comb..

[32]  Marc Noy,et al.  Flipping Edges in Triangulations , 1996, SCG '96.

[33]  Ge Xia Improved upper bound on the stretch factor of delaunay triangulations , 2011, SoCG '11.

[34]  Prosenjit Bose,et al.  Competitive Routing on a Bounded-Degree Plane Spanner , 2012, CCCG.

[35]  K. Wagner Bemerkungen zum Vierfarbenproblem. , 1936 .

[36]  Tamás Lukovszki,et al.  New results on geometric spanners and their applications , 1999 .

[37]  Robert E. Tarjan,et al.  Rotation distance, triangulations, and hyperbolic geometry , 1986, STOC '86.

[38]  David Avis,et al.  Reverse Search for Enumeration , 1996, Discret. Appl. Math..