-
Mutual Witness Proximity Drawings of Isomorphic Trees
Authors:
Carolina Haase,
Philipp Kindermann,
William J. Lenhart,
Giuseppe Liotta
Abstract:
A pair $\langle G_0, G_1 \rangle$ of graphs admits a mutual witness proximity drawing $\langle Γ_0, Γ_1 \rangle$ when: (i) $Γ_i$ represents $G_i$, and (ii) there is an edge $(u,v)$ in $Γ_i$ if and only if there is no vertex $w$ in $Γ_{1-i}$ that is ``too close'' to both $u$ and $v$ ($i=0,1$). In this paper, we consider infinitely many definitions of closeness by adopting the $β$-proximity rule for…
▽ More
A pair $\langle G_0, G_1 \rangle$ of graphs admits a mutual witness proximity drawing $\langle Γ_0, Γ_1 \rangle$ when: (i) $Γ_i$ represents $G_i$, and (ii) there is an edge $(u,v)$ in $Γ_i$ if and only if there is no vertex $w$ in $Γ_{1-i}$ that is ``too close'' to both $u$ and $v$ ($i=0,1$). In this paper, we consider infinitely many definitions of closeness by adopting the $β$-proximity rule for any $β\in [1,\infty]$ and study pairs of isomorphic trees that admit a mutual witness $β$-proximity drawing. Specifically, we show that every two isomorphic trees admit a mutual witness $β$-proximity drawing for any $β\in [1,\infty]$. The constructive technique can be made ``robust'': For some tree pairs we can suitably prune linearly many leaves from one of the two trees and still retain their mutual witness $β$-proximity drawability. Notably, in the special case of isomorphic caterpillars and $β=1$, we construct linearly separable mutual witness Gabriel drawings.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Mutual Witness Gabriel Drawings of Complete Bipartite Graphs
Authors:
William J. Lenhart,
Giuseppe Liotta
Abstract:
Let $Γ$ be a straight-line drawing of a graph and let $u$ and $v$ be two vertices of $Γ$. The Gabriel disk of $u,v$ is the disk having $u$ and $v$ as antipodal points. A pair $\langle Γ_0,Γ_1 \rangle$ of vertex-disjoint straight-line drawings form a mutual witness Gabriel drawing when, for $i=0,1$, any two vertices $u$ and $v$ of $Γ_i$ are adjacent if and only if their Gabriel disk does not contai…
▽ More
Let $Γ$ be a straight-line drawing of a graph and let $u$ and $v$ be two vertices of $Γ$. The Gabriel disk of $u,v$ is the disk having $u$ and $v$ as antipodal points. A pair $\langle Γ_0,Γ_1 \rangle$ of vertex-disjoint straight-line drawings form a mutual witness Gabriel drawing when, for $i=0,1$, any two vertices $u$ and $v$ of $Γ_i$ are adjacent if and only if their Gabriel disk does not contain any vertex of $Γ_{1-i}$. We characterize the pairs $\langle G_0,G_1 \rangle $ of complete bipartite graphs that admit a mutual witness Gabriel drawing. The characterization leads to a linear time testing algorithm. We also show that when at least one of the graphs in the pair $\langle G_0, G_1 \rangle $ is complete $k$-partite with $k>2$ and all partition sets in the two graphs have size greater than one, the pair does not admit a mutual witness Gabriel drawing.
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
On the Complexity of the Storyplan Problem
Authors:
Carla Binucci,
Emilio Di Giacomo,
William J. Lenhart,
Giuseppe Liotta,
Fabrizio Montecchiani,
Martin Nöllenburg,
Antonios Symvonis
Abstract:
Motivated by dynamic graph visualization, we study the problem of representing a graph $G$ in the form of a \emph{storyplan}, that is, a sequence of frames with the following properties. Each frame is a planar drawing of the subgraph of $G$ induced by a suitably defined subset of its vertices. Between two consecutive frames, a new vertex appears while some other vertices may disappear, namely thos…
▽ More
Motivated by dynamic graph visualization, we study the problem of representing a graph $G$ in the form of a \emph{storyplan}, that is, a sequence of frames with the following properties. Each frame is a planar drawing of the subgraph of $G$ induced by a suitably defined subset of its vertices. Between two consecutive frames, a new vertex appears while some other vertices may disappear, namely those whose incident edges have already been drawn in at least one frame. In a storyplan, each vertex appears and disappears exactly once. For a vertex (edge) visible in a sequence of consecutive frames, the point (curve) representing it does not change throughout the sequence.
Note that the order in which the vertices of $G$ appear in the sequence of frames is a total order. In the \textsc{StoryPlan} problem, we are given a graph and we want to decide whether there exists a total order of its vertices for which a storyplan exists. We prove that the problem is NP-complete, and complement this hardness with two parameterized algorithms, one in the vertex cover number and one in the feedback edge set number of $G$. Also, we prove that partial $3$-trees always admit a storyplan, which can be computed in linear time. Finally, we show that the problem remains NP-complete in the case in which the total order of the vertices is given as part of the input and we have to choose how to draw the frames.
△ Less
Submitted 3 September, 2022; v1 submitted 1 September, 2022;
originally announced September 2022.
-
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.
-
(k,p)-Planarity: A Relaxation of Hybrid Planarity
Authors:
Emilio Di Giacomo,
William J. Lenhart,
Giuseppe Liotta,
Timothy W. Randolph,
Alessandra Tappini
Abstract:
We present a new model for hybrid planarity that relaxes existing hybrid representations. A graph $G = (V,E)$ is $(k,p)$-planar if $V$ can be partitioned into clusters of size at most $k$ such that $G$ admits a drawing where: (i) each cluster is associated with a closed, bounded planar region, called a cluster region; (ii) cluster regions are pairwise disjoint, (iii) each vertex $v \in V$ is ident…
▽ More
We present a new model for hybrid planarity that relaxes existing hybrid representations. A graph $G = (V,E)$ is $(k,p)$-planar if $V$ can be partitioned into clusters of size at most $k$ such that $G$ admits a drawing where: (i) each cluster is associated with a closed, bounded planar region, called a cluster region; (ii) cluster regions are pairwise disjoint, (iii) each vertex $v \in V$ is identified with at most $p$ distinct points, called \emph{ports}, on the boundary of its cluster region; (iv) each inter-cluster edge $(u,v) \in E$ is identified with a Jordan arc connecting a port of $u$ to a port of $v$; (v) inter-cluster edges do not cross or intersect cluster regions except at their endpoints. We first tightly bound the number of edges in a $(k,p)$-planar graph with $p<k$. We then prove that $(4,1)$-planarity testing and $(2,2)$-planarity testing are NP-complete problems. Finally, we prove that neither the class of $(2,2)$-planar graphs nor the class of $1$-planar graphs contains the other, indicating that the $(k,p)$-planar graphs are a large and novel class.
△ Less
Submitted 21 September, 2018; v1 submitted 29 June, 2018;
originally announced June 2018.
-
On the Edge-length Ratio of Outerplanar Graphs
Authors:
Sylvain Lazard,
William Lenhart,
Giuseppe Liotta
Abstract:
We show that any outerplanar graph admits a planar straightline drawing such that the length ratio of the longest to the shortest edges is strictly less than 2. This result is tight in the sense that for any $ε> 0$ there are outerplanar graphs that cannot be drawn with an edge-length ratio smaller than $2 - ε$. We also show that every bipartite outerplanar graph has a planar straight-line drawing…
▽ More
We show that any outerplanar graph admits a planar straightline drawing such that the length ratio of the longest to the shortest edges is strictly less than 2. This result is tight in the sense that for any $ε> 0$ there are outerplanar graphs that cannot be drawn with an edge-length ratio smaller than $2 - ε$. We also show that every bipartite outerplanar graph has a planar straight-line drawing with edge-length ratio 1, and that, for any $k \geq 1$, there exists an outerplanar graph with a given combinatorial embedding such that any planar straight-line drawing has edge-length ratio greater than k.
△ Less
Submitted 31 August, 2017;
originally announced September 2017.
-
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.
