An 𝒪(3.82^k) Time FPT Algorithm for Convex Flip Distance

Authors Haohong Li, Ge Xia



PDF
Thumbnail PDF

File

LIPIcs.STACS.2023.44.pdf
  • Filesize: 0.7 MB
  • 14 pages

Document Identifiers

Author Details

Haohong Li
  • Department of Computer Science, Lafayette College, Easton, PA, USA
Ge Xia
  • Department of Computer Science, Lafayette College, Easton, PA, USA

Cite As Get BibTex

Haohong Li and Ge Xia. An 𝒪(3.82^k) Time FPT Algorithm for Convex Flip Distance. In 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 254, pp. 44:1-44:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/LIPIcs.STACS.2023.44

Abstract

Let P be a convex polygon in the plane, and let T be a triangulation of P. An edge e in T is called a diagonal if it is shared by two triangles in T. A flip of a diagonal e is the operation of removing e and adding the opposite diagonal of the resulting quadrilateral to obtain a new triangulation of P from T. The flip distance between two triangulations of P is the minimum number of flips needed to transform one triangulation into the other. The Convex Flip Distance problem asks if the flip distance between two given triangulations of P is at most k, for some given parameter k ∈ ℕ. 
We present an FPT algorithm for the Convex Flip Distance problem that runs in time 𝒪(3.82^k) and uses polynomial space, where k is the number of flips. This algorithm significantly improves the previous best FPT algorithms for the problem.

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
  • Theory of computation → Parameterized complexity and exact algorithms
Keywords
  • Flip distance
  • Rotation distance
  • Triangulations
  • Exact algorithms
  • Parameterized complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. O. Aichholzer, F. Hurtado, and M. Noy. A lower bound on the number of triangulations of planar point sets. Computational Geometry: Theory and Applications, 29(2):135-145, 2004. Google Scholar
  2. O. Aichholzer, W. Mulzer, and A. Pilz. Flip distance between triangulations of a simple polygon is NP-complete. Discrete & Computational Geometry, 54(2):368-389, 2015. Google Scholar
  3. A. Bonnin and J.-M. Pallo. A shortest path metric on unlabeled binary trees. Pattern Recognition Letters, 13(6):411-415, 1992. Google Scholar
  4. P. Bose and F. Hurtado. Flips in planar graphs. Computational Geometry: Theory and Applications, 42(1):60-80, 2009. Google Scholar
  5. M. B. Calvo and S. Kelk. An improved kernel for the flip distance problem on simple convex polygons. In Meng He and Don Sheehy, editors, Proceedings of the 33rd Canadian Conference on Computational Geometry, CCCG 2021, pages 195-199, 2021. Google Scholar
  6. Y.-J. Chen, J.-M. Chang, and Y.-L. Wang. An efficient algorithm for estimating rotation distance between two binary trees. International Journal of Computer Mathematics, 82:1095-1106, 2005. Google Scholar
  7. S. Cleary and K. St. John. Rotation distance is fixed-parameter tractable. Information Processing Letters, 109(16):918-922, 2009. Google Scholar
  8. S. Cleary and K. St. John. A linear-time approximation algorithm for rotation distance. J. Graph Algorithms Appl., 14:385-390, 2010. Google Scholar
  9. K. Culik and D. Wood. A note on some tree similarity measures. Information Processing Letters, 15(1):39-42, 1982. Google Scholar
  10. R. Downey and M. Fellows. Parameterized Complexity. Springer, New York, 1999. Google Scholar
  11. Q. Feng, S. Li, X. Meng, and J. Wang. An improved fpt algorithm for the flip distance problem. Information and Computation, 281, 2021. Google Scholar
  12. S. Fordham and S. Cleary. Minimal length elements of thompson’s groups f(p). Geometriae Dedicata, 141:163-180, 2007. Google Scholar
  13. S. Hanke, T. Ottmann, and S. Schuierer. The edge-flipping distance of triangulations. Journal of Universal Computer Science, 2(8):570-579, 1996. Google Scholar
  14. F. Hurtado, M. Noy, and J. Urrutia. Flipping edges in triangulations. Discrete & Computational Geometry, 22(3):333-346, 1999. Google Scholar
  15. A. B. Kahn. Topological sorting of large networks. Commun. ACM, 5(11):558-562, November 1962. Google Scholar
  16. I. Kanj, E. Sedgwick, and G. Xia. Computing the flip distance between triangulations. Discret. Comput. Geom., 58(2):313-344, 2017. Google Scholar
  17. I. Kanj and G. Xia. Flip Distance Is in FPT Time O(n+ k ⋅ c^k). In proceedings of STACS, volume 30 of LIPIcs, pages 500-512, 2015. Google Scholar
  18. C. Lawson. Transforming triangulations. Discrete Mathematics, 3(4):365-372, 1972. Google Scholar
  19. M. Li and L. Zhang. Better approximation of diagonal-flip transformation and rotation transformation. In Proceedings of the 4th Annual International Conference on Computing and Combinatorics, COCOON '98, pages 85-94, 1998. Google Scholar
  20. A. Lubiw and V. Pathak. Flip distance between two triangulations of a point set is NP-complete. Computational Geometry: Theory and Applications, 49:17-23, 2015. Google Scholar
  21. J. Lucas. An improved kernel size for rotation distance in binary trees. Information Processing Letters, 110(12):481-484, 2010. Google Scholar
  22. F. Luccio and L. Pagli. On the upper bound on the rotation distance of binary trees. Information Processing Letters, 31(2):57-60, 1989. Google Scholar
  23. R. Niedermeier. Invitation to Fixed-Parameter Algorithms. Oxford University Press, USA, 2006. Google Scholar
  24. J. Pallo. On the rotation distance in the lattice of binary trees. Information Processing Letters, 25(6):369-373, 1987. Google Scholar
  25. A. Pilz. Flip distance between triangulations of a planar point set is APX-hard. Computational Geometry: Theory and Applications, 47(5):589-604, 2014. Google Scholar
  26. L. Pournin. The diameter of associahedra. Advances in Mathematics, 259:13-42, 2014. Google Scholar
  27. D. Sleator, R. Tarjan, and W. Thurston. Rotation distance, triangulations, and hyperbolic geometry. Journal of the American Mathematical Society, 1:647-681, 1988. Google Scholar
  28. R. P. Stanley. Enumerative Combinatorics, volume 2. Cambridge University Press, 1999. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail