-
Unbent Collections of Orthogonal Drawings
Authors:
Todor Antić,
Giuseppe Liotta,
Tomáš Masařík,
Giacomo Ortali,
Matthias Pfretzschner,
Peter Stumpf,
Alexander Wolff,
Johannes Zink
Abstract:
Recently, there has been interest in representing single graphs by multiple drawings; for example, using graph stories, storyplans, or uncrossed collections. In this paper, we apply this idea to orthogonal graph drawing. Due to the orthogonal drawing style, we focus on plane 4-graphs, that is, planar graphs of maximum degree 4 whose embedding is fixed. Our goal is to represent any plane 4-graph…
▽ More
Recently, there has been interest in representing single graphs by multiple drawings; for example, using graph stories, storyplans, or uncrossed collections. In this paper, we apply this idea to orthogonal graph drawing. Due to the orthogonal drawing style, we focus on plane 4-graphs, that is, planar graphs of maximum degree 4 whose embedding is fixed. Our goal is to represent any plane 4-graph $G$ by an unbent collection, that is, a collection of orthogonal drawings of $G$ that adhere to the embedding of $G$ and ensure that each edge of $G$ is drawn without bends in at least one of the drawings. We investigate two objectives. First, we consider minimizing the number of drawings in an unbent collection. We prove that every plane 4-graph can be represented by a collection with at most three drawings, which is tight. We also give sufficient conditions for a graph to admit an unbent collection of size 2. Second, we consider minimizing the total number of bends over all drawings in an unbent collection. We show that this problem is NP-hard and give a 3-approximation algorithm. For the special case of plane triconnected cubic graphs, we show how to compute minimum-bend collections in linear time.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
$k$-planar Placement and Packing of $Δ$-regular Caterpillars
Authors:
Carla Binucci,
Emilio Di Giacomo,
Michael Kaufmann,
Giuseppe Liotta,
Alessandra Tappini
Abstract:
This paper studies a \emph{packing} problem in the so-called beyond-planar setting, that is when the host graph is ``almost-planar'' in some sense. Precisely, we consider the case that the host graph is $k$-planar, i.e., it admits an embedding with at most $k$ crossings per edge, and focus on families of $Δ$-regular caterpillars, that are caterpillars whose non-leaf vertices have the same degree…
▽ More
This paper studies a \emph{packing} problem in the so-called beyond-planar setting, that is when the host graph is ``almost-planar'' in some sense. Precisely, we consider the case that the host graph is $k$-planar, i.e., it admits an embedding with at most $k$ crossings per edge, and focus on families of $Δ$-regular caterpillars, that are caterpillars whose non-leaf vertices have the same degree $Δ$. We study the dependency of $k$ from the number $h$ of caterpillars that are packed, both in the case that these caterpillars are all isomorphic to one another (in which case the packing is called \emph{placement}) and when they are not. We give necessary and sufficient conditions for the placement of $h$ $Δ$-regular caterpillars and sufficient conditions for the packing of a set of $Δ_1$-, $Δ_2$-, $\dots$, $Δ_h$-regular caterpillars such that the degree $Δ_i$ and the degree $Δ_j$ of the non-leaf vertices can differ from one caterpillar to another, for $1 \leq i,j \leq h$, $i\neq j$.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Generalized LR-drawings of trees
Authors:
Therese Biedl,
Giuseppe Liotta,
Jayson Lynch,
Fabrizio Montecchiani
Abstract:
The LR-drawing-method is a method of drawing an ordered rooted binary tree based on drawing one root-to-leaf path on a vertical line and attaching recursively obtained drawings of the subtrees on the left and right. In this paper, we study how to generalize this drawing-method to trees of higher arity. We first prove that (with some careful modifications) the proof of existence of a special root-t…
▽ More
The LR-drawing-method is a method of drawing an ordered rooted binary tree based on drawing one root-to-leaf path on a vertical line and attaching recursively obtained drawings of the subtrees on the left and right. In this paper, we study how to generalize this drawing-method to trees of higher arity. We first prove that (with some careful modifications) the proof of existence of a special root-to-leaf path transfers to trees of higher arity. Then we use such paths to obtain generalized LR-drawings of trees of arbitrary arity.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
Packing Trees into 1-planar Graphs
Authors:
Felice De Luca,
Emilio Di Giacomo,
Seok-Hee Hong,
Stephen Kobourov,
William Lenhart,
Giuseppe Liotta,
Henk Meijer,
Alessandra Tappini,
Stephen Wismath
Abstract:
We introduce and study the 1-planar packing problem: Given $k$ graphs with $n$ vertices $G_1, \dots, G_k$, find a 1-planar graph that contains the given graphs as edge-disjoint spanning subgraphs. We mainly focus on the case when each $G_i$ is a tree and $k=3$. We prove that a triple consisting of three caterpillars or of two caterpillars and a path may not admit a 1-planar packing, while two path…
▽ More
We introduce and study the 1-planar packing problem: Given $k$ graphs with $n$ vertices $G_1, \dots, G_k$, find a 1-planar graph that contains the given graphs as edge-disjoint spanning subgraphs. We mainly focus on the case when each $G_i$ is a tree and $k=3$. We prove that a triple consisting of three caterpillars or of two caterpillars and a path may not admit a 1-planar packing, while two paths and a special type of caterpillar always have one. We then study 1-planar packings with few crossings and prove that three paths (resp. cycles) admit a 1-planar packing with at most seven (resp. fourteen) crossings. We finally show that a quadruple consisting of three paths and a perfect matching with $n \geq 12$ vertices admits a 1-planar packing, while such a packing does not exist if $n \leq 10$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Simple $k$-Planar Graphs are Simple $(k+1)$-Quasiplanar
Authors:
Patrizio Angelini,
Michael A. Bekos,
Franz J. Brandenburg,
Giordano Da Lozzo,
Giuseppe Di Battista,
Walter Didimo,
Michael Hoffmann,
Giuseppe Liotta,
Fabrizio Montecchiani,
Ignaz Rutter,
Csaba D. Tóth
Abstract:
A simple topological graph is $k$-quasiplanar ($k\geq 2$) if it contains no $k$ pairwise crossing edges, and $k$-planar if no edge is crossed more than $k$ times. In this paper, we explore the relationship between $k$-planarity and $k$-quasiplanarity to show that, for $k \geq 2$, every $k$-planar simple topological graph can be transformed into a $(k+1)$-quasiplanar simple topological graph.
A simple topological graph is $k$-quasiplanar ($k\geq 2$) if it contains no $k$ pairwise crossing edges, and $k$-planar if no edge is crossed more than $k$ times. In this paper, we explore the relationship between $k$-planarity and $k$-quasiplanarity to show that, for $k \geq 2$, every $k$-planar simple topological graph can be transformed into a $(k+1)$-quasiplanar simple topological graph.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
The QuaSEFE Problem
Authors:
Patrizio Angelini,
Henry Förster,
Michael Hoffmann,
Michael Kaufmann,
Stephen Kobourov,
Giuseppe Liotta,
Maurizio Patrignani
Abstract:
We initiate the study of Simultaneous Graph Embedding with Fixed Edges in the beyond planarity framework. In the QuaSEFE problem, we allow edge crossings, as long as each graph individually is drawn quasiplanar, that is, no three edges pairwise cross. We show that a triple consisting of two planar graphs and a tree admit a QuaSEFE. This result also implies that a pair consisting of a 1-planar grap…
▽ More
We initiate the study of Simultaneous Graph Embedding with Fixed Edges in the beyond planarity framework. In the QuaSEFE problem, we allow edge crossings, as long as each graph individually is drawn quasiplanar, that is, no three edges pairwise cross. We show that a triple consisting of two planar graphs and a tree admit a QuaSEFE. This result also implies that a pair consisting of a 1-planar graph and a planar graph admits a QuaSEFE. We show several other positive results for triples of planar graphs, in which certain structural properties for their common subgraphs are fulfilled. For the case in which simplicity is also required, we give a triple consisting of two quasiplanar graphs and a star that does not admit a QuaSEFE. Moreover, in contrast to the planar SEFE problem, we show that it is not always possible to obtain a QuaSEFE for two matchings if the quasiplanar drawing of one matching is fixed.
△ Less
Submitted 23 August, 2019;
originally announced August 2019.
-
Edge Partitions of Optimal $2$-plane and $3$-plane Graphs
Authors:
Michael Bekos,
Emilio Di Giacomo,
Walter Didimo,
Giuseppe Liotta,
Fabrizio Montecchiani,
Chrysanthi Raftopoulou
Abstract:
A topological graph is a graph drawn in the plane. A topological graph is $k$-plane, $k>0$, if each edge is crossed at most $k$ times. We study the problem of partitioning the edges of a $k$-plane graph such that each partite set forms a graph with a simpler structure. While this problem has been studied for $k=1$, we focus on optimal $2$-plane and $3$-plane graphs, which are $2$-plane and $3$-pla…
▽ More
A topological graph is a graph drawn in the plane. A topological graph is $k$-plane, $k>0$, if each edge is crossed at most $k$ times. We study the problem of partitioning the edges of a $k$-plane graph such that each partite set forms a graph with a simpler structure. While this problem has been studied for $k=1$, we focus on optimal $2$-plane and $3$-plane graphs, which are $2$-plane and $3$-plane graphs with maximum density. We prove the following results. (i) It is not possible to partition the edges of a simple optimal $2$-plane graph into a $1$-plane graph and a forest, while (ii) an edge partition formed by a $1$-plane graph and two plane forests always exists and can be computed in linear time. (iii) We describe efficient algorithms to partition the edges of a simple optimal $2$-plane graph into a $1$-plane graph and a plane graph with maximum vertex degree $12$, or with maximum vertex degree $8$ if the optimal $2$-plane graph is such that its crossing-free edges form a graph with no separating triangles. (iv) We exhibit an infinite family of simple optimal $2$-plane graphs such that in any edge partition composed of a $1$-plane graph and a plane graph, the plane graph has maximum vertex degree at least $6$ and the $1$-plane graph has maximum vertex degree at least $12$. (v) We show that every optimal $3$-plane graph whose crossing-free edges form a biconnected graph can be decomposed, in linear time, into a $2$-plane graph and two plane forests.
△ Less
Submitted 21 June, 2018; v1 submitted 28 February, 2018;
originally announced February 2018.
-
Colored Point-set Embeddings of Acyclic Graphs
Authors:
Emilio Di Giacomo,
Leszek Gasieniec,
Giuseppe Liotta,
Alfredo Navarra
Abstract:
We show that any planar drawing of a forest of three stars whose vertices are constrained to be at fixed vertex locations may require $Ω(n^\frac{2}{3})$ edges each having $Ω(n^\frac{1}{3})$ bends in the worst case. The lower bound holds even when the function that maps vertices to points is not a bijection but it is defined by a 3-coloring. In contrast, a constant number of bends per edge can be o…
▽ More
We show that any planar drawing of a forest of three stars whose vertices are constrained to be at fixed vertex locations may require $Ω(n^\frac{2}{3})$ edges each having $Ω(n^\frac{1}{3})$ bends in the worst case. The lower bound holds even when the function that maps vertices to points is not a bijection but it is defined by a 3-coloring. In contrast, a constant number of bends per edge can be obtained for 3-colored paths and for 3-colored caterpillars whose leaves all have the same color. Such results answer to a long standing open problem.
△ Less
Submitted 30 August, 2017;
originally announced August 2017.
-
Beyond Outerplanarity
Authors:
Steven Chaplick,
Myroslav Kryven,
Giuseppe Liotta,
Andre Löffler,
Alexander Wolff
Abstract:
We study straight-line drawings of graphs where the vertices are placed in convex position in the plane, i.e., \emph{convex drawings}. We consider two families of graph classes with convex drawings: \emph{outer $k$-planar} graphs, where each edge is crossed by at most $k$ other edges; and, \emph{outer $k$-quasi-planar} graphs where no $k$ edges can mutually cross.
We show that the outer $k$-plan…
▽ More
We study straight-line drawings of graphs where the vertices are placed in convex position in the plane, i.e., \emph{convex drawings}. We consider two families of graph classes with convex drawings: \emph{outer $k$-planar} graphs, where each edge is crossed by at most $k$ other edges; and, \emph{outer $k$-quasi-planar} graphs where no $k$ edges can mutually cross.
We show that the outer $k$-planar graphs are $\lfloor3.5\sqrt{k}\rfloor$-degenerate, and consequently that every outer $k$-planar graph can be colored with $\lfloor3.5\sqrt{k}\rfloor + 1$ colors. We further show that every outer $k$-planar graph has a balanced vertex separator of size at most $2k+3$. For each fixed $k$, these small balanced separators allow us to test outer $k$-planarity in quasi-polynomial time, e.g., this implies that none of these recognition problems is NP-hard unless the Exponential Time Hypothesis fails. We also show that the class of outer $k$-quasi-planar graphs and the class of planar graphs are incomparable.
Finally, we restrict outer $k$-planar and outer $k$-quasi-planar drawings to \emph{full} drawings (where no crossing appears on the boundary of the outer face) and to \emph{closed} drawings (where the vertex sequence on the boundary of the outer face is a Hamiltonian cycle in the graph). For each $k$, we express \emph{closed outer $k$-planarity} and \emph{closed outer $k$-quasi-planarity} in \emph{extended monadic second-order logic}. Due to a result of Wood and Telle (New York J. Math., 2007) every outer $k$-planar graph has treewidth at most $3k+11$. Thus, Courcelle's theorem implies that closed outer $k$-planarity is linear time testable. We leverage this result to further show that full outer $k$-planarity can also be tested in linear time.
△ Less
Submitted 25 January, 2024; v1 submitted 29 August, 2017;
originally announced August 2017.
-
On the Planar Split Thickness of Graphs
Authors:
David Eppstein,
Philipp Kindermann,
Stephen Kobourov,
Giuseppe Liotta,
Anna Lubiw,
Aude Maignan,
Debajyoti Mondal,
Hamideh Vosoughpour,
Sue Whitesides,
Stephen Wismath
Abstract:
Motivated by applications in graph drawing and information visualization, we examine the planar split thickness of a graph, that is, the smallest $k$ such that the graph is $k$-splittable into a planar graph. A $k$-split operation substitutes a vertex $v$ by at most $k$ new vertices such that each neighbor of $v$ is connected to at least one of the new vertices.
We first examine the planar split…
▽ More
Motivated by applications in graph drawing and information visualization, we examine the planar split thickness of a graph, that is, the smallest $k$ such that the graph is $k$-splittable into a planar graph. A $k$-split operation substitutes a vertex $v$ by at most $k$ new vertices such that each neighbor of $v$ is connected to at least one of the new vertices.
We first examine the planar split thickness of complete graphs, complete bipartite graphs, multipartite graphs, bounded degree graphs, and genus-1 graphs. We then prove that it is NP-hard to recognize graphs that are $2$-splittable into a planar graph, and show that one can approximate the planar split thickness of a graph within a constant factor. If the treewidth is bounded, then we can even verify $k$-splittability in linear time, for a constant $k$.
△ Less
Submitted 6 June, 2017; v1 submitted 15 December, 2015;
originally announced December 2015.
-
On Partitioning the Edges of 1-Plane Graphs
Authors:
William J. Lenhart,
Giuseppe Liotta,
Fabrizio Montecchiani
Abstract:
A 1-plane graph is a graph embedded in the plane such that each edge is crossed at most once. A 1-plane graph is optimal if it has maximum edge density. A red-blue edge coloring of an optimal 1-plane graph $G$ partitions the edge set of $G$ into blue edges and red edges such that no two blue edges cross each other and no two red edges cross each other. We prove the following: $(i)$ Every optimal 1…
▽ More
A 1-plane graph is a graph embedded in the plane such that each edge is crossed at most once. A 1-plane graph is optimal if it has maximum edge density. A red-blue edge coloring of an optimal 1-plane graph $G$ partitions the edge set of $G$ into blue edges and red edges such that no two blue edges cross each other and no two red edges cross each other. We prove the following: $(i)$ Every optimal 1-plane graph has a red-blue edge coloring such that the blue subgraph is maximal planar while the red subgraph has vertex degree at most four; this bound on the vertex degree is worst-case optimal. $(ii)$ A red-blue edge coloring may not always induce a red forest of bounded vertex degree. Applications of these results to graph augmentation and graph drawing are also discussed.
△ Less
Submitted 7 December, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.
-
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
Authors:
William Evans,
Michael Kaufmann,
William Lenhart,
Giuseppe Liotta,
Tamara Mchedlidze,
Stephen Wismath
Abstract:
A graph is called a strong (resp. weak) bar 1-visibility graph if its vertices can be represented as horizontal segments (bars) in the plane so that its edges are all (resp. a subset of) the pairs of vertices whose bars have a $ε$-thick vertical line connecting them that intersects at most one other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and other nearly p…
▽ More
A graph is called a strong (resp. weak) bar 1-visibility graph if its vertices can be represented as horizontal segments (bars) in the plane so that its edges are all (resp. a subset of) the pairs of vertices whose bars have a $ε$-thick vertical line connecting them that intersects at most one other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and other nearly planar graph classes. In particular, we study their relation to 1-planar graphs, which have a drawing with at most one crossing per edge; quasi-planar graphs, which have a drawing with no three mutually crossing edges; the squares of planar 1-flow networks, which are upward digraphs with in- or out-degree at most one. Our main results are that 1-planar graphs and the (undirected) squares of planar 1-flow networks are weak bar 1-visibility graphs and that these are quasi-planar graphs.
△ Less
Submitted 19 December, 2013;
originally announced December 2013.
-
Proximity Drawings of High-Degree Trees
Authors:
Ferran Hurtado,
Giuseppe Liotta,
David R. Wood
Abstract:
A drawing of a given (abstract) tree that is a minimum spanning tree of the vertex set is considered aesthetically pleasing. However, such a drawing can only exist if the tree has maximum degree at most 6. What can be said for trees of higher degree? We approach this question by supposing that a partition or covering of the tree by subtrees of bounded degree is given. Then we show that if the part…
▽ More
A drawing of a given (abstract) tree that is a minimum spanning tree of the vertex set is considered aesthetically pleasing. However, such a drawing can only exist if the tree has maximum degree at most 6. What can be said for trees of higher degree? We approach this question by supposing that a partition or covering of the tree by subtrees of bounded degree is given. Then we show that if the partition or covering satisfies some natural properties, then there is a drawing of the entire tree such that each of the given subtrees is drawn as a minimum spanning tree of its vertex set.
△ Less
Submitted 18 August, 2010;
originally announced August 2010.
