A Simple Sweep Line Algorithm for Counting Triangulations and Pseudo-triangulations

Let P ⊂ R 2 be a set of n points. In [1] and [2] an algorithm for counting triangulations and pseudo-triangulations of P, respectively, is shown. Both algorithms are based on the divide-and-conquer paradigm, and both work by finding sub-structures on triangulations and pseudo-triangulations that allow the problems to be split. These sub-structures are called triangulation paths for triangulations, or T-paths for short, and zig-zag paths for pseudo-triangulations, or PT-paths for short. Those two algorithms have turned out to be very difficult to analyze, to the point that no good analysis of their running time has been presented so far. The interesting thing about those algorithms, besides their simplicity, is that they experimentally indicate that counting can be done significantly faster than enumeration. In this paper we show two new algorithms, one to compute the number of triangulations of P, and one to compute the number of pseudo-triangulations of P. They are also based on T-paths and PT-paths respectively, but use the sweep line paradigm and not divide-and-conquer. The important thing about our algorithms is that they admit a good analysis of their running times. We will show that our algorithms run in time O � (t(P)) and O � (pt(P)) respectively, where t(P) and pt(P) is the largest number of T-paths and PT-paths, respectively, that the algorithms encounter during their execution. Moreover, we show that t(P) = O � (9 n ), which is the first non-trivial bound on t(P) to be known.

[1]  J. O'Rourke Art gallery theorems and algorithms , 1987 .

[2]  Ileana Streinu,et al.  A combinatorial approach to planar non-colliding robot arm motion planning , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[3]  Bruce A. Reed,et al.  On the mixing rate of the triangulation walk , 1997, Randomization Methods in Algorithm Design.

[4]  Karl Bringmann,et al.  Counting crossing-free structures , 2012, SoCG '12.

[5]  Franz Aurenhammer,et al.  Convexity minimizes pseudo-triangulations , 2002, CCCG.

[6]  Shin-ichi Tanigawa,et al.  Fast enumeration algorithms for non-crossing geometric graphs , 2008, SCG '08.

[7]  Leonidas J. Guibas,et al.  Ray shooting in polygons using geodesic triangulations , 1991, Algorithmica.

[8]  Günter Rote,et al.  Counting triangulations and pseudo-triangulations of wheels , 2001, CCCG.

[9]  Bettina Speckmann,et al.  The Zigzag Path of a Pseudo-Triangulation , 2003, WADS.

[10]  Michael T. Goodrich,et al.  Dynamic Ray Shooting and Shortest Paths in Planar Subdivisions via Balanced Geodesic Triangulations , 1997, J. Algorithms.

[11]  Michel Pocchiola,et al.  Topologically sweeping visibility complexes via pseudotriangulations , 1996, Discret. Comput. Geom..

[12]  H. Wilf generatingfunctionology: Third Edition , 1990 .

[13]  Micha Sharir,et al.  Counting Triangulations of Planar Point Sets , 2009, Electron. J. Comb..

[14]  Ronald L. Graham,et al.  Concrete mathematics - a foundation for computer science (2. ed.) , 1994 .

[15]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[16]  R. Pollack,et al.  Surveys on discrete and computational geometry : twenty years later : AMS-IMS-SIAM Joint Summer Research Conference, June 18-22, 2006, Snowbird, Utah , 2008 .

[17]  E. Szemerédi,et al.  Crossing-Free Subgraphs , 1982 .

[18]  Raimund Seidel,et al.  A simple and less slow method for counting triangulations and for related problems , 2004 .

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

[20]  Jörg-Rüdiger Sack,et al.  Generating triangulations at random , 1994, TOMC.

[21]  Micha Sharir,et al.  On degrees in random triangulations of point sets , 2010, SoCG '10.

[22]  Emo Welzl,et al.  Counting Plane Graphs with Exponential Speed-Up , 2011, Rainbow of Computer Science.

[23]  Panos M. Pardalos,et al.  Randomization Methods in Algorithm Design , 1998 .

[24]  Adrian Dumitrescu,et al.  Enumerating Triangulation Paths , 2000, CCCG.

[25]  Prasad Tetali,et al.  On the mixing time of the triangulation walk and other Catalan structures , 1997, Randomization Methods in Algorithm Design.

[26]  Oswin Aichholzer The path of a triangulation , 1999, SCG '99.

[27]  Richard Pollack,et al.  Upper bounds for configurations and polytopes inRd , 1986, Discret. Comput. Geom..

[28]  Ronald L. Graham,et al.  Concrete mathematics - a foundation for computer science , 1991 .

[29]  Nicolas Bonichon,et al.  Canonical Decomposition of Outerplanar Maps and Application to Enumeration, Coding, and Generation , 2003, WG.

[30]  Sergey Bereg,et al.  Enumerating pseudo-triangulations in the plane , 2005, Comput. Geom..

[31]  Sergei N. Bespamyatnikh Computing homotopic shortest paths in the plane , 2003, SODA '03.