-
Finding a Shortest Curve that Separates Few Objects from Many
Authors:
Therese Biedl,
Éric Colin de Verdière,
Fabrizio Frati,
Anna Lubiw,
Günter Rote
Abstract:
We present a fixed-parameter tractable (FPT) algorithm to find a shortest curve that encloses a set of k required objects in the plane while paying a penalty for enclosing unwanted objects.
The input is a set of interior-disjoint simple polygons in the plane, where k of the polygons are required to be enclosed and the remaining optional polygons have non-negative penalties. The goal is to find a…
▽ More
We present a fixed-parameter tractable (FPT) algorithm to find a shortest curve that encloses a set of k required objects in the plane while paying a penalty for enclosing unwanted objects.
The input is a set of interior-disjoint simple polygons in the plane, where k of the polygons are required to be enclosed and the remaining optional polygons have non-negative penalties. The goal is to find a closed curve that is disjoint from the polygon interiors and encloses the k required polygons, while minimizing the length of the curve plus the penalties of the enclosed optional polygons. If the penalties are high, the output is a shortest curve that separates the required polygons from the others. The problem is NP-hard if k is not fixed, even in very special cases. The runtime of our algorithm is $O(3^kn^3)$, where n is the number of vertices of the input polygons.
We extend the result to a graph version of the problem where the input is a connected plane graph with positive edge weights. There are k required faces; the remaining faces are optional and have non-negative penalties. The goal is to find a closed walk in the graph that encloses the k required faces, while minimizing the weight of the walk plus the penalties of the enclosed optional faces. We also consider an inverted version of the problem where the required objects must lie outside the curve. Our algorithms solve some other well-studied problems, such as geometric knapsack.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Large Induced Subgraphs of Bounded Degree in Outerplanar and Planar Graphs
Authors:
Marco D'Elia,
Fabrizio Frati
Abstract:
In this paper, we study the following question. Let $\mathcal G$ be a family of planar graphs and let $k\geq 3$ be an integer. What is the largest value $f_k(n)$ such that every $n$-vertex graph in $\mathcal G$ has an induced subgraph with degree at most $k$ and with $f_k(n)$ vertices? Similar questions, in which one seeks a large induced forest, or a large induced linear forest, or a large induce…
▽ More
In this paper, we study the following question. Let $\mathcal G$ be a family of planar graphs and let $k\geq 3$ be an integer. What is the largest value $f_k(n)$ such that every $n$-vertex graph in $\mathcal G$ has an induced subgraph with degree at most $k$ and with $f_k(n)$ vertices? Similar questions, in which one seeks a large induced forest, or a large induced linear forest, or a large induced $d$-degenerate graph, rather than a large induced graph of bounded degree, have been studied for decades and have given rise to some of the most fascinating and elusive conjectures in Graph Theory. We tackle our problem when $\mathcal G$ is the class of the outerplanar graphs or the class of the planar graphs. In both cases, we provide upper and lower bounds on the value of $f_k(n)$. For example, we prove that every $n$-vertex planar graph has an induced subgraph with degree at most $3$ and with $\frac{5n}{13}>0.384n$ vertices, and that there exist $n$-vertex planar graphs whose largest induced subgraph with degree at most $3$ has $\frac{4n}{7}+O(1)<0.572n+O(1)$ vertices.
△ Less
Submitted 5 April, 2025; v1 submitted 19 December, 2024;
originally announced December 2024.
-
Weakly Leveled Planarity with Bounded Span
Authors:
Michael Bekos,
Giordano Da Lozzo,
Fabrizio Frati,
Siddharth Gupta,
Philipp Kindermann,
Giuseppe Liotta,
Ignaz Rutter,
Ioannis G. Tollis
Abstract:
This paper studies planar drawings of graphs in which each vertex is represented as a point along a sequence of horizontal lines, called levels, and each edge is either a horizontal segment or a strictly $y$-monotone curve. A graph is $s$-span weakly leveled planar if it admits such a drawing where the edges have span at most $s$; the span of an edge is the number of levels it touches minus one. W…
▽ More
This paper studies planar drawings of graphs in which each vertex is represented as a point along a sequence of horizontal lines, called levels, and each edge is either a horizontal segment or a strictly $y$-monotone curve. A graph is $s$-span weakly leveled planar if it admits such a drawing where the edges have span at most $s$; the span of an edge is the number of levels it touches minus one. We investigate the problem of computing $s$-span weakly leveled planar drawings from both the computational and the combinatorial perspectives. We prove the problem to be para-NP-hard with respect to its natural parameter $s$ and investigate its complexity with respect to widely used structural parameters. We show the existence of a polynomial-size kernel with respect to vertex cover number and prove that the problem is FPT when parameterized by treedepth. We also present upper and lower bounds on the span for various graph classes.
Notably, we show that cycle trees, a family of $2$-outerplanar graphs generalizing Halin graphs, are $Θ(\log n)$-span weakly leveled planar and $4$-span weakly leveled planar when $3$-connected. As a byproduct of these combinatorial results, we obtain improved bounds on the edge-length ratio of the graph families under consideration.
△ Less
Submitted 29 December, 2024; v1 submitted 3 September, 2024;
originally announced September 2024.
-
Upward Pointset Embeddings of Planar st-Graphs
Authors:
Carlos Alegria,
Susanna Caroppo,
Giordano Da Lozzo,
Marco D'Elia,
Giuseppe Di Battista,
Fabrizio Frati,
Fabrizio Grosso,
Maurizio Patrignani
Abstract:
We study upward pointset embeddings (UPSEs) of planar $st$-graphs. Let $G$ be a planar $st$-graph and let $S \subset \mathbb{R}^2$ be a pointset with $|S|= |V(G)|$. An UPSE of $G$ on $S$ is an upward planar straight-line drawing of $G$ that maps the vertices of $G$ to the points of $S$. We consider both the problem of testing the existence of an UPSE of $G$ on $S$ (UPSE Testing) and the problem of…
▽ More
We study upward pointset embeddings (UPSEs) of planar $st$-graphs. Let $G$ be a planar $st$-graph and let $S \subset \mathbb{R}^2$ be a pointset with $|S|= |V(G)|$. An UPSE of $G$ on $S$ is an upward planar straight-line drawing of $G$ that maps the vertices of $G$ to the points of $S$. We consider both the problem of testing the existence of an UPSE of $G$ on $S$ (UPSE Testing) and the problem of enumerating all UPSEs of $G$ on $S$. We prove that UPSE Testing is NP-complete even for $st$-graphs that consist of a set of directed $st$-paths sharing only $s$ and $t$. On the other hand, if $G$ is an $n$-vertex planar $st$-graph whose maximum $st$-cutset has size $k$, then UPSE Testing can be solved in $O(n^{4k})$ time with $O(n^{3k})$ space; also, all the UPSEs of $G$ on $S$ can be enumerated with $O(n)$ worst-case delay, using $O(k n^{4k} \log n)$ space, after $O(k n^{4k} \log n)$ set-up time. Moreover, for an $n$-vertex $st$-graph whose underlying graph is a cycle, we provide a necessary and sufficient condition for the existence of an UPSE on a given pointset, which can be tested in $O(n \log n)$ time. Related to this result, we give an algorithm that, for a set $S$ of $n$ points, enumerates all the non-crossing monotone Hamiltonian cycles on $S$ with $O(n)$ worst-case delay, using $O(n^2)$ space, after $O(n^2)$ set-up time.
△ Less
Submitted 3 January, 2025; v1 submitted 30 August, 2024;
originally announced August 2024.
-
Efficient Enumeration of Drawings and Combinatorial Structures for Maximal Planar Graphs
Authors:
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Fabrizio Grosso,
Maurizio Patrignani
Abstract:
We propose efficient algorithms for enumerating the notorious combinatorial structures of maximal planar graphs, called canonical orderings and Schnyder woods, and the related classical graph drawings by de Fraysseix, Pach, and Pollack [Combinatorica, 1990] and by Schnyder [SODA, 1990], called canonical drawings and Schnyder drawings, respectively. To this aim (i) we devise an algorithm for enumer…
▽ More
We propose efficient algorithms for enumerating the notorious combinatorial structures of maximal planar graphs, called canonical orderings and Schnyder woods, and the related classical graph drawings by de Fraysseix, Pach, and Pollack [Combinatorica, 1990] and by Schnyder [SODA, 1990], called canonical drawings and Schnyder drawings, respectively. To this aim (i) we devise an algorithm for enumerating special $e$-bipolar orientations of maximal planar graphs, called canonical orientations; (ii) we establish bijections between canonical orientations and canonical drawings, and between canonical orientations and Schnyder drawings; and (iii) we exploit the known correspondence between canonical orientations and canonical orderings, and the known bijection between canonical orientations and Schnyder woods. All our enumeration algorithms have $O(n)$ setup time, space usage, and delay between any two consecutively listed outputs, for an $n$-vertex maximal planar graph.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Upward Planarity Testing of Biconnected Outerplanar DAGs Solves Partition
Authors:
Fabrizio Frati
Abstract:
We show an $O(n)$-time reduction from the problem of testing whether a multiset of positive integers can be partitioned into two multisets so that the sum of the integers in each multiset is equal to $n/2$ to the problem of testing whether an $n$-vertex biconnected outerplanar DAG admits an upward planar drawing. This constitutes the first barrier to the existence of efficient algorithms for testi…
▽ More
We show an $O(n)$-time reduction from the problem of testing whether a multiset of positive integers can be partitioned into two multisets so that the sum of the integers in each multiset is equal to $n/2$ to the problem of testing whether an $n$-vertex biconnected outerplanar DAG admits an upward planar drawing. This constitutes the first barrier to the existence of efficient algorithms for testing the upward planarity of DAGs with no large triconnected minor.
We also show a result in the opposite direction. Suppose that partitioning a multiset of positive integers into two multisets so that the sum of the integers in each multiset is $n/2$ can be solved in $f(n)$ time. Let $G$ be an $n$-vertex biconnected outerplanar DAG and $e$ be an edge incident to the outer face of an outerplanar drawing of $G$. Then it can be tested in $O(f(n))$ time whether $G$ admits an upward planar drawing with $e$ on the outer face.
△ Less
Submitted 23 December, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Morphing Planar Graph Drawings Through 3D
Authors:
Kevin Buchin,
Will Evans,
Fabrizio Frati,
Irina Kostitsyna,
Maarten Löffler,
Tim Ophelders,
Alexander Wolff
Abstract:
In this paper, we investigate crossing-free 3D morphs between planar straight-line drawings. We show that, for any two (not necessarily topologically equivalent) planar straight-line drawings of an $n$-vertex planar graph, there exists a piecewise-linear crossing-free 3D morph with $O(n^2)$ steps that transforms one drawing into the other. We also give some evidence why it is difficult to obtain a…
▽ More
In this paper, we investigate crossing-free 3D morphs between planar straight-line drawings. We show that, for any two (not necessarily topologically equivalent) planar straight-line drawings of an $n$-vertex planar graph, there exists a piecewise-linear crossing-free 3D morph with $O(n^2)$ steps that transforms one drawing into the other. We also give some evidence why it is difficult to obtain a linear lower bound (which exists in 2D) for the number of steps of a crossing-free 3D morph.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Unit-length Rectangular Drawings of Graphs
Authors:
Carlos Alegria,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Fabrizio Grosso,
Maurizio Patrignani
Abstract:
A rectangular drawing of a planar graph $G$ is a planar drawing of $G$ in which vertices are mapped to grid points, edges are mapped to horizontal and vertical straight-line segments, and faces are drawn as rectangles. Sometimes this latter constraint is relaxed for the outer face. In this paper, we study rectangular drawings in which the edges have unit length. We show a complexity dichotomy for…
▽ More
A rectangular drawing of a planar graph $G$ is a planar drawing of $G$ in which vertices are mapped to grid points, edges are mapped to horizontal and vertical straight-line segments, and faces are drawn as rectangles. Sometimes this latter constraint is relaxed for the outer face. In this paper, we study rectangular drawings in which the edges have unit length. We show a complexity dichotomy for the problem of deciding the existence of a unit-length rectangular drawing, depending on whether the outer face must also be drawn as a rectangle or not. Specifically, we prove that the problem is NP-complete for biconnected graphs when the drawing of the outer face is not required to be a rectangle, even if the sought drawing must respect a given planar embedding, whereas it is polynomial-time solvable, both in the fixed and the variable embedding settings, if the outer face is required to be drawn as a rectangle.
△ Less
Submitted 24 July, 2024; v1 submitted 30 August, 2022;
originally announced August 2022.
-
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.
-
Planar Straight-line Realizations of 2-Trees with Prescribed Edge Lengths
Authors:
Carlos Alegría,
Manuel Borrazzo,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani
Abstract:
We study a classic problem introduced thirty years ago by Eades and Wormald. Let $G=(V,E,λ)$ be a weighted planar graph, where $λ: E \rightarrow \mathbb{R}^+$ is a length function. The Fixed Edge-Length Planar Realization problem (FEPR for short) asks whether there exists a planar straight-line realization of $G$, i.e., a planar straight-line drawing of $G$ where the Euclidean length of each edge…
▽ More
We study a classic problem introduced thirty years ago by Eades and Wormald. Let $G=(V,E,λ)$ be a weighted planar graph, where $λ: E \rightarrow \mathbb{R}^+$ is a length function. The Fixed Edge-Length Planar Realization problem (FEPR for short) asks whether there exists a planar straight-line realization of $G$, i.e., a planar straight-line drawing of $G$ where the Euclidean length of each edge $e \in E$ is $λ(e)$.
Cabello, Demaine, and Rote showed that the FEPR problem is NP-hard, even when $λ$ assigns the same value to all the edges and the graph is triconnected. Since the existence of large triconnected minors is crucial to the known NP-hardness proofs, in this paper we investigate the computational complexity of the FEPR problem for weighted $2$-trees, which are $K_4$-minor free. We show its NP-hardness, even when $λ$ assigns to the edges only up to four distinct lengths. Conversely, we show that the FEPR problem is linear-time solvable when $λ$ assigns to the edges up to two distinct lengths, or when the input has a prescribed embedding. Furthermore, we consider the FEPR problem for weighted maximal outerplanar graphs and prove it to be linear-time solvable if their dual tree is a path, and cubic-time solvable if their dual tree is a caterpillar. Finally, we prove that the FEPR problem for weighted $2$-trees is slice-wise polynomial in the length of the longest path.
△ Less
Submitted 7 October, 2021; v1 submitted 28 August, 2021;
originally announced August 2021.
-
From Tutte to Floater and Gotsman: On the Resolution of Planar Straight-line Drawings and Morphs
Authors:
Giuseppe Di Battista,
Fabrizio Frati
Abstract:
The algorithm of Tutte for constructing convex planar straight-line drawings and the algorithm of Floater and Gotsman for constructing planar straight-line morphs are among the most popular graph drawing algorithms. In this paper, focusing on maximal plane graphs, we prove upper and lower bounds on the resolution of the planar straight-line drawings produced by Floater's algorithm, which is a broa…
▽ More
The algorithm of Tutte for constructing convex planar straight-line drawings and the algorithm of Floater and Gotsman for constructing planar straight-line morphs are among the most popular graph drawing algorithms. In this paper, focusing on maximal plane graphs, we prove upper and lower bounds on the resolution of the planar straight-line drawings produced by Floater's algorithm, which is a broad generalization of Tutte's algorithm. Further, we use such results in order to prove a lower bound on the resolution of the drawings of maximal plane graphs produced by Floater and Gotsman's morphing algorithm. Finally, we show that such a morphing algorithm might produce drawings with exponentially-small resolution, even when transforming drawings with polynomial resolution.
△ Less
Submitted 1 March, 2025; v1 submitted 21 August, 2021;
originally announced August 2021.
-
2-Level Quasi-Planarity or How Caterpillars Climb (SPQR-)Trees
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani
Abstract:
Given a bipartite graph $G=(V_b,V_r,E)$, the $2$-Level Quasi-Planarity problem asks for the existence of a drawing of $G$ in the plane such that the vertices in $V_b$ and in $V_r$ lie along two parallel lines $\ell_b$ and $\ell_r$, respectively, each edge in $E$ is drawn in the unbounded strip of the plane delimited by $\ell_b$ and $\ell_r$, and no three edges in $E$ pairwise cross.
We prove tha…
▽ More
Given a bipartite graph $G=(V_b,V_r,E)$, the $2$-Level Quasi-Planarity problem asks for the existence of a drawing of $G$ in the plane such that the vertices in $V_b$ and in $V_r$ lie along two parallel lines $\ell_b$ and $\ell_r$, respectively, each edge in $E$ is drawn in the unbounded strip of the plane delimited by $\ell_b$ and $\ell_r$, and no three edges in $E$ pairwise cross.
We prove that the $2$-Level Quasi-Planarity problem is NP-complete. This answers an open question of Dujmović, Pór, and Wood. Furthermore, we show that the problem becomes linear-time solvable if the ordering of the vertices in $V_b$ along $\ell_b$ is prescribed. Our contributions provide the first results on the computational complexity of recognizing quasi-planar graphs, which is a long-standing open question.
Our linear-time algorithm exploits several ingredients, including a combinatorial characterization of the positive instances of the problem in terms of the existence of a planar embedding with a caterpillar-like structure, and an SPQR-tree-based algorithm for testing the existence of such a planar embedding. Our algorithm builds upon a classification of the types of embeddings with respect to the structure of the portion of the caterpillar they contain and performs a computation of the realizable embedding types based on a succinct description of their features by means of constant-size gadgets.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
Schematic Representation of Large Biconnected Graphs
Authors:
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Marco Tais
Abstract:
Suppose that a biconnected graph is given, consisting of a large component plus several other smaller components, each separated from the main component by a separation pair. We investigate the existence and the computation time of schematic representations of the structure of such a graph where the main component is drawn as a disk, the vertices that take part in separation pairs are points on th…
▽ More
Suppose that a biconnected graph is given, consisting of a large component plus several other smaller components, each separated from the main component by a separation pair. We investigate the existence and the computation time of schematic representations of the structure of such a graph where the main component is drawn as a disk, the vertices that take part in separation pairs are points on the boundary of the disk, and the small components are placed outside the disk and are represented as non-intersecting lunes connecting their separation pairs. We consider several drawing conventions for such schematic representations, according to different ways to account for the size of the small components. We map the problem of testing for the existence of such representations to the one of testing for the existence of suitably constrained $1$-page book-embeddings and propose several polynomial-time algorithms.
△ Less
Submitted 27 October, 2020; v1 submitted 21 August, 2020;
originally announced August 2020.
-
Universal Geometric Graphs
Authors:
Fabrizio Frati,
Michael Hoffmann,
Csaba D. Tóth
Abstract:
We introduce and study the problem of constructing geometric graphs that have few vertices and edges and that are universal for planar graphs or for some sub-class of planar graphs; a geometric graph is \emph{universal} for a class $\mathcal H$ of planar graphs if it contains an embedding, i.e., a crossing-free drawing, of every graph in $\mathcal H$.
Our main result is that there exists a geome…
▽ More
We introduce and study the problem of constructing geometric graphs that have few vertices and edges and that are universal for planar graphs or for some sub-class of planar graphs; a geometric graph is \emph{universal} for a class $\mathcal H$ of planar graphs if it contains an embedding, i.e., a crossing-free drawing, of every graph in $\mathcal H$.
Our main result is that there exists a geometric graph with $n$ vertices and $O(n \log n)$ edges that is universal for $n$-vertex forests; this extends to the geometric setting a well-known graph-theoretic result by Chung and Graham, which states that there exists an $n$-vertex graph with $O(n \log n)$ edges that contains every $n$-vertex forest as a subgraph. Our $O(n \log n)$ bound on the number of edges cannot be improved, even if more than $n$ vertices are allowed.
We also prove that, for every positive integer $h$, every $n$-vertex convex geometric graph that is universal for $n$-vertex outerplanar graphs has a near-quadratic number of edges, namely $Ω_h(n^{2-1/h})$; this almost matches the trivial $O(n^2)$ upper bound given by the $n$-vertex complete convex geometric graph.
Finally, we prove that there exists an $n$-vertex convex geometric graph with $n$ vertices and $O(n \log n)$ edges that is universal for $n$-vertex caterpillars.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Planar Rectilinear Drawings of Outerplanar Graphs in Linear Time
Authors:
Fabrizio Frati
Abstract:
We show how to test in linear time whether an outerplanar graph admits a planar rectilinear drawing, both if the graph has a prescribed plane embedding that the drawing has to respect and if it does not. Our algorithm returns a planar rectilinear drawing if the graph admits one.
We show how to test in linear time whether an outerplanar graph admits a planar rectilinear drawing, both if the graph has a prescribed plane embedding that the drawing has to respect and if it does not. Our algorithm returns a planar rectilinear drawing if the graph admits one.
△ Less
Submitted 21 August, 2020; v1 submitted 12 June, 2020;
originally announced June 2020.
-
On the Area Requirements of Planar Greedy Drawings of Triconnected Planar Graphs
Authors:
Giordano Da Lozzo,
Anthony D'Angelo,
Fabrizio Frati
Abstract:
In this paper we study the area requirements of planar greedy drawings of triconnected planar graphs. Cao, Strelzoff, and Sun exhibited a family $\cal H$ of subdivisions of triconnected plane graphs and claimed that every planar greedy drawing of the graphs in $\mathcal H$ respecting the prescribed plane embedding requires exponential area. However, we show that every $n$-vertex graph in $\cal H$…
▽ More
In this paper we study the area requirements of planar greedy drawings of triconnected planar graphs. Cao, Strelzoff, and Sun exhibited a family $\cal H$ of subdivisions of triconnected plane graphs and claimed that every planar greedy drawing of the graphs in $\mathcal H$ respecting the prescribed plane embedding requires exponential area. However, we show that every $n$-vertex graph in $\cal H$ actually has a planar greedy drawing respecting the prescribed plane embedding on an $O(n)\times O(n)$ grid. This reopens the question whether triconnected planar graphs admit planar greedy drawings on a polynomial-size grid. Further, we provide evidence for a positive answer to the above question by proving that every $n$-vertex Halin graph admits a planar greedy drawing on an $O(n)\times O(n)$ grid. Both such results are obtained by actually constructing drawings that are convex and angle-monotone. Finally, we consider $α$-Schnyder drawings, which are angle-monotone and hence greedy if $α\leq 30^\circ$, and show that there exist planar triangulations for which every $α$-Schnyder drawing with a fixed $α<60^\circ$ requires exponential area for any resolution rule.
△ Less
Submitted 3 March, 2020; v1 submitted 1 March, 2020;
originally announced March 2020.
-
Drawing Graphs as Spanners
Authors:
Oswin Aichholzer,
Manuel Borrazzo,
Prosenjit Bose,
Jean Cardinal,
Fabrizio Frati,
Pat Morin,
Birgit Vogtenhuber
Abstract:
We study the problem of embedding graphs in the plane as good geometric spanners. That is, for a graph $G$, the goal is to construct a straight-line drawing $Γ$ of $G$ in the plane such that, for any two vertices $u$ and $v$ of $G$, the ratio between the minimum length of any path from $u$ to $v$ and the Euclidean distance between $u$ and $v$ is small. The maximum such ratio, over all pairs of ver…
▽ More
We study the problem of embedding graphs in the plane as good geometric spanners. That is, for a graph $G$, the goal is to construct a straight-line drawing $Γ$ of $G$ in the plane such that, for any two vertices $u$ and $v$ of $G$, the ratio between the minimum length of any path from $u$ to $v$ and the Euclidean distance between $u$ and $v$ is small. The maximum such ratio, over all pairs of vertices of $G$, is the spanning ratio of $Γ$.
First, we show that deciding whether a graph admits a straight-line drawing with spanning ratio $1$, a proper straight-line drawing with spanning ratio $1$, and a planar straight-line drawing with spanning ratio $1$ are NP-complete, $\exists \mathbb R$-complete, and linear-time solvable problems, respectively, where a drawing is proper if no two vertices overlap and no edge overlaps a vertex.
Second, we show that moving from spanning ratio $1$ to spanning ratio $1+ε$ allows us to draw every graph. Namely, we prove that, for every $ε>0$, every (planar) graph admits a proper (resp. planar) straight-line drawing with spanning ratio smaller than $1+ε$.
Third, our drawings with spanning ratio smaller than $1+ε$ have large edge-length ratio, that is, the ratio between the length of the longest edge and the length of the shortest edge is exponential. We show that this is sometimes unavoidable. More generally, we identify having bounded toughness as the criterion that distinguishes graphs that admit straight-line drawings with constant spanning ratio and polynomial edge-length ratio from graphs that require exponential edge-length ratio in any straight-line drawing with constant spanning ratio.
△ Less
Submitted 13 February, 2020;
originally announced February 2020.
-
How to Morph a Tree on a Small Grid
Authors:
Fidel Barrera-Cruz,
Manuel Borrazzo,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Vincenzo Roselli
Abstract:
In this paper we study planar morphs between straight-line planar grid drawings of trees. A morph consists of a sequence of morphing steps, where in a morphing step vertices move along straight-line trajectories at constant speed. We show how to construct planar morphs that simultaneously achieve a reduced number of morphing steps and a polynomially-bounded resolution. We assume that both the init…
▽ More
In this paper we study planar morphs between straight-line planar grid drawings of trees. A morph consists of a sequence of morphing steps, where in a morphing step vertices move along straight-line trajectories at constant speed. We show how to construct planar morphs that simultaneously achieve a reduced number of morphing steps and a polynomially-bounded resolution. We assume that both the initial and final drawings lie on the grid and we ensure that each morphing step produces a grid drawing; further, we consider both upward drawings of rooted trees and drawings of arbitrary trees.
△ Less
Submitted 27 September, 2019; v1 submitted 16 September, 2019;
originally announced September 2019.
-
Graph Stories in Small Area
Authors:
Manuel Borrazzo,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani
Abstract:
We study the problem of drawing a dynamic graph, where each vertex appears in the graph at a certain time and remains in the graph for a fixed amount of time, called the window size. This defines a graph story, i.e., a sequence of subgraphs, each induced by the vertices that are in the graph at the same time. The drawing of a graph story is a sequence of drawings of such subgraphs. To support read…
▽ More
We study the problem of drawing a dynamic graph, where each vertex appears in the graph at a certain time and remains in the graph for a fixed amount of time, called the window size. This defines a graph story, i.e., a sequence of subgraphs, each induced by the vertices that are in the graph at the same time. The drawing of a graph story is a sequence of drawings of such subgraphs. To support readability, we require that each drawing is straight-line and planar and that each vertex maintains its placement in all the drawings. Ideally, the area of the drawing of each subgraph should be a function of the window size, rather than a function of the size of the entire graph, which could be too large. We show that the graph stories of paths and trees can be drawn on a $2W \times 2W$ and on an $(8W + 1) \times (8W + 1)$ grid, respectively, where $W$ is the window size. These results are constructive and yield linear-time algorithms. Further, we show that there exist graph stories of planar graphs whose subgraphs cannot be drawn within an area that is only a function of $W$.
△ Less
Submitted 27 August, 2019; v1 submitted 25 August, 2019;
originally announced August 2019.
-
On the Planar Edge-Length Ratio of Planar Graphs
Authors:
Manuel Borrazzo,
Fabrizio Frati
Abstract:
The edge-length ratio of a straight-line drawing of a graph is the ratio between the lengths of the longest and of the shortest edge in the drawing. The planar edge-length ratio of a planar graph is the minimum edge-length ratio of any planar straight-line drawing of the graph.
In this paper, we study the planar edge-length ratio of planar graphs. We prove that there exist $n$-vertex planar grap…
▽ More
The edge-length ratio of a straight-line drawing of a graph is the ratio between the lengths of the longest and of the shortest edge in the drawing. The planar edge-length ratio of a planar graph is the minimum edge-length ratio of any planar straight-line drawing of the graph.
In this paper, we study the planar edge-length ratio of planar graphs. We prove that there exist $n$-vertex planar graphs whose planar edge-length ratio is in $Ω(n)$; this bound is tight. We also prove upper bounds on the planar edge-length ratio of several families of planar graphs, including series-parallel graphs and bipartite planar graphs.
△ Less
Submitted 11 April, 2020; v1 submitted 9 August, 2019;
originally announced August 2019.
-
On the Area Requirements of Planar Straight-Line Orthogonal Drawings of Ternary Trees
Authors:
Barbara Covella,
Fabrizio Frati,
Maurizio Patrignani
Abstract:
In this paper, we study the area requirements of planar straight-line orthogonal drawings of ternary trees. We prove that every ternary tree admits such a drawing in sub-quadratic area. Further, we present upper bounds, the outcomes of an experimental evaluation, and a conjecture on the area requirements of planar straight-line orthogonal drawings of complete ternary trees. Finally, we present a p…
▽ More
In this paper, we study the area requirements of planar straight-line orthogonal drawings of ternary trees. We prove that every ternary tree admits such a drawing in sub-quadratic area. Further, we present upper bounds, the outcomes of an experimental evaluation, and a conjecture on the area requirements of planar straight-line orthogonal drawings of complete ternary trees. Finally, we present a polynomial lower bound on the length of the minimum side of any planar straight-line orthogonal drawing of a complete ternary tree.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Extending Upward Planar Graph Drawings
Authors:
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati
Abstract:
In this paper we study the computational complexity of the Upward Planarity Extension problem, which takes in input an upward planar drawing $Γ_H$ of a subgraph $H$ of a directed graph $G$ and asks whether $Γ_H$ can be extended to an upward planar drawing of $G$. Our study fits into the line of research on the extensibility of partial representations, which has recently become a mainstream in Grap…
▽ More
In this paper we study the computational complexity of the Upward Planarity Extension problem, which takes in input an upward planar drawing $Γ_H$ of a subgraph $H$ of a directed graph $G$ and asks whether $Γ_H$ can be extended to an upward planar drawing of $G$. Our study fits into the line of research on the extensibility of partial representations, which has recently become a mainstream in Graph Drawing.
We show the following results.
First, we prove that the Upward Planarity Extension problem is NP-complete, even if $G$ has a prescribed upward embedding, the vertex set of $H$ coincides with the one of $G$, and $H$ contains no edge.
Second, we show that the Upward Planarity Extension problem can be solved in $O(n \log n)$ time if $G$ is an $n$-vertex upward planar $st$-graph. This result improves upon a known $O(n^2)$-time algorithm, which however applies to all $n$-vertex single-source upward planar graphs.
Finally, we show how to solve in polynomial time a surprisingly difficult version of the Upward Planarity Extension problem, in which $G$ is a directed path or cycle with a prescribed upward embedding, $H$ contains no edges, and no two vertices share the same $y$-coordinate in $Γ_H$.
△ Less
Submitted 18 February, 2019;
originally announced February 2019.
-
Site selective spin and orbital excitations in Fe3O4
Authors:
H. Elnaggar,
R. Wang,
S. Lafuerza,
E. Paris,
A. C. Komarek,
H. Guo,
Y. Tseng,
D. McNally,
F. Frati,
M. W. Haverkort,
M. Sikora,
T. Schmitt,
F. M. F. de Groot
Abstract:
$Fe_3O_4$ is a mixed-valence strongly correlated transition metal oxide which displays the intriguing metal to insulator Verwey transition. Here we investigate the electronic and magnetic structure of $Fe_3O_4…
▽ More
$Fe_3O_4$ is a mixed-valence strongly correlated transition metal oxide which displays the intriguing metal to insulator Verwey transition. Here we investigate the electronic and magnetic structure of $Fe_3O_4$ by a unique combination of high-resolution Fe 2p3d resonant inelastic scattering magnetic circular (RIXS-MCD) and magnetic linear (RIXS-MLD) dichroism. We show that by coupling the site selectivity of RIXS with the magnetic selectivity imposed by the incident polarization handedness, we can unambiguously identify spin-flip excitations and quantify the exchange interaction of the different sublattices. Furthermore, our RIXS-MLD measurements show spin-orbital excitations that exhibit strong polarization and magnetic field dependence. Guided by theoretical simulations, we reveal that the angular dependence arises from a strong interplay between trigonal crystal-field, magnetic exchange and spin-orbit interaction at the nominal $Fe^{2+}$ sites. Our results highlight the capabilities of RIXS magnetic dichroism studies to investigate the ground state of complex systems where in-equivalent sites and bonds are simultaneously present.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
Every Collinear Set in a Planar Graph Is Free
Authors:
Vida Dujmović,
Fabrizio Frati,
Daniel Gonçalves,
Pat Morin,
Günter Rote
Abstract:
We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which the vertices in $S$ are mapped to the points in $X$. This solves an open problem posed by Ravsky and Verbitsky in 2008. In their terminology, we show that every…
▽ More
We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which the vertices in $S$ are mapped to the points in $X$. This solves an open problem posed by Ravsky and Verbitsky in 2008. In their terminology, we show that every collinear set is free.
This result has applications in graph drawing, including untangling, column planarity, universal point subsets, and partial simultaneous drawings.
△ Less
Submitted 8 November, 2018;
originally announced November 2018.
-
Upward Planar Morphs
Authors:
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Vincenzo Roselli
Abstract:
We prove that, given two topologically-equivalent upward planar straight-line drawings of an $n$-vertex directed graph $G$, there always exists a morph between them such that all the intermediate drawings of the morph are upward planar and straight-line. Such a morph consists of $O(1)$ morphing steps if $G$ is a reduced planar $st$-graph, $O(n)$ morphing steps if $G$ is a planar $st$-graph,…
▽ More
We prove that, given two topologically-equivalent upward planar straight-line drawings of an $n$-vertex directed graph $G$, there always exists a morph between them such that all the intermediate drawings of the morph are upward planar and straight-line. Such a morph consists of $O(1)$ morphing steps if $G$ is a reduced planar $st$-graph, $O(n)$ morphing steps if $G$ is a planar $st$-graph, $O(n)$ morphing steps if $G$ is a reduced upward planar graph, and $O(n^2)$ morphing steps if $G$ is a general upward planar graph. Further, we show that $Ω(n)$ morphing steps might be necessary for an upward planar morph between two topologically-equivalent upward planar straight-line drawings of an $n$-vertex path.
△ Less
Submitted 12 October, 2018; v1 submitted 31 August, 2018;
originally announced August 2018.
-
Pole Dancing: 3D Morphs for Tree Drawings
Authors:
Elena Arseneva,
Prosenjit Bose,
Pilar Cano,
Anthony D'Angelo,
Vida Dujmovic,
Fabrizio Frati,
Stefan Langerman,
Alessandra Tappini
Abstract:
We study the question whether a crossing-free 3D morph between two straight-line drawings of an $n$-vertex tree can be constructed consisting of a small number of linear morphing steps. We look both at the case in which the two given drawings are two-dimensional and at the one in which they are three-dimensional. In the former setting we prove that a crossing-free 3D morph always exists with…
▽ More
We study the question whether a crossing-free 3D morph between two straight-line drawings of an $n$-vertex tree can be constructed consisting of a small number of linear morphing steps. We look both at the case in which the two given drawings are two-dimensional and at the one in which they are three-dimensional. In the former setting we prove that a crossing-free 3D morph always exists with $O(\log n)$ steps, while for the latter $Θ(n)$ steps are always sufficient and sometimes necessary.
△ Less
Submitted 3 September, 2018; v1 submitted 31 August, 2018;
originally announced August 2018.
-
Excitonic dispersion of the intermediate-spin state in LaCoO$_3$ revealed by resonant inelastic X-ray scattering
Authors:
Ru-Pan Wang,
Atsushi Hariki,
Andrii Sotnikov,
Federica Frati,
Jun Okamoto,
Hsiao-Yu Huang,
Amol Singh,
Di-Jing Huang,
Keisuke Tomiyasu,
Chao-Hung Du,
Jan Kuneš,
Frank M. F. de Groot
Abstract:
More than 50 years ago the electron-hole attraction was proposed to drive narrow gap semiconductors or semimetals to a new phase, the excitonic insulator. The experimental proof of its existence in bulk materials remains elusive. In strongly correlated insulators, the proximity of the excitonic insulator phase is reflected by the presence of dispersive electron-hole excitations with a small gap ab…
▽ More
More than 50 years ago the electron-hole attraction was proposed to drive narrow gap semiconductors or semimetals to a new phase, the excitonic insulator. The experimental proof of its existence in bulk materials remains elusive. In strongly correlated insulators, the proximity of the excitonic insulator phase is reflected by the presence of dispersive electron-hole excitations with a small gap above a singlet ground state. Recently, such an excitation spectrum was proposed to be realized in perovskite oxide LaCoO$_3$. In this Letter we use Co $L_3$-edge resonant inelastic X-ray scattering to put this proposal to experimental test.
△ Less
Submitted 7 August, 2018; v1 submitted 13 December, 2017;
originally announced December 2017.
-
Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017)
Authors:
Fabrizio Frati,
Kwan-Liu Ma
Abstract:
This is the arXiv index for the electronic proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017), which was held in Boston, U.S.A., September 25-27 2017. It contains the peer-reviewed and revised accepted papers with an optional appendix.
This is the arXiv index for the electronic proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017), which was held in Boston, U.S.A., September 25-27 2017. It contains the peer-reviewed and revised accepted papers with an optional appendix.
△ Less
Submitted 13 September, 2017;
originally announced September 2017.
-
Pay-with-a-Selfie, a human-centred digital payment system
Authors:
Ernesto Damiani,
Perpetus Jacques Houngbo,
Rasool Asal,
Stelvio Cimato,
Fulvio Frati,
Joel T. Honsou,
Dina Shehada,
Chan Yeob Yeun
Abstract:
Mobile payment systems are increasingly used to simplify the way in which money transfers and transactions can be performed. We argue that, to achieve their full potential as economic boosters in developing countries, mobile payment systems need to rely on new metaphors suitable for the business models, lifestyle, and technology availability conditions of the targeted communities. The Pay-with-a-G…
▽ More
Mobile payment systems are increasingly used to simplify the way in which money transfers and transactions can be performed. We argue that, to achieve their full potential as economic boosters in developing countries, mobile payment systems need to rely on new metaphors suitable for the business models, lifestyle, and technology availability conditions of the targeted communities. The Pay-with-a-Group-Selfie (PGS) project, funded by the Melinda & Bill Gates Foundation, has developed a micro-payment system that supports everyday small transactions by extending the reach of, rather than substituting, existing payment frameworks. PGS is based on a simple gesture and a readily understandable metaphor. The gesture - taking a selfie - has become part of the lifestyle of mobile phone users worldwide, including non-technology-savvy ones. The metaphor likens computing two visual shares of the selfie to ripping a banknote in two, a technique used for decades for delayed payment in cash-only markets. PGS is designed to work with devices with limited computational power and when connectivity is patchy or not always available. Thanks to visual cryptography techniques PGS uses for computing the shares, the original selfie can be recomposed simply by stacking the shares, preserving the analogy with re-joining the two parts of the banknote.
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
On Planar Greedy Drawings of 3-Connected Planar Graphs
Authors:
Giordano Da Lozzo,
Anthony D'Angelo,
Fabrizio Frati
Abstract:
A graph drawing is $\textit{greedy}$ if, for every ordered pair of vertices $(x,y)$, there is a path from $x$ to $y$ such that the Euclidean distance to $y$ decreases monotonically at every vertex of the path. Greedy drawings support a simple geometric routing scheme, in which any node that has to send a packet to a destination "greedily" forwards the packet to any neighbor that is closer to the d…
▽ More
A graph drawing is $\textit{greedy}$ if, for every ordered pair of vertices $(x,y)$, there is a path from $x$ to $y$ such that the Euclidean distance to $y$ decreases monotonically at every vertex of the path. Greedy drawings support a simple geometric routing scheme, in which any node that has to send a packet to a destination "greedily" forwards the packet to any neighbor that is closer to the destination than itself, according to the Euclidean distance in the drawing. In a greedy drawing such a neighbor always exists and hence this routing scheme is guaranteed to succeed.
In 2004 Papadimitriou and Ratajczak stated two conjectures related to greedy drawings. The $\textit{greedy embedding conjecture}$ states that every $3$-connected planar graph admits a greedy drawing. The $\textit{convex greedy embedding conjecture}$ asserts that every $3$-connected planar graph admits a planar greedy drawing in which the faces are delimited by convex polygons. In 2008 the greedy embedding conjecture was settled in the positive by Leighton and Moitra.
In this paper we prove that every $3$-connected planar graph admits a $\textit{planar}$ greedy drawing. Apart from being a strengthening of Leighton and Moitra's result, this theorem constitutes a natural intermediate step towards a proof of the convex greedy embedding conjecture.
△ Less
Submitted 2 January, 2017; v1 submitted 29 December, 2016;
originally announced December 2016.
-
Balotage in Argentina 2015, a sentiment analysis of tweets
Authors:
Daniel Robins,
Fernando Emmanuel Frati,
Jonatan Alvarez,
Jose Texier
Abstract:
Twitter social network contains a large amount of information generated by its users. That information is composed of opinions and comments that may reflect trends in social behavior. There is talk of trend when it is possible to identify opinions and comments geared towards the same shared by a lot of people direction. To determine if two or more written opinions share the same address, technique…
▽ More
Twitter social network contains a large amount of information generated by its users. That information is composed of opinions and comments that may reflect trends in social behavior. There is talk of trend when it is possible to identify opinions and comments geared towards the same shared by a lot of people direction. To determine if two or more written opinions share the same address, techniques Natural Language Processing (NLP) are used. This paper proposes a methodology for predicting reflected in Twitter from the use of sentiment analysis functions NLP based on social behaviors. The case study was selected the 2015 Presidential in Argentina, and a software architecture Big Data composed Vertica data base with the component called Pulse was used. Through the analysis it was possible to detect trends in voting intentions with regard to the presidential candidates, achieving greater accuracy in predicting that achieved with traditional systems surveys.
△ Less
Submitted 7 November, 2016;
originally announced November 2016.
-
LR-Drawings of Ordered Rooted Binary Trees and Near-Linear Area Drawings of Outerplanar Graphs
Authors:
Fabrizio Frati,
Maurizio Patrignani,
Vincenzo Roselli
Abstract:
In this paper we study a family of algorithms, introduced by Chan [SODA 1999] and called LR-algorithms, for drawing ordered rooted binary trees. In particular, we are interested in constructing LR-drawings (that are drawings obtained via LR-algorithms) with small width. Chan showed three different LR-algorithms that achieve, for an ordered rooted binary tree with $n$ nodes, width $O(n^{0.695})$, w…
▽ More
In this paper we study a family of algorithms, introduced by Chan [SODA 1999] and called LR-algorithms, for drawing ordered rooted binary trees. In particular, we are interested in constructing LR-drawings (that are drawings obtained via LR-algorithms) with small width. Chan showed three different LR-algorithms that achieve, for an ordered rooted binary tree with $n$ nodes, width $O(n^{0.695})$, width $O(n^{0.5})$, and width $O(n^{0.48})$.
We prove that, for every $n$-node ordered rooted binary tree, an LR-drawing with minimum width can be constructed in $O(n^{1.48})$ time. Further, we show an infinite family of $n$-node ordered rooted binary trees requiring $Ω(n^{0.418})$ width in any LR-drawing; no lower bound better than $Ω(\log n)$ was previously known. Finally, we present the results of an experimental evaluation that allowed us to determine the minimum width of all the ordered rooted binary trees with up to $451$ nodes.
Our interest in LR-drawings is mainly motivated by a result of Di Battista and Frati [Algorithmica 2009], who proved that $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(n^{1.48})$ area by means of a drawing algorithm which resembles an LR-algorithm.
We deepen the connection between LR-drawings and outerplanar straight-line drawings by proving that, if $n$-node ordered rooted binary trees have LR-drawings with $f(n)$ width, for any function $f(n)$, then $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(f(n))$ area.
Finally, we exploit a structural decomposition for ordered rooted binary trees introduced by Chan in order to prove that every $n$-vertex outerplanar graph has an outerplanar straight-line drawing in $O(n\cdot 2^{\sqrt{2 \log_2 n}} \sqrt{\log n})$ area.
△ Less
Submitted 22 October, 2016; v1 submitted 10 October, 2016;
originally announced October 2016.
-
Computing NodeTrix Representations of Clustered Graphs
Authors:
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani
Abstract:
NodeTrix representations are a popular way to visualize clustered graphs; they represent clusters as adjacency matrices and inter-cluster edges as curves connecting the matrix boundaries. We study the complexity of constructing NodeTrix representations focusing on planarity testing problems, and we show several NP-completeness results and some polynomial-time algorithms. Building on such algorithm…
▽ More
NodeTrix representations are a popular way to visualize clustered graphs; they represent clusters as adjacency matrices and inter-cluster edges as curves connecting the matrix boundaries. We study the complexity of constructing NodeTrix representations focusing on planarity testing problems, and we show several NP-completeness results and some polynomial-time algorithms. Building on such algorithms we develop a JavaScript library for NodeTrix representations aimed at reducing the crossings between edges incident to the same matrix.
△ Less
Submitted 9 September, 2016; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Stack and Queue Layouts via Layered Separators
Authors:
Vida Dujmović,
Fabrizio Frati
Abstract:
It is known that every proper minor-closed class of graphs has bounded stack-number (a.k.a. book thickness and page number). While this includes notable graph families such as planar graphs and graphs of bounded genus, many other graph families are not closed under taking minors. For fixed $g$ and $k$, we show that every $n$-vertex graph that can be embedded on a surface of genus $g$ with at most…
▽ More
It is known that every proper minor-closed class of graphs has bounded stack-number (a.k.a. book thickness and page number). While this includes notable graph families such as planar graphs and graphs of bounded genus, many other graph families are not closed under taking minors. For fixed $g$ and $k$, we show that every $n$-vertex graph that can be embedded on a surface of genus $g$ with at most $k$ crossings per edge has stack-number $\mathcal{O}(\log n)$; this includes $k$-planar graphs. The previously best known bound for the stack-number of these families was $\mathcal{O}(\sqrt{n})$, except in the case of $1$-planar graphs. Analogous results are proved for map graphs that can be embedded on a surface of fixed genus. None of these families is closed under taking minors. The main ingredient in the proof of these results is a construction proving that $n$-vertex graphs that admit constant layered separators have $\mathcal{O}(\log n)$ stack-number.
△ Less
Submitted 23 August, 2016;
originally announced August 2016.
-
Drawing Planar Graphs with Many Collinear Vertices
Authors:
Giordano Da Lozzo,
Vida Dujmovic,
Fabrizio Frati,
Tamara Mchedlidze,
Vincenzo Roselli
Abstract:
Consider the following problem: Given a planar graph $G$, what is the maximum number $p$ such that $G$ has a planar straight-line drawing with $p$ collinear vertices? This problem resides at the core of several graph drawing problems, including universal point subsets, untangling, and column planarity. The following results are known for it: Every $n$-vertex planar graph has a planar straight-line…
▽ More
Consider the following problem: Given a planar graph $G$, what is the maximum number $p$ such that $G$ has a planar straight-line drawing with $p$ collinear vertices? This problem resides at the core of several graph drawing problems, including universal point subsets, untangling, and column planarity. The following results are known for it: Every $n$-vertex planar graph has a planar straight-line drawing with $Ω(\sqrt{n})$ collinear vertices; for every $n$, there is an $n$-vertex planar graph whose every planar straight-line drawing has $O(n^σ)$ collinear vertices, where $σ<0.986$; every $n$-vertex planar graph of treewidth at most two has a planar straight-line drawing with $Θ(n)$ collinear vertices. We extend the linear bound to planar graphs of treewidth at most three and to triconnected cubic planar graphs. This (partially) answers two open problems posed by Ravsky and Verbitsky [WG 2011:295--306]. Similar results are not possible for all bounded treewidth planar graphs or for all bounded degree planar graphs. For planar graphs of treewidth at most three, our results also imply asymptotically tight bounds for all of the other above mentioned graph drawing problems.
△ Less
Submitted 31 August, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.
-
How to morph planar graph drawings
Authors:
Soroush Alamdari,
Patrizio Angelini,
Fidel Barrera-Cruz,
Timothy M. Chan,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Penny Haxell,
Anna Lubiw,
Maurizio Patrignani,
Vincenzo Roselli,
Sahil Singla,
Bryan T. Wilkinson
Abstract:
Given an $n$-vertex graph and two straight-line planar drawings of the graph that have the same faces and the same outer face, we show that there is a morph (i.e., a continuous transformation) between the two drawings that preserves straight-line planarity and consists of $O(n)$ steps, which we prove is optimal in the worst case. Each step is a unidirectional linear morph, which means that every v…
▽ More
Given an $n$-vertex graph and two straight-line planar drawings of the graph that have the same faces and the same outer face, we show that there is a morph (i.e., a continuous transformation) between the two drawings that preserves straight-line planarity and consists of $O(n)$ steps, which we prove is optimal in the worst case. Each step is a unidirectional linear morph, which means that every vertex moves at constant speed along a straight line, and the lines are parallel although the vertex speeds may differ. Thus we provide an efficient version of Cairns' 1944 proof of the existence of straight-line planarity-preserving morphs for triangulated graphs, which required an exponential number of steps.
△ Less
Submitted 1 June, 2016;
originally announced June 2016.
-
Beyond Level Planarity
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Ignaz Rutter
Abstract:
In this paper we settle the computational complexity of two open problems related to the extension of the notion of level planarity to surfaces different from the plane. Namely, we show that the problems of testing the existence of a level embedding of a level graph on the surface of the rolling cylinder or on the surface of the torus, respectively known by the name of…
▽ More
In this paper we settle the computational complexity of two open problems related to the extension of the notion of level planarity to surfaces different from the plane. Namely, we show that the problems of testing the existence of a level embedding of a level graph on the surface of the rolling cylinder or on the surface of the torus, respectively known by the name of $\textit{Cyclic Level Planarity}$ and $\textit{Torus Level Planarity}$, are polynomial-time solvable.
Moreover, we show a complexity dichotomy for testing the $\textit{Simultaneous Level Planarity}$ of a set of level graphs, with respect to both the number of level graphs and the number of levels.
△ Less
Submitted 29 August, 2016; v1 submitted 28 October, 2015;
originally announced October 2015.
-
Simultaneous Embeddings with Few Bends and Crossings
Authors:
Fabrizio Frati,
Michael Hoffmann,
Vincent Kusters
Abstract:
A simultaneous embedding with fixed edges (SEFE) of two planar graphs $R$ and $B$ is a pair of plane drawings of $R$ and $B$ that coincide when restricted to the common vertices and edges of $R$ and $B$. We show that whenever $R$ and $B$ admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve with few bends and every pair of edges has few crossings. Specifically: (1) if $R$ a…
▽ More
A simultaneous embedding with fixed edges (SEFE) of two planar graphs $R$ and $B$ is a pair of plane drawings of $R$ and $B$ that coincide when restricted to the common vertices and edges of $R$ and $B$. We show that whenever $R$ and $B$ admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve with few bends and every pair of edges has few crossings. Specifically: (1) if $R$ and $B$ are trees then one bend per edge and four crossings per edge pair suffice (and one bend per edge is sometimes necessary), (2) if $R$ is a planar graph and $B$ is a tree then six bends per edge and eight crossings per edge pair suffice, and (3) if $R$ and $B$ are planar graphs then six bends per edge and sixteen crossings per edge pair suffice. Our results improve on a paper by Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge pair suffice.
△ Less
Submitted 31 August, 2015;
originally announced August 2015.
-
Intersection-Link Representations of Graphs
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Ignaz Rutter
Abstract:
We consider drawings of graphs that contain dense subgraphs. We introduce intersection-link representations for such graphs, in which each vertex $u$ is represented by a geometric object $R(u)$ and in which each edge $(u,v)$ is represented by the intersection between $R(u)$ and $R(v)$ if it belongs to a dense subgraph or by a curve connecting the boundaries of $R(u)$ and $R(v)$ otherwise. We study…
▽ More
We consider drawings of graphs that contain dense subgraphs. We introduce intersection-link representations for such graphs, in which each vertex $u$ is represented by a geometric object $R(u)$ and in which each edge $(u,v)$ is represented by the intersection between $R(u)$ and $R(v)$ if it belongs to a dense subgraph or by a curve connecting the boundaries of $R(u)$ and $R(v)$ otherwise. We study a notion of planarity, called Clique Planarity, for intersection-link representations of graphs in which the dense subgraphs are cliques.
△ Less
Submitted 30 August, 2015;
originally announced August 2015.
-
A Lower Bound on the Diameter of the Flip Graph
Authors:
Fabrizio Frati
Abstract:
The flip graph is the graph whose nodes correspond to non-isomorphic combinatorial triangulations and whose edges connect pairs of triangulations that can be obtained one from the other by flipping a single edge. In this note we show that the diameter of the flip graph is at least $\frac{7n}{3} + Θ(1)$, improving upon the previous $2n + Θ(1)$ lower bound.
The flip graph is the graph whose nodes correspond to non-isomorphic combinatorial triangulations and whose edges connect pairs of triangulations that can be obtained one from the other by flipping a single edge. In this note we show that the diameter of the flip graph is at least $\frac{7n}{3} + Θ(1)$, improving upon the previous $2n + Θ(1)$ lower bound.
△ Less
Submitted 14 August, 2015;
originally announced August 2015.
-
Optimal Morphs of Convex Drawings
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Fabrizio Frati,
Anna Lubiw,
Maurizio Patrignani,
Vincenzo Roselli
Abstract:
We give an algorithm to compute a morph between any two convex drawings of the same plane graph. The morph preserves the convexity of the drawing at any time instant and moves each vertex along a piecewise linear curve with linear complexity. The linear bound is asymptotically optimal in the worst case.
We give an algorithm to compute a morph between any two convex drawings of the same plane graph. The morph preserves the convexity of the drawing at any time instant and moves each vertex along a piecewise linear curve with linear complexity. The linear bound is asymptotically optimal in the worst case.
△ Less
Submitted 31 March, 2015;
originally announced March 2015.
-
Drawing Partially Embedded and Simultaneously Planar Graphs
Authors:
Timothy M. Chan,
Fabrizio Frati,
Carsten Gutwenger,
Anna Lubiw,
Petra Mutzel,
Marcus Schaefer
Abstract:
We investigate the problem of constructing planar drawings with few bends for two related problems, the partially embedded graph problem---to extend a straight-line planar drawing of a subgraph to a planar drawing of the whole graph---and the simultaneous planarity problem---to find planar drawings of two graphs that coincide on shared vertices and edges. In both cases we show that if the required…
▽ More
We investigate the problem of constructing planar drawings with few bends for two related problems, the partially embedded graph problem---to extend a straight-line planar drawing of a subgraph to a planar drawing of the whole graph---and the simultaneous planarity problem---to find planar drawings of two graphs that coincide on shared vertices and edges. In both cases we show that if the required planar drawings exist, then there are planar drawings with a linear number of bends per edge and, in the case of simultaneous planarity, a constant number of crossings between every pair of edges. Our proofs provide efficient algorithms if the combinatorial embedding of the drawing is given. Our result on partially embedded graph drawing generalizes a classic result by Pach and Wenger which shows that any planar graph can be drawn with a linear number of bends per edge if the location of each vertex is fixed.
△ Less
Submitted 29 October, 2014;
originally announced October 2014.
-
A Survey on Small-Area Planar Graph Drawing
Authors:
Giuseppe Di Battista,
Fabrizio Frati
Abstract:
We survey algorithms and bounds for constructing planar drawings of graphs in small area.
We survey algorithms and bounds for constructing planar drawings of graphs in small area.
△ Less
Submitted 3 October, 2014;
originally announced October 2014.
-
Advances on Testing C-Planarity of Embedded Flat Clustered Graphs
Authors:
Markus Chimani,
Giuseppe Di Battista,
Fabrizio Frati,
Karsten Klein
Abstract:
We show a polynomial-time algorithm for testing c-planarity of embedded flat clustered graphs with at most two vertices per cluster on each face.
We show a polynomial-time algorithm for testing c-planarity of embedded flat clustered graphs with at most two vertices per cluster on each face.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Increasing-Chord Graphs On Point Sets
Authors:
Hooman Reisi Dehkordi,
Fabrizio Frati,
Joachim Gudmundsson
Abstract:
We tackle the problem of constructing increasing-chord graphs spanning point sets. We prove that, for every point set P with n points, there exists an increasing-chord planar graph with O(n) Steiner points spanning P. Further, we prove that, for every convex point set P with n points, there exists an increasing-chord graph with O(n log n) edges (and with no Steiner points) spanning P.
We tackle the problem of constructing increasing-chord graphs spanning point sets. We prove that, for every point set P with n points, there exists an increasing-chord planar graph with O(n) Steiner points spanning P. Further, we prove that, for every convex point set P with n points, there exists an increasing-chord graph with O(n log n) edges (and with no Steiner points) spanning P.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Compatible Connectivity-Augmentation of Planar Disconnected Graphs
Authors:
Greg Aloupis,
Luis Barba,
Paz Carmi,
Vida Dujmović,
Fabrizio Frati,
Pat Morin
Abstract:
Motivated by applications to graph morphing, we consider the following \emph{compatible connectivity-augmentation problem}: We are given a labelled $n$-vertex planar graph, $\mathcal{G}$, that has $r\ge 2$ connected components, and $k\ge 2$ isomorphic planar straight-line drawings, $G_1,\ldots,G_k$, of $\mathcal{G}$. We wish to augment $\mathcal G$ by adding vertices and edges to make it connected…
▽ More
Motivated by applications to graph morphing, we consider the following \emph{compatible connectivity-augmentation problem}: We are given a labelled $n$-vertex planar graph, $\mathcal{G}$, that has $r\ge 2$ connected components, and $k\ge 2$ isomorphic planar straight-line drawings, $G_1,\ldots,G_k$, of $\mathcal{G}$. We wish to augment $\mathcal G$ by adding vertices and edges to make it connected in such a way that these vertices and edges can be added to $G_1,\ldots,G_k$ as points and straight-line segments, respectively, to obtain $k$ planar straight-line drawings isomorphic to the augmentation of $\mathcal G$. We show that adding $Θ(nr^{1-1/k})$ edges and vertices to $\mathcal{G}$ is always sufficient and sometimes necessary to achieve this goal. The upper bound holds for all $r\in\{2,\ldots,n\}$ and $k\ge 2$ and is achievable by an algorithm whose running time is $O(nr^{1-1/k})$ for $k=O(1)$ and whose running time is $O(kn^2)$ for general values of $k$. The lower bound holds for all $r\in\{2,\ldots,n/4\}$ and $k\ge 2$.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
On the Complexity of Clustered-Level Planarity and T-Level Planarity
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Vincenzo Roselli
Abstract:
In this paper we study two problems related to the drawing of level graphs, that is, T-LEVEL PLANARITY and CLUSTERED-LEVEL PLANARITY. We show that both problems are NP-complete in the general case and that they become polynomial-time solvable when restricted to proper instances.
In this paper we study two problems related to the drawing of level graphs, that is, T-LEVEL PLANARITY and CLUSTERED-LEVEL PLANARITY. We show that both problems are NP-complete in the general case and that they become polynomial-time solvable when restricted to proper instances.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Morphing Planar Graph Drawings Optimally
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Vincenzo Roselli
Abstract:
We provide an algorithm for computing a planar morph between any two planar straight-line drawings of any $n$-vertex plane graph in $O(n)$ morphing steps, thus improving upon the previously best known $O(n^2)$ upper bound. Further, we prove that our algorithm is optimal, that is, we show that there exist two planar straight-line drawings $Γ_s$ and $Γ_t$ of an $n$-vertex plane graph $G$ such that a…
▽ More
We provide an algorithm for computing a planar morph between any two planar straight-line drawings of any $n$-vertex plane graph in $O(n)$ morphing steps, thus improving upon the previously best known $O(n^2)$ upper bound. Further, we prove that our algorithm is optimal, that is, we show that there exist two planar straight-line drawings $Γ_s$ and $Γ_t$ of an $n$-vertex plane graph $G$ such that any planar morph between $Γ_s$ and $Γ_t$ requires $Ω(n)$ morphing steps.
△ Less
Submitted 19 February, 2014; v1 submitted 18 February, 2014;
originally announced February 2014.
