An Improved FPT Algorithm for the Flip Distance Problem

Given a set $\cal P$ of points in the Euclidean plane and two triangulations of $\cal P$, the flip distance between these two triangulations is the minimum number of flips required to transform one triangulation into the other. Parameterized Flip Distance problem is to decide if the flip distance between two given triangulations is equal to a given integer $k$. The previous best FPT algorithm runs in time $O^{*}(k\cdot c^{k})$ ($c\leq 2\times 14^{11}$), where each step has fourteen possible choices, and the length of the action sequence is bounded by $11k$. By applying the backtracking strategy and analyzing the underlying property of the flip sequence, each step of our algorithm has only five possible choices. Based on an auxiliary graph $G$, we prove that the length of the action sequence for our algorithm is bounded by $2|G|$. As a result, we present an FPT algorithm running in time $O^{*}(k\cdot 32^{k})$.

[1]  Mark de Berg,et al.  Computational Geometry: Algorithms and Applications, Second Edition , 2000 .

[2]  Feng Shi,et al.  A fixed-parameter algorithm for the maximum agreement forest problem on multifurcating trees , 2015, Science China Information Sciences.

[3]  Mark de Berg,et al.  Computational geometry: algorithms and applications, 3rd Edition , 1997 .

[4]  Weijia Jia,et al.  Using Nondeterminism to Design Efficient Deterministic Algorithms , 2004, Algorithmica.

[5]  Ge Xia,et al.  Flip Distance Is in FPT Time O(n+ k * c^k) , 2015, STACS.

[6]  Larry L. Schumaker,et al.  Triangulations in CAGD , 1993, IEEE Computer Graphics and Applications.

[7]  Jian-Er Chen,et al.  Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness , 2005, Journal of Computer Science and Technology.

[8]  Marc Noy,et al.  Flipping Edges in Triangulations , 1999, Discret. Comput. Geom..

[9]  Joan M. Lucas An improved kernel size for rotation distance in binary trees , 2010, Inf. Process. Lett..

[10]  Jianxin Wang,et al.  Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm , 2015, WADS.

[11]  Alexander Pilz Flip distance between triangulations of a planar point set is APX-hard , 2014, Comput. Geom..

[12]  G. W. Stewart,et al.  Computer Science and Scientific Computing , 1990 .

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

[14]  Gerald Farin,et al.  Curves and surfaces for computer aided geometric design , 1990 .

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

[16]  Alexander Pilz,et al.  Flip Distance between Triangulations of a Simple Polygon is NP-Complete , 2013, ESA.

[17]  Ge Xia,et al.  Computing the Flip Distance Between Triangulations , 2017, Discret. Comput. Geom..

[18]  Michael R. Fellows,et al.  Parameterized complexity analysis in computational biology , 1995, Comput. Appl. Biosci..

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

[20]  Marc Noy,et al.  A lower bound on the number of triangulations of planar point sets , 2004, Comput. Geom..