A rectilinear-upward planar drawing of a digraph G is a crossing-free drawing of G where each edge is either a horizontal or a vertical segment, and such that no directed edge points downward. Rectilinear-Upward Planarity Testing is the problem of deciding whether a digraph G admits a rectilinear-upward planar drawing. We show that: (i) Rectilinear-Upward Planarity Testing is NP-complete, even if G is biconnected; (ii) it can be solved in linear time when an upward planar embedding of G is fixed; (iii) the problem is polynomial-time solvable for biconnected digraphs of treewidth at most two, i.e., for digraphs whose underlying undirected graph is a series-parallel graph; (iv) for any biconnected digraph the problem is fixed-parameter tractable when parameterized by the number of sources and sinks in the digraph.

Didimo, W., Kaufmann, M., Liotta, G., Ortali, G., Patrignani, M. (2023). Rectilinear-Upward Planarity Testing of Digraphs. In 34th International Symposium on Algorithms and Computation, {ISAAC} 2023 (pp.1-20). Schloss Dagstuhl - Leibniz-Zentrum fur Informatik [10.4230/lipics.isaac.2023.26].

Rectilinear-Upward Planarity Testing of Digraphs

Giuseppe Liotta;Maurizio Patrignani
2023-01-01

Abstract

A rectilinear-upward planar drawing of a digraph G is a crossing-free drawing of G where each edge is either a horizontal or a vertical segment, and such that no directed edge points downward. Rectilinear-Upward Planarity Testing is the problem of deciding whether a digraph G admits a rectilinear-upward planar drawing. We show that: (i) Rectilinear-Upward Planarity Testing is NP-complete, even if G is biconnected; (ii) it can be solved in linear time when an upward planar embedding of G is fixed; (iii) the problem is polynomial-time solvable for biconnected digraphs of treewidth at most two, i.e., for digraphs whose underlying undirected graph is a series-parallel graph; (iv) for any biconnected digraph the problem is fixed-parameter tractable when parameterized by the number of sources and sinks in the digraph.
2023
Didimo, W., Kaufmann, M., Liotta, G., Ortali, G., Patrignani, M. (2023). Rectilinear-Upward Planarity Testing of Digraphs. In 34th International Symposium on Algorithms and Computation, {ISAAC} 2023 (pp.1-20). Schloss Dagstuhl - Leibniz-Zentrum fur Informatik [10.4230/lipics.isaac.2023.26].
File in questo prodotto:
File Dimensione Formato  
Rectilinear-Upward Planarity Testing of Digraphs (LIPIcs.ISAAC.2023.26).pdf

accesso aperto

Descrizione: Articolo finale
Tipologia: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 1.27 MB
Formato Adobe PDF
1.27 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11590/460703
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact