Constrained Level Planarity Is FPT with Respect to the Vertex Cover Number

Authors Boris Klemz , Marie Diana Sieper



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2024.99.pdf
  • Filesize: 1.01 MB
  • 17 pages

Document Identifiers

Author Details

Boris Klemz
  • Universität Würzburg, Germany
Marie Diana Sieper
  • Universität Würzburg, Germany

Cite AsGet BibTex

Boris Klemz and Marie Diana Sieper. Constrained Level Planarity Is FPT with Respect to the Vertex Cover Number. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 99:1-99:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ICALP.2024.99

Abstract

The problem Level Planarity asks for a crossing-free drawing of a graph in the plane such that vertices are placed at prescribed y-coordinates (called levels) and such that every edge is realized as a y-monotone curve. In the variant Constrained Level Planarity, each level y is equipped with a partial order ≺_y on its vertices and in the desired drawing the left-to-right order of vertices on level y has to be a linear extension of ≺_y. Constrained Level Planarity is known to be a remarkably difficult problem: previous results by Klemz and Rote [ACM Trans. Alg.'19] and by Brückner and Rutter [SODA'17] imply that it remains NP-hard even when restricted to graphs whose tree-depth and feedback vertex set number are bounded by a constant and even when the instances are additionally required to be either proper, meaning that each edge spans two consecutive levels, or ordered, meaning that all given partial orders are total orders. In particular, these results rule out the existence of FPT-time (even XP-time) algorithms with respect to these and related graph parameters (unless P=NP). However, the parameterized complexity of Constrained Level Planarity with respect to the vertex cover number of the input graph remained open. In this paper, we show that Constrained Level Planarity can be solved in FPT-time when parameterized by the vertex cover number. In view of the previous intractability statements, our result is best-possible in several regards: a speed-up to polynomial time or a generalization to the aforementioned smaller graph parameters is not possible, even if restricting to proper or ordered instances.

Subject Classification

ACM Subject Classification
  • Theory of computation → Fixed parameter tractability
  • Human-centered computing → Graph drawings
  • Mathematics of computing → Graphs and surfaces
  • Theory of computation → Computational geometry
  • Mathematics of computing → Paths and connectivity problems
Keywords
  • Parameterized Complexity
  • Graph Drawing
  • Planar Poset Diagram
  • Level Planarity
  • Constrained Level Planarity
  • Vertex Cover
  • FPT
  • Computational Geometry

Metrics

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

References

  1. Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, and Ignaz Rutter. Beyond level planarity. In Yifan Hu and Martin Nöllenburg, editors, Graph Drawing and Network Visualization - 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers, volume 9801 of Lecture Notes in Computer Science, pages 482-495. Springer, 2016. URL: https://doi.org/10.1007/978-3-319-50106-2_37.
  2. Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, and Vincenzo Roselli. The importance of being proper: (in clustered-level planarity and t-level planarity). Theor. Comput. Sci., 571:1-9, 2015. URL: https://doi.org/10.1016/j.tcs.2014.12.019.
  3. Andrei Asinowski, Tillmann Miltzow, and Günter Rote. Quasi-parallel segments and characterization of unique bichromatic matchings. Journal of Computational Geometry, 6:185-219, 2015. URL: https://doi.org/10.20382/jocg.v6i1a8.
  4. Christian Bachmaier, Franz-Josef Brandenburg, and Michael Forster. Radial level planarity testing and embedding in linear time. J. Graph Algorithms Appl., 9(1):53-97, 2005. URL: http://jgaa.info/accepted/2005/BachmaierBrandenburgForster2005.9.1.pdf, URL: https://doi.org/10.7155/JGAA.00100.
  5. Christian Bachmaier and Wolfgang Brunner. Linear time planarity testing and embedding of strongly connected cyclic level graphs. In Dan Halperin and Kurt Mehlhorn, editors, Algorithms - ESA 2008, 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings, volume 5193 of Lecture Notes in Computer Science, pages 136-147. Springer, 2008. URL: https://doi.org/10.1007/978-3-540-87744-8_12.
  6. Michael J. Bannister, William E. Devanny, Vida Dujmović, David Eppstein, and David R. Wood. Track layouts, layered path decompositions, and leveled planarity. Algorithmica, 81(4):1561-1583, 2019. URL: https://doi.org/10.1007/S00453-018-0487-5.
  7. Václav Blažej, Boris Klemz, Felix Klesen, Marie Diana Sieper, Alexander Wolff, and Johannes Zink. Constrained and ordered level planarity parameterized by the number of levels. In Wolfgang Mulzer and Jeff M. Phillips, editors, 40th International Symposium on Computational Geometry, SoCG 2024, June 11-14, 2024, Athens, Greece, volume 293 of LIPIcs, pages 20:1-20:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. URL: https://doi.org/10.4230/LIPICS.SOCG.2024.20.
  8. Guido Brückner and Ignaz Rutter. Partial and constrained level planarity. In Philip N. Klein, editor, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, pages 2000-2011. SIAM, 2017. URL: https://doi.org/10.1137/1.9781611974782.130.
  9. Guido Brückner and Ignaz Rutter. An spqr-tree-like embedding representation for level planarity. In Yixin Cao, Siu-Wing Cheng, and Minming Li, editors, 31st International Symposium on Algorithms and Computation, ISAAC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference), volume 181 of LIPIcs, pages 8:1-8:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. URL: https://doi.org/10.4230/LIPIcs.ISAAC.2020.8.
  10. Marek Cygan, Fedor V. Fomin, Lukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh. Parameterized Algorithms. Springer, 2015. URL: https://doi.org/10.1007/978-3-319-21275-3.
  11. Mark de Berg, Otfried Cheong, Marc J. van Kreveld, and Mark H. Overmars. Computational geometry: algorithms and applications, 3rd Edition. Springer, 2008. URL: https://www.worldcat.org/oclc/227584184.
  12. N. G. de Bruijn. Problems 17 and 18. Nieuw Archief voor Wiskunde, 2:67, 1954. Answers in Wiskundige Opgaven met de Oplossingen 20:19-20, 1955. Google Scholar
  13. Giuseppe Di Battista and Enrico Nardelli. Hierarchies and planarity theory. IEEE Trans. Systems, Man, and Cybernetics, 18(6):1035-1046, 1988. URL: https://doi.org/10.1109/21.23105.
  14. Vida Dujmović, Michael R. Fellows, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Sue Whitesides, and David R. Wood. On the parameterized complexity of layered graph drawing. Algorithmica, 52(2):267-292, 2008. URL: https://doi.org/10.1007/S00453-007-9151-1.
  15. Michael Forster and Christian Bachmaier. Clustered level planarity. In Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, and Julius Stuller, editors, SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004, volume 2932 of Lecture Notes in Computer Science, pages 218-228. Springer, 2004. URL: https://doi.org/10.1007/978-3-540-24618-3_18.
  16. Radoslav Fulek, Michael J Pelsmajer, Marcus Schaefer, and Daniel Štefankovič. Hanani-Tutte, monotone drawings, and level-planarity. In Thirty Essays on Geometric Graph Theory, pages 263-287. Springer, 2013. URL: https://doi.org/10.1007/978-1-4614-0110-0_14.
  17. Michael R Garey and David S Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., 1990. Google Scholar
  18. Ashim Garg and Roberto Tamassia. On the computational complexity of upward and rectilinear planarity testing. SIAM J. Comput., 31(2):601-625, 2001. URL: https://doi.org/10.1137/S0097539794277123.
  19. Leonidas J. Guibas and F. Francis. Yao. On translating a set of rectangles. In Proc. 12th Annual ACM Symposium Theory of Computing (STOC 1980), pages 154-160, 1980. URL: https://doi.org/10.1145/800141.804663.
  20. Leonidas J. Guibas and F. Francis. Yao. On translating a set of rectangles. In F. P. Preparata, editor, Computational Geometry, volume 1 of Advances in Computing Research, pages 61-77. JAI Press, Greenwich, Conn., 1983. Google Scholar
  21. Lenwood S. Heath and Sriram V. Pemmaraju. Recognizing leveled-planar dags in linear time. In Franz-Josef Brandenburg, editor, Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995, Proceedings, volume 1027 of Lecture Notes in Computer Science, pages 300-311. Springer, 1995. URL: https://doi.org/10.1007/BFb0021813.
  22. Lenwood S. Heath and Arnold L. Rosenberg. Laying out graphs using queues. SIAM J. Comput., 21(5):927-958, 1992. URL: https://doi.org/10.1137/0221055.
  23. Seok-Hee Hong and Hiroshi Nagamochi. Convex drawings of hierarchical planar graphs and clustered planar graphs. J. Discrete Algorithms, 8(3):282-295, 2010. URL: https://doi.org/10.1016/j.jda.2009.05.003.
  24. Michael Jünger, Sebastian Leipert, and Petra Mutzel. Pitfalls of using PQ-trees in automatic graph drawing. In Giuseppe Di Battista, editor, Graph Drawing, 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997, Proceedings, volume 1353 of Lecture Notes in Computer Science, pages 193-204. Springer, 1997. URL: https://doi.org/10.1007/3-540-63938-1_62.
  25. Michael Jünger, Sebastian Leipert, and Petra Mutzel. Level planarity testing in linear time. In Sue Whitesides, editor, Graph Drawing, 6th International Symposium, GD'98, Montréal, Canada, August 1998, Proceedings, volume 1547 of Lecture Notes in Computer Science, pages 224-237. Springer, 1998. URL: https://doi.org/10.1007/3-540-37623-2_17.
  26. Boris Klemz. Convex drawings of hierarchical graphs in linear time, with applications to planar graph morphing. In Petra Mutzel, Rasmus Pagh, and Grzegorz Herman, editors, Proc. 29th Ann. Europ. Symp. Algorithms (ESA'21), volume 204 of LIPIcs, pages 57:1-57:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL: https://doi.org/10.4230/LIPIcs.ESA.2021.57.
  27. Boris Klemz and Günter Rote. Ordered level planarity and its relationship to geodesic planarity, bi-monotonicity, and variations of level planarity. ACM Trans. Algorithms, 15(4):53:1-53:25, 2019. Conference version in Proc. GD'17. URL: https://doi.org/10.1145/3359587.
  28. Boris Klemz and Marie Diana Sieper. Constrained level planarity is FPT with respect to the vertex cover number. arXiv report, 2024. URL: https://arxiv.org/abs/2404.16723.
  29. Ignaz Rutter. Personal communication, 2022. Google Scholar
  30. Andreas Wotzlaw, Ewald Speckenmeyer, and Stefan Porschen. Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation. Discrete Applied Mathematics, 160(16-17):2349-2363, 2012. URL: https://doi.org/10.1016/j.dam.2012.05.028.