Realizability of Free Spaces of Curves

Authors Hugo A. Akitaya , Maike Buchin , Majid Mirzanezhad , Leonie Ryvkin , Carola Wenk



PDF
Thumbnail PDF

File

LIPIcs.ISAAC.2023.3.pdf
  • Filesize: 1.07 MB
  • 20 pages

Document Identifiers

Author Details

Hugo A. Akitaya
  • Department of Computer Science, University of Massachusetts Lowell, MA, USA
Maike Buchin
  • Department of Computer Science, Ruhr University Bochum, Germany
Majid Mirzanezhad
  • Transportation Research Institute, University of Michigan, Ann Arbor, MI, USA
Leonie Ryvkin
  • Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands
Carola Wenk
  • Department of Computer Science, Tulane University, New Orleans, LA, USA

Cite AsGet BibTex

Hugo A. Akitaya, Maike Buchin, Majid Mirzanezhad, Leonie Ryvkin, and Carola Wenk. Realizability of Free Spaces of Curves. In 34th International Symposium on Algorithms and Computation (ISAAC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 283, pp. 3:1-3:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.ISAAC.2023.3

Abstract

The free space diagram is a popular tool to compute the well-known Fréchet distance. As the Fréchet distance is used in many different fields, many variants have been established to cover the specific needs of these applications. Often the question arises whether a certain pattern in the free space diagram is realizable, i.e., whether there exists a pair of polygonal chains whose free space diagram corresponds to it. The answer to this question may help in deciding the computational complexity of these distance measures, as well as allowing to design more efficient algorithms for restricted input classes that avoid certain free space patterns. Therefore we study the inverse problem: Given a potential free space diagram, do there exist curves that generate this diagram? Our problem of interest is closely tied to the classic Distance Geometry problem. We settle the complexity of Distance Geometry in ℝ^{>2}, showing ∃ℝ-hardness. We use this to show that for curves in ℝ^{≥2} the realizability problem is ∃ℝ-complete, both for continuous and for discrete Fréchet distance. We prove that the continuous case in ℝ¹ is only weakly NP-hard, and we provide a pseudo-polynomial time algorithm and show that it is fixed-parameter tractable. Interestingly, for the discrete case in ℝ¹ we show that the problem becomes solvable in polynomial time.

Subject Classification

ACM Subject Classification
  • Theory of computation → Computational geometry
Keywords
  • Fréchet distance
  • Distance Geometry
  • free space diagram
  • inverse problem

Metrics

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

References

  1. Zachary Abel, Erik D Demaine, Martin L Demaine, Sarah Eisenstat, Jayson Lynch, and Tao B Schardl. Who needs crossings? Hardness of plane graph rigidity. In 32nd International Symposium on Computational Geometry (SoCG 2016), volume 51, pages 3:1-3:15, 2016. Google Scholar
  2. Zachary Ryan Abel. On folding and unfolding with linkages and origami. PhD thesis, Massachusetts Institute of Technology, 2016. Google Scholar
  3. Hugo A. Akitaya, Maike Buchin, Majid Mirzanezhad, Leonie Ryvkin, and Carola Wenk. Realizability of free space diagrams for 1D curves. In 38th European Workshop on Computational Geometry (EuroCG), 2022. Google Scholar
  4. Hugo Alves Akitaya, Maike Buchin, Leonie Ryvkin, and Jérôme Urhausen. The k-Fréchet distance: How to walk your dog while teleporting. In 30th International Symposium on Algorithms and Computation, ISAAC 2019, pages 50:1-50:15, 2019. Google Scholar
  5. Helmut Alt and Michael Godau. Computing the Fréchet distance between two polygonal curves. International Journal of Computational Geometry & Applications, 5(1-2):75-91, 1995. Google Scholar
  6. Helmut Alt, Christian Knauer, and Carola Wenk. Comparison of distance measures for planar curves. Algorithmica. An International Journal in Computer Science, 38(1):45-58, 2004. Google Scholar
  7. Esther M. Arkin, Michael A. Bender, Erik D. Demaine, Martin L. Demaine, Joseph S.B. Mitchell, Saurabh Sethia, and Steven S. Skiena. When can you fold a map? Computational Geometry, 29(1):23-46, 2004. Special Issue on the 10th Fall Workshop on Computational Geometry, SUNY at Stony Brook. Google Scholar
  8. Boris Aronov, Sariel Har-Peled, Christian Knauer, Yusu Wang, and Carola Wenk. Fréchet distance for curves, revisited. In 14th Annual European Symposium on Algorithms, pages 52-63, 2006. Google Scholar
  9. Peter F Ash and Ethan D Bolker. Recognizing Dirichlet tessellations. Geometriae Dedicata, 19:175-206, 1985. Google Scholar
  10. Jérémy Barbay. Adaptive computation of the discrete fréchet distance. In String Processing and Information Retrieval, pages 50-60, 2018. Google Scholar
  11. Hossein Boomari, Mojtaba Ostovari, and Alireza Zarei. Recognizing visibility graphs of polygons with holes and internal-external visibility graphs of polygons. arXiv preprint, 2018. URL: https://arxiv.org/abs/1804.05105.
  12. Karl Bringmann. Why walking the dog takes time: Fréchet distance has no strongly subquadratic algorithms unless SETH fails. In 2014 IEEE 55th Annual Symposium on Foundations of Computer Science, pages 661-670, 2014. Google Scholar
  13. Karl Bringmann and Wolfgang Mulzer. Approximability of the discrete Fréchet distance. Journal of Computational Geometry, 7(2):46-76, 2016. Google Scholar
  14. Kevin Buchin, Maike Buchin, Wouter Meulemans, and Wolfgang Mulzer. Four soviets walk the dog: Improved bounds for computing the fréchet distance. Discrete & Computational Geometry, 58(1):180-216, 2017. Google Scholar
  15. Kevin Buchin, Jinhee Chun, Maarten Löffler, Aleksandar Markovic, Wouter Meulemans, Yoshio Okamoto, and Taichi Shiitada. Folding free-space diagrams: Computing the Fréchet distance between 1-dimensional curves (multimedia contribution). In 33rd International Symposium on Computational Geometry, (SoCG 2017), pages 64:1-64:5, 2017. Google Scholar
  16. Kevin Buchin, Tim Ophelders, and Bettina Speckmann. SETH says: Weak Fréchet distance is faster, but only if it is continuous and in one dimension. In Proc. 30th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2887-2901, 2019. Google Scholar
  17. Maike Buchin, Anne Driemel, and Bettina Speckmann. Computing the Fréchet distance with shortcuts is NP-hard. In Proceedings of the Thirtieth Annual Symposium on Computational Geometry (SOCG'14), pages 367-376, 2014. Google Scholar
  18. Maike Buchin, Leonie Ryvkin, and Carola Wenk. On the realizability of free space diagrams. In 37th European Workshop on Computational Geometry (EuroCG), 2021. Google Scholar
  19. Jean Cardinal and Udo Hoffmann. Recognition and complexity of point visibility graphs. Discrete & Computational Geometry, 57, January 2017. Google Scholar
  20. Robert Connelly. Generic global rigidity. Discrete & Computational Geometry, 33(4):549, 2005. Google Scholar
  21. Derek G Corneil, Hiryoung Kim, Sridhar Natarajan, Stephan Olariu, and Alan P Sprague. Simple linear time recognition of unit interval graphs. Information Processing Letters, 55(2):99-104, 1995. Google Scholar
  22. Erik D. Demaine and Joseph O'Rourke. Geometric Folding Algorithms: Linkages, Origami, Polyhedra. Cambridge University Press, 2008. Google Scholar
  23. Anne Driemel, Sariel Har-Peled, and Carola Wenk. Approximating the Fréchet distance for realistic curves in near linear time. Discrete & Computational Geometry, 48:94-127, 2012. Google Scholar
  24. Anne Driemel, Sariel Har-Peled, and Carola Wenk. Approximating the Fréchet distance for realistic curves in near linear time. Discrete & Computational Geometry. An International Journal of Mathematics and Computer Science, 48(1):94-127, 2012. Google Scholar
  25. Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, Joseph S.B. Mitchell, and T.M Murali. New similarity measures between polylines with applications to morphing and polygon sweeping. Discrete & Computational Geometry, 28(4):535-569, 2002. Google Scholar
  26. Joachim Gudmundsson, Patrick Laube, and Thomas Wolle. Movement patterns in spatio-temporal data. In S. Shekhar and H. Xiong, editors, Encyclopedia of GIS. Springer-Verlag, 2007. Google Scholar
  27. Timothy Franklin Havel. The combinatorial distance geometry approach to the calculation of molecular conformation. University of California, Berkeley, 1982. Google Scholar
  28. Minghui Jiang, Ying Xu, and Binhai Zhu. Protein structure-structure alignment with discrete Fréchet distance. Journal of Bioinformatics and Computational Biology, 6(1):51-64, 2008. Google Scholar
  29. Ross J Kang and Tobias Müller. Sphere and dot product representations of graphs. Discrete Comput Geom, 47:548-568, 2012. Google Scholar
  30. Joseph Noggle. The nuclear Overhauser effect. Academic Press, 2012. Google Scholar
  31. Günter Rote. Lexicographic Fréchet matchings. In 30th European Workshop on Computational Geometry, 2014. Google Scholar
  32. Leonie Ryvkin. On distance measures for polygonal curves bridging between Hausdorff and Fréchet distance. doctoralthesis, Ruhr-Universität Bochum, Universitätsbibliothek, 2021. URL: https://doi.org/10.13154/294-8275.
  33. James B Saxe. Embeddability of weighted graphs in k-space is strongly NP-hard. In 17th Allerton Conf. Commun. Control Comput., 1979, pages 480-489, 1979. Google Scholar
  34. Marcus Schaefer. Realizability of graphs and linkages. In Thirty Essays on Geometric Graph Theory, pages 461-482. springer, 2012. Google Scholar
  35. R. Sriraghavendra, Karthik K., and Chiranjib Bhattacharyya. Fréchet distance based approach for searching online handwritten documents. In Proc. 9th International Conference on Document Analysis and Recognition (ICDAR), pages 461-465, 2007. Google Scholar