-
Recognizing DAGs with Page-Number 2 is NP-complete
Authors:
Michael A. Bekos,
Giordano Da Lozzo,
Fabrizio Frati,
Martin Gronemann,
Tamara Mchedlidze,
Chrysanthi N. Raftopoulou
Abstract:
The page-number of a directed acyclic graph (a DAG, for short) is the minimum $k$ for which the DAG has a topological order and a $k$-coloring of its edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological order. In 1999, Heath and Pemmaraju conjectured that the recognition of DAGs with page-number $2$ is NP-complete and proved that recognizing…
▽ More
The page-number of a directed acyclic graph (a DAG, for short) is the minimum $k$ for which the DAG has a topological order and a $k$-coloring of its edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological order. In 1999, Heath and Pemmaraju conjectured that the recognition of DAGs with page-number $2$ is NP-complete and proved that recognizing DAGs with page-number $6$ is NP-complete [SIAM J. Computing, 1999]. Binucci et al. recently strengthened this result by proving that recognizing DAGs with page-number $k$ is NP-complete, for every $k\geq 3$ [SoCG 2019]. In this paper, we finally resolve Heath and Pemmaraju's conjecture in the affirmative. In particular, our NP-completeness result holds even for $st$-planar graphs and planar posets.
△ Less
Submitted 11 November, 2022; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Testing Upward Planarity of Partial $2$-Trees
Authors:
Steven Chaplick,
Emilio Di Giacomo,
Fabrizio Frati,
Robert Ganian,
Chrysanthi N. Raftopoulou,
Kirill Simonov
Abstract:
We present an $O(n^2)$-time algorithm to test whether an $n$-vertex directed partial $2$-tree is upward planar. This result improves upon the previously best known algorithm, which runs in $O(n^4)$ time.
We present an $O(n^2)$-time algorithm to test whether an $n$-vertex directed partial $2$-tree is upward planar. This result improves upon the previously best known algorithm, which runs in $O(n^4)$ time.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
Parameterized Algorithms for Upward Planarity
Authors:
Steven Chaplick,
Emilio Di Giacomo,
Fabrizio Frati,
Robert Ganian,
Chrysanthi N. Raftopoulou,
Kirill Simonov
Abstract:
We obtain new parameterized algorithms for the classical problem of determining whether a directed acyclic graph admits an upward planar drawing. Our results include a new fixed-parameter algorithm parameterized by the number of sources, an XP-algorithm parameterized by treewidth, and a fixed-parameter algorithm parameterized by treedepth. All three algorithms are obtained using a novel framework…
▽ More
We obtain new parameterized algorithms for the classical problem of determining whether a directed acyclic graph admits an upward planar drawing. Our results include a new fixed-parameter algorithm parameterized by the number of sources, an XP-algorithm parameterized by treewidth, and a fixed-parameter algorithm parameterized by treedepth. All three algorithms are obtained using a novel framework for the problem that combines SPQR tree-decompositions with parameterized techniques. Our approach unifies and pushes beyond previous tractability results for the problem on series-parallel digraphs, single-source digraphs and outerplanar digraphs.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Recognizing and Embedding Simple Optimal 2-Planar Graphs
Authors:
Henry Förster,
Michael Kaufmann,
Chrysanthi N. Raftopoulou
Abstract:
In the area of beyond-planar graphs, i.e. graphs that can be drawn with some local restrictions on the edge crossings, the recognition problem is prominent next to the density question for the different graph classes. For 1-planar graphs, the recognition problem has been settled, namely it is NP-complete for the general case, while optimal 1-planar graphs, i.e. those with maximum density, can be r…
▽ More
In the area of beyond-planar graphs, i.e. graphs that can be drawn with some local restrictions on the edge crossings, the recognition problem is prominent next to the density question for the different graph classes. For 1-planar graphs, the recognition problem has been settled, namely it is NP-complete for the general case, while optimal 1-planar graphs, i.e. those with maximum density, can be recognized in linear time. For 2-planar graphs, the picture is less complete. As expected, the recognition problem has been found to be NP-complete in general. In this paper, we consider the recognition of simple optimal 2-planar graphs. We exploit a combinatorial characterization of such graphs and present a linear time algorithm for recognition and embedding.
△ Less
Submitted 3 August, 2021; v1 submitted 2 August, 2021;
originally announced August 2021.
-
On the Queue Number of Planar Graphs
Authors:
Michael A. Bekos,
Martin Gronemann,
Chrysanthi N. Raftopoulou
Abstract:
A k-queue layout is a special type of a linear layout, in which the linear order avoids (k+1)-rainbows, i.e., k+1 independent edges that pairwise form a nested pair. The optimization goal is to determine the queue number of a graph, i.e., the minimum value of k for which a k-queue layout is feasible. Recently, Dujmović et al. [J. ACM, 67(4), 22:1-38, 2020] showed that the queue number of planar gr…
▽ More
A k-queue layout is a special type of a linear layout, in which the linear order avoids (k+1)-rainbows, i.e., k+1 independent edges that pairwise form a nested pair. The optimization goal is to determine the queue number of a graph, i.e., the minimum value of k for which a k-queue layout is feasible. Recently, Dujmović et al. [J. ACM, 67(4), 22:1-38, 2020] showed that the queue number of planar graphs is at most 49, thus settling in the positive a long-standing conjecture by Heath, Leighton and Rosenberg. To achieve this breakthrough result, their approach involves three different techniques: (i) an algorithm to obtain straight-line drawings of outerplanar graphs, in which the y-distance of any two adjacent vertices is 1 or 2, (ii) an algorithm to obtain 5-queue layouts of planar 3-trees, and (iii) a decomposition of a planar graph into so-called tripods. In this work, we push further each of these techniques to obtain the first non-trivial improvement on the upper bound from 49 to 42.
△ Less
Submitted 5 August, 2021; v1 submitted 15 June, 2021;
originally announced June 2021.
-
On a Conjecture of Lovász on Circle-Representations of Simple 4-Regular Planar Graphs
Authors:
Michael A. Bekos,
Chrysanthi N. Raftopoulou
Abstract:
Lovász conjectured that every connected 4-regular planar graph G admits a realization as a system of circles, i.e., it can be drawn on the plane utilizing a set of circles, such that the vertices of G correspond to the intersection and touching points of the circles and the edges of G are the arc segments among pairs of intersection and touching points of the circles. In this paper, we settle this…
▽ More
Lovász conjectured that every connected 4-regular planar graph G admits a realization as a system of circles, i.e., it can be drawn on the plane utilizing a set of circles, such that the vertices of G correspond to the intersection and touching points of the circles and the edges of G are the arc segments among pairs of intersection and touching points of the circles. In this paper, we settle this conjecture. In particular, (a) we first provide tight upper and lower bounds on the number of circles needed in a realization of any simple 4-regular planar graph, (b) we affirmatively answer Lovász's conjecture, if G is 3-connected, and (c) we demonstrate an infinite class of simple connected 4-regular planar graphs which are not 3-connected (i.e., either simply connected or biconnected) and do not admit realizations as a system of circles.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
On Optimal 2- and 3-Planar Graphs
Authors:
Michael A. Bekos,
Michael Kaufmann,
Chrysanthi N. Raftopoulou
Abstract:
A graph is $k$-planar if it can be drawn in the plane such that no edge is crossed more than $k$ times. While for $k=1$, optimal $1$-planar graphs, i.e., those with $n$ vertices and exactly $4n-8$ edges, have been completely characterized, this has not been the case for $k \geq 2$. For $k=2,3$ and $4$, upper bounds on the edge density have been developed for the case of simple graphs by Pach and T…
▽ More
A graph is $k$-planar if it can be drawn in the plane such that no edge is crossed more than $k$ times. While for $k=1$, optimal $1$-planar graphs, i.e., those with $n$ vertices and exactly $4n-8$ edges, have been completely characterized, this has not been the case for $k \geq 2$. For $k=2,3$ and $4$, upper bounds on the edge density have been developed for the case of simple graphs by Pach and Tóth, Pach et al. and Ackerman, which have been used to improve the well-known "Crossing Lemma". Recently, we proved that these bounds also apply to non-simple $2$- and $3$-planar graphs without homotopic parallel edges and self-loops.
In this paper, we completely characterize optimal $2$- and $3$-planar graphs, i.e., those that achieve the aforementioned upper bounds. We prove that they have a remarkably simple regular structure, although they might be non-simple. The new characterization allows us to develop notable insights concerning new inclusion relationships with other graph classes.
△ Less
Submitted 19 March, 2017;
originally announced March 2017.
-
On the Density of non-Simple 3-Planar Graphs
Authors:
Michael A. Bekos,
Michael Kaufmann,
Chrysanthi N. Raftopoulou
Abstract:
A \emph{$k$-planar graph} is a graph that can be drawn in the plane such that every edge is crossed at most $k$ times. For $k \leq 4$, Pach and Tóth proved a bound of $(k+3)(n-2)$ on the total number of edges of a $k$-planar graph, which is tight for $k=1,2$. For $k=3$, the bound of $6n-12$ has been improved to $\frac{11}{2}n-11$ and has been shown to be optimal up to an additive constant for simp…
▽ More
A \emph{$k$-planar graph} is a graph that can be drawn in the plane such that every edge is crossed at most $k$ times. For $k \leq 4$, Pach and Tóth proved a bound of $(k+3)(n-2)$ on the total number of edges of a $k$-planar graph, which is tight for $k=1,2$. For $k=3$, the bound of $6n-12$ has been improved to $\frac{11}{2}n-11$ and has been shown to be optimal up to an additive constant for simple graphs. In this paper, we prove that the bound of $\frac{11}{2}n-11$ edges also holds for non-simple $3$-planar graphs that admit drawings in which non-homotopic parallel edges and self-loops are allowed. Based on this result, a characterization of \emph{optimal $3$-planar graphs} (that is, $3$-planar graphs with $n$ vertices and exactly $\frac{11}{2}n-11$ edges) might be possible, as to the best of our knowledge the densest known simple $3$-planar is not known to be optimal.
△ Less
Submitted 30 August, 2016; v1 submitted 16 February, 2016;
originally announced February 2016.
-
The Book Thickness of 1-Planar Graphs is Constant
Authors:
Michael A. Bekos,
Till Bruckdorfer,
Michael Kaufmann,
Chrysanthi N. Raftopoulou
Abstract:
In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, th…
▽ More
In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, the best non-trivial previous upper-bound is $O(\sqrt{n})$, where $n$ is the number of vertices of the graph.
△ Less
Submitted 30 March, 2015; v1 submitted 17 March, 2015;
originally announced March 2015.
-
Two-Page Book Embeddings of 4-Planar Graphs
Authors:
Michael A. Bekos,
Martin Gronemann,
Chrysanthi N. Raftopoulou
Abstract:
Back in the Eighties, Heath showed that every 3-planar graph is subhamiltonian and asked whether this result can be extended to a class of graphs of degree greater than three. In this paper we affirmatively answer this question for the class of 4-planar graphs. Our contribution consists of two algorithms: The first one is limited to triconnected graphs, but runs in linear time and uses existing me…
▽ More
Back in the Eighties, Heath showed that every 3-planar graph is subhamiltonian and asked whether this result can be extended to a class of graphs of degree greater than three. In this paper we affirmatively answer this question for the class of 4-planar graphs. Our contribution consists of two algorithms: The first one is limited to triconnected graphs, but runs in linear time and uses existing methods for computing hamiltonian cycles in planar graphs. The second one, which solves the general case of the problem, is a quadratic-time algorithm based on the book-embedding viewpoint of the problem.
△ Less
Submitted 3 January, 2014;
originally announced January 2014.