-
Unit Edge-Length Rectilinear Drawings with Crossings and Rectangular Faces
Authors:
Patrizio Angelini,
Carla Binucci,
Giuseppe Di Battista,
Emilio Di Giacomo,
Walter Didimo,
Fabrizio Grosso,
Giacomo Ortali,
Ioannis G. Tollis
Abstract:
Unit edge-length drawings, rectilinear drawings (where each edge is either a horizontal or a vertical segment), and rectangular face drawings are among the most studied subjects in Graph Drawing. However, most of the literature on these topics refers to planar graphs and planar drawings. In this paper we study drawings with all the above nice properties but that can have edge crossings; we call th…
▽ More
Unit edge-length drawings, rectilinear drawings (where each edge is either a horizontal or a vertical segment), and rectangular face drawings are among the most studied subjects in Graph Drawing. However, most of the literature on these topics refers to planar graphs and planar drawings. In this paper we study drawings with all the above nice properties but that can have edge crossings; we call them Unit Edge length Rectilinear drawings with Rectangular Faces (UER-RF drawings). We consider crossings as dummy vertices and apply the unit edge-length convention to the edge segments connecting any two (real or dummy) vertices. Note that UER-RF drawings are grid drawings (vertices are placed at distinct integer coordinates), which is another classical requirement of graph visualizations. We present several efficient and easily implementable algorithms for recognizing graphs that admit UER-RF drawings and for constructing such drawings if they exist. We consider restrictions on the degree of the vertices or on the size of the faces. For each type of restriction, we consider both the general unconstrained setting and a setting in which either the external boundary of the drawing is fixed or the rotation system of the graph is fixed as part of the input.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Ranking and Unranking of the Planar Embeddings of a Planar Graph
Authors:
Giuseppe Di Battista,
Fabrizio Grosso,
Giulia Maragno,
Maurizio Patrignani
Abstract:
Let $\mathcal{G}$ be the set of all the planar embeddings of a (not necessarily connected) $n$-vertex graph $G$. We present a bijection $Φ$ from $\mathcal{G}$ to the natural numbers in the interval $[0 \dots |\mathcal{G}| - 1]$. Given a planar embedding $\mathcal{E}$ of $G$, we show that $Φ(\mathcal{E})$ can be decomposed into a sequence of $O(n)$ natural numbers each describing a specific feature…
▽ More
Let $\mathcal{G}$ be the set of all the planar embeddings of a (not necessarily connected) $n$-vertex graph $G$. We present a bijection $Φ$ from $\mathcal{G}$ to the natural numbers in the interval $[0 \dots |\mathcal{G}| - 1]$. Given a planar embedding $\mathcal{E}$ of $G$, we show that $Φ(\mathcal{E})$ can be decomposed into a sequence of $O(n)$ natural numbers each describing a specific feature of $\mathcal{E}$. The function $Φ$, which is a ranking function for $\mathcal{G}$, can be computed in $O(n)$ time, while its inverse unranking function $Φ^{-1}$ can be computed in $O(n α(n))$ time. The results of this paper can be of practical use to uniformly at random generating the planar embeddings of a graph $G$ or to enumerating such embeddings with amortized constant delay. Also, they can be used to counting, enumerating or uniformly at random generating constrained planar embeddings of $G$.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Quantum Algorithms for One-Sided Crossing Minimization
Authors:
Susanna Caroppo,
Giordano Da Lozzo,
Giuseppe Di Battista
Abstract:
We present singly-exponential quantum algorithms for the One-Sided Crossing Minimization (OSCM) problem. Given an $n$-vertex bipartite graph $G=(U,V,E\subseteq U \times V)$, a $2$-level drawing $(π_U,π_V)$ of $G$ is described by a linear ordering $π_U: U \leftrightarrow \{1,\dots,|U|\}$ of $U$ and linear ordering $π_V: V \leftrightarrow \{1,\dots,|V|\}$ of $V$. For a fixed linear ordering $π_U$ of…
▽ More
We present singly-exponential quantum algorithms for the One-Sided Crossing Minimization (OSCM) problem. Given an $n$-vertex bipartite graph $G=(U,V,E\subseteq U \times V)$, a $2$-level drawing $(π_U,π_V)$ of $G$ is described by a linear ordering $π_U: U \leftrightarrow \{1,\dots,|U|\}$ of $U$ and linear ordering $π_V: V \leftrightarrow \{1,\dots,|V|\}$ of $V$. For a fixed linear ordering $π_U$ of $U$, the OSCM problem seeks to find a linear ordering $π_V$ of $V$ that yields a $2$-level drawing $(π_U,π_V)$ of $G$ with the minimum number of edge crossings. We show that OSCM can be viewed as a set problem over $V$ amenable for exact algorithms with a quantum speedup with respect to their classical counterparts. First, we exploit the quantum dynamic programming framework of Ambainis et al. [Quantum Speedups for Exponential-Time Dynamic Programming Algorithms. SODA 2019] to devise a QRAM-based algorithm that solves OSCM in $O^*(1.728^n)$ time and space. Second, we use quantum divide and conquer to obtain an algorithm that solves OSCM without using QRAM in $O^*(2^n)$ time and polynomial space.
△ Less
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.
-
Min-$k$-planar Drawings of Graphs
Authors:
Carla Binucci,
Aaron Büngener,
Giuseppe Di Battista,
Walter Didimo,
Vida Dujmović,
Seok-Hee Hong,
Michael Kaufmann,
Giuseppe Liotta,
Pat Morin,
Alessandra Tappini
Abstract:
The study of nonplanar drawings of graphs with restricted crossing configurations is a well-established topic in graph drawing, often referred to as beyond-planar graph drawing. One of the most studied types of drawings in this area are the $k$-planar drawings $(k \geq 1)$, where each edge cannot cross more than $k$ times. We generalize $k$-planar drawings, by introducing the new family of min-…
▽ More
The study of nonplanar drawings of graphs with restricted crossing configurations is a well-established topic in graph drawing, often referred to as beyond-planar graph drawing. One of the most studied types of drawings in this area are the $k$-planar drawings $(k \geq 1)$, where each edge cannot cross more than $k$ times. We generalize $k$-planar drawings, by introducing the new family of min-$k$-planar drawings. In a min-$k$-planar drawing edges can cross an arbitrary number of times, but for any two crossing edges, one of the two must have no more than $k$ crossings. We prove a general upper bound on the number of edges of min-$k$-planar drawings, a finer upper bound for $k=3$, and tight upper bounds for $k=1,2$. Also, we study the inclusion relations between min-$k$-planar graphs (i.e., graphs admitting min-$k$-planar drawings) and $k$-planar graphs. In our setting we only allow simple drawings, that is, any two edges cross at most once, no two adjacent edges cross, and no three edges intersect at a common crossing point.
△ Less
Submitted 8 February, 2024; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Treebar Maps: Schematic Representation of Networks at Scale
Authors:
Giuseppe Di Battista,
Fabrizio Grosso,
Silvia Montorselli,
Maurizio Patrignani
Abstract:
Many data sets, crucial for today's applications, consist essentially of enormous networks, containing millions or even billions of elements. Having the possibility of visualizing such networks is of paramount importance. We propose an algorithmic framework and a visual metaphor, dubbed treebar map, to provide schematic representations of huge networks. Our goal is to convey the main features of t…
▽ More
Many data sets, crucial for today's applications, consist essentially of enormous networks, containing millions or even billions of elements. Having the possibility of visualizing such networks is of paramount importance. We propose an algorithmic framework and a visual metaphor, dubbed treebar map, to provide schematic representations of huge networks. Our goal is to convey the main features of the network's inner structure in a straightforward, two-dimensional, one-page drawing. This drawing effectively captures the essential quantitative information about the network's main components. Our experiments show that we are able to create such representations in a few hundreds of seconds. We demonstrate the metaphor's efficacy through visual examination of extensive graphs, highlighting how their diverse structures are instantly comprehensible via their representations.
△ Less
Submitted 23 July, 2023;
originally announced July 2023.
-
Quantum Graph Drawing
Authors:
Susanna Caroppo,
Giordano Da Lozzo,
Giuseppe Di Battista
Abstract:
In this paper, we initiate the study of quantum algorithms in the Graph Drawing research area. We focus on two foundational drawing standards: 2-level drawings and book layouts. Concerning $2$-level drawings, we consider the problems of obtaining drawings with the minimum number of crossings, $k$-planar drawings, quasi-planar drawings, and the problem of removing the minimum number of edges to obt…
▽ More
In this paper, we initiate the study of quantum algorithms in the Graph Drawing research area. We focus on two foundational drawing standards: 2-level drawings and book layouts. Concerning $2$-level drawings, we consider the problems of obtaining drawings with the minimum number of crossings, $k$-planar drawings, quasi-planar drawings, and the problem of removing the minimum number of edges to obtain a $2$-level planar graph. Concerning book layouts, we consider the problems of obtaining $1$-page book layouts with the minimum number of crossings, book embeddings with the minimum number of pages, and the problem of removing the minimum number of edges to obtain an outerplanar graph. We explore both the quantum circuit and the quantum annealing models of computation. In the quantum circuit model, we provide an algorithmic framework based on Grover's quantum search, which allows us to obtain, at least, a quadratic speedup on the best classical exact algorithms for all the considered problems. In the quantum annealing model, we perform experiments on the quantum processing unit provided by D-Wave, focusing on the classical $2$-level crossing minimization problem, demonstrating that quantum annealing is competitive with respect to classical algorithms.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Splitting Vertices in 2-Layer Graph Drawings
Authors:
Reyan Ahmed,
Patrizio Angelini,
Michael A. Bekos,
Giuseppe Di Battista,
Michael Kaufmann,
Philipp Kindermann,
Stephen Kobourov,
Martin Nöllenburg,
Antonios Symvonis,
Anaïs Villedieu,
Markus Wallinger
Abstract:
Bipartite graphs model the relationships between two disjoint sets of entities in several applications and are naturally drawn as 2-layer graph drawings. In such drawings, the two sets of entities (vertices) are placed on two parallel lines (layers), and their relationships (edges) are represented by segments connecting vertices. Methods for constructing 2-layer drawings often try to minimize the…
▽ More
Bipartite graphs model the relationships between two disjoint sets of entities in several applications and are naturally drawn as 2-layer graph drawings. In such drawings, the two sets of entities (vertices) are placed on two parallel lines (layers), and their relationships (edges) are represented by segments connecting vertices. Methods for constructing 2-layer drawings often try to minimize the number of edge crossings. We use vertex splitting to reduce the number of crossings, by replacing selected vertices on one layer by two (or more) copies and suitably distributing their incident edges among these copies. We study several optimization problems related to vertex splitting, either minimizing the number of crossings or removing all crossings with fewest splits. While we prove that some variants are \NP-complete, we obtain polynomial-time algorithms for others. We run our algorithms on a benchmark set of bipartite graphs representing the relationships between human anatomical structures and cell types.
△ Less
Submitted 15 April, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
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.
-
Small Point-Sets Supporting Graph Stories
Authors:
Giuseppe Di Battista,
Walter Didimo,
Luca Grilli,
Fabrizio Grosso,
Giacomo Ortali,
Maurizio Patrignani,
Alessandra Tappini
Abstract:
In a graph story the vertices enter a graph one at a time and each vertex persists in the graph for a fixed amount of time $ω$, called viewing window. At any time, the user can see only the drawing of the graph induced by the vertices in the viewing window and this determines a sequence of drawings. For readability, we require that all the drawings of the sequence are planar. For preserving the us…
▽ More
In a graph story the vertices enter a graph one at a time and each vertex persists in the graph for a fixed amount of time $ω$, called viewing window. At any time, the user can see only the drawing of the graph induced by the vertices in the viewing window and this determines a sequence of drawings. For readability, we require that all the drawings of the sequence are planar. For preserving the user's mental map we require that when a vertex or an edge is drawn, it has the same drawing for its entire life. We study the problem of drawing the entire sequence by mapping the vertices only to $ω+k$ given points, where $k$ is as small as possible. We show that: $(i)$ The problem does not depend on the specific set of points but only on its size; $(ii)$ the problem is NP-hard and is FPT when parameterized by $ω+k$; $(iii)$ there are families of graph stories that can be drawn with $k=0$ for any $ω$, while for $k=0$ and small values of $ω$ there are families of graph stories that can be drawn and others that cannot; $(iv)$ there are families of graph stories that cannot be drawn for any fixed $k$ and families of graph stories that require at least a certain $k$.
△ Less
Submitted 30 August, 2022;
originally announced August 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.
-
A Tipping Point for the Planarity of Small and Medium Sized Graphs
Authors:
Emanuele Balloni,
Giuseppe Di Battista,
Maurizio Patrignani
Abstract:
This paper presents an empirical study of the relationship between the density of small-medium sized random graphs and their planarity. It is well known that, when the number of vertices tends to infinite, there is a sharp transition between planarity and non-planarity for edge density d=0.5. However, this asymptotic property does not clarify what happens for graphs of reduced size. We show that a…
▽ More
This paper presents an empirical study of the relationship between the density of small-medium sized random graphs and their planarity. It is well known that, when the number of vertices tends to infinite, there is a sharp transition between planarity and non-planarity for edge density d=0.5. However, this asymptotic property does not clarify what happens for graphs of reduced size. We show that an unexpectedly sharp transition is also exhibited by small and medium sized graphs. Also, we show that the same "tipping point" behavior can be observed for some restrictions or relaxations of planarity (we considered outerplanarity and near-planarity, respectively).
△ Less
Submitted 25 August, 2020; v1 submitted 21 August, 2020;
originally announced August 2020.
-
On Turn-Regular Orthogonal Representations
Authors:
Michael A. Bekos,
Carla Binucci,
Giuseppe Di Battista,
Walter Didimo,
Martin Gronemann,
Karsten Klein,
Maurizio Patrignani,
Ignaz Rutter
Abstract:
An interesting class of orthogonal representations consists of the so-called turn-regular ones, i.e., those that do not contain any pair of reflex corners that "point to each other" inside a face. For such a representation H it is possible to compute in linear time a minimum-area drawing, i.e., a drawing of minimum area over all possible assignments of vertex and bend coordinates of H. In contrast…
▽ More
An interesting class of orthogonal representations consists of the so-called turn-regular ones, i.e., those that do not contain any pair of reflex corners that "point to each other" inside a face. For such a representation H it is possible to compute in linear time a minimum-area drawing, i.e., a drawing of minimum area over all possible assignments of vertex and bend coordinates of H. In contrast, finding a minimum-area drawing of H is NP-hard if H is non-turn-regular. This scenario naturally motivates the study of which graphs admit turn-regular orthogonal representations. In this paper we identify notable classes of biconnected planar graphs that always admit such representations, which can be computed in linear time. We also describe a linear-time testing algorithm for trees and provide a polynomial-time algorithm that tests whether a biconnected plane graph with "small" faces has a turn-regular orthogonal representation without bends.
△ Less
Submitted 20 August, 2020;
originally announced August 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.
-
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.
-
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.
-
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.
-
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.
-
The Internet Pendulum: On the periodicity of Internet Topology Measurements
Authors:
Mattia Iodice,
Massimo Candela,
Giuseppe Di Battista
Abstract:
Public databases of large-scale topology measures (e.g.RIPE Atlas) are very popular both in the research and in the practitioners communities. They are used, at least, for understanding the state of the Internet in real time, for outage detection, and to get a broad baseline view of the Internet evolution over time. However, despite the large amount of investigations, the dynamic aspects of these…
▽ More
Public databases of large-scale topology measures (e.g.RIPE Atlas) are very popular both in the research and in the practitioners communities. They are used, at least, for understanding the state of the Internet in real time, for outage detection, and to get a broad baseline view of the Internet evolution over time. However, despite the large amount of investigations, the dynamic aspects of these measures have not been fully understood. As an example, looking at time-series of such measures, patterns that repeat at regular intervals. More specifically, looking at a time-series of traceroutes involving certain source-target pairs it happens to observe that the paths follow alternations that repeat several times. Have they the features of periodicity? What are their main characteristics? In this paper we study the problem of detecting and characterizing periodicities in Internet topology measures. For this purpose we devise an algorithm based on autocorrelation and string matching. First, we validate the effectiveness of our algorithm in-vitro, on randomly generated measures containing artificial periodicities. Second, we exploit the algorithm to verify how frequently traceroute sequences extracted from popular databases of topology measures exhibit a periodic behavior. We show that a surprisingly high percentage of measures present one or more periodicities. This happens both with traceroutes performed at different frequencies and with different types of traceroutes. Third, we apply our algorithm to databases of BGP updates, a context where periodicities are even more unexpected than the one of traceroutes. Also in this case our algorithm is able to spot periodicities. We argue that some of them are related to oscillations of the BGP control plane.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
On the Relationship between $k$-Planar and $k$-Quasi Planar Graphs
Authors:
Patrizio Angelini,
Michael A. Bekos,
Franz J. Brandenburg,
Giordano Da Lozzo,
Giuseppe Di Battista,
Walter Didimo,
Giuseppe Liotta,
Fabrizio Montecchiani,
Ignaz Rutter
Abstract:
A graph is $k$-planar $(k \geq 1)$ if it can be drawn in the plane such that no edge is crossed more than $k$ times. A graph is $k$-quasi planar $(k \geq 2)$ if it can be drawn in the plane with no $k$ pairwise crossing edges. The families of $k$-planar and $k$-quasi planar graphs have been widely studied in the literature, and several bounds have been proven on their edge density. Nonetheless, on…
▽ More
A graph is $k$-planar $(k \geq 1)$ if it can be drawn in the plane such that no edge is crossed more than $k$ times. A graph is $k$-quasi planar $(k \geq 2)$ if it can be drawn in the plane with no $k$ pairwise crossing edges. The families of $k$-planar and $k$-quasi planar graphs have been widely studied in the literature, and several bounds have been proven on their edge density. Nonetheless, only trivial results are known about the relationship between these two graph families. In this paper we prove that, for $k \geq 3$, every $k$-planar graph is $(k+1)$-quasi planar.
△ Less
Submitted 4 September, 2019; v1 submitted 28 February, 2017;
originally announced February 2017.
-
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.
-
Simultaneous Orthogonal Planarity
Authors:
Patrizio Angelini,
Steven Chaplick,
Sabine Cornelsen,
Giordano Da Lozzo,
Giuseppe Di Battista,
Peter Eades,
Philipp Kindermann,
Jan Kratochvil,
Fabian Lipp,
and Ignaz Rutter
Abstract:
We introduce and study the $\textit{OrthoSEFE}-k$ problem: Given $k$ planar graphs each with maximum degree 4 and the same vertex set, do they admit an OrthoSEFE, that is, is there an assignment of the vertices to grid points and of the edges to paths on the grid such that the same edges in distinct graphs are assigned the same path and such that the assignment induces a planar orthogonal drawing…
▽ More
We introduce and study the $\textit{OrthoSEFE}-k$ problem: Given $k$ planar graphs each with maximum degree 4 and the same vertex set, do they admit an OrthoSEFE, that is, is there an assignment of the vertices to grid points and of the edges to paths on the grid such that the same edges in distinct graphs are assigned the same path and such that the assignment induces a planar orthogonal drawing of each of the $k$ graphs?
We show that the problem is NP-complete for $k \geq 3$ even if the shared graph is a Hamiltonian cycle and has sunflower intersection and for $k \geq 2$ even if the shared graph consists of a cycle and of isolated vertices. Whereas the problem is polynomial-time solvable for $k=2$ when the union graph has maximum degree five and the shared graph is biconnected. Further, when the shared graph is biconnected and has sunflower intersection, we show that every positive instance has an OrthoSEFE with at most three bends per edge.
△ Less
Submitted 30 August, 2016;
originally announced August 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.
-
Windrose Planarity: Embedding Graphs with Direction-Constrained Edges
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Valentino Di Donato,
Philipp Kindermann,
Günter Rote,
Ignaz Rutter
Abstract:
Given a planar graph $G$ and a partition of the neighbors of each vertex $v$ in four sets $UR(v)$, $UL(v)$, $DL(v)$, and $DR(v)$, the problem Windrose Planarity asks to decide whether $G$ admits a windrose-planar drawing, that is, a planar drawing in which (i) each neighbor $u \in UR(v)$ is above and to the right of $v$, (ii) each neighbor $u \in UL(v)$ is above and to the left of $v$, (iii) each…
▽ More
Given a planar graph $G$ and a partition of the neighbors of each vertex $v$ in four sets $UR(v)$, $UL(v)$, $DL(v)$, and $DR(v)$, the problem Windrose Planarity asks to decide whether $G$ admits a windrose-planar drawing, that is, a planar drawing in which (i) each neighbor $u \in UR(v)$ is above and to the right of $v$, (ii) each neighbor $u \in UL(v)$ is above and to the left of $v$, (iii) each neighbor $u \in DL(v)$ is below and to the left of $v$, (iv) each neighbor $u \in DR(v)$ is below and to the right of $v$, and (v) edges are represented by curves that are monotone with respect to each axis. By exploiting both the horizontal and the vertical relationship among vertices, windrose-planar drawings allow to simultaneously visualize two partial orders defined by means of the edges of the graph.
Although the problem is NP-hard in the general case, we give a polynomial-time algorithm for testing whether there exists a windrose-planar drawing that respects a given combinatorial embedding. This algorithm is based on a characterization of the plane triangulations admitting a windrose-planar drawing. Furthermore, for any embedded graph with $n$ vertices that has a windrose-planar drawing, we can construct one with at most one bend per edge and with at most $2n-5$ bends in total, which lies on the $3n \times 3n$ grid. The latter result contrasts with the fact that straight-line windrose-planar drawings may require exponential area.
△ Less
Submitted 6 September, 2018; v1 submitted 9 October, 2015;
originally announced October 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 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.
-
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.
-
Strip Planarity Testing of Embedded Planar Graphs
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati
Abstract:
In this paper we introduce and study the strip planarity testing problem, which takes as an input a planar graph $G(V,E)$ and a function $γ:V \rightarrow \{1,2,\dots,k\}$ and asks whether a planar drawing of $G$ exists such that each edge is monotone in the $y$-direction and, for any $u,v\in V$ with $γ(u)<γ(v)$, it holds $y(u)<y(v)$. The problem has strong relationships with some of the most deepl…
▽ More
In this paper we introduce and study the strip planarity testing problem, which takes as an input a planar graph $G(V,E)$ and a function $γ:V \rightarrow \{1,2,\dots,k\}$ and asks whether a planar drawing of $G$ exists such that each edge is monotone in the $y$-direction and, for any $u,v\in V$ with $γ(u)<γ(v)$, it holds $y(u)<y(v)$. The problem has strong relationships with some of the most deeply studied variants of the planarity testing problem, such as clustered planarity, upward planarity, and level planarity. We show that the problem is polynomial-time solvable if $G$ has a fixed planar embedding.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
From BGP to RTT and Beyond: Matching BGP Routing Changes and Network Delay Variations with an Eye on Traceroute Paths
Authors:
Massimo Rimondini,
Claudio Squarcella,
Giuseppe Di Battista
Abstract:
Many organizations have the mission of assessing the quality of broadband access services offered by Internet Service Providers (ISPs). They deploy network probes that periodically perform network measures towards selected Internet services. By analyzing the data collected by the probes it is often possible to gain a reasonable estimate of the bandwidth made available by the ISP. However, it is mu…
▽ More
Many organizations have the mission of assessing the quality of broadband access services offered by Internet Service Providers (ISPs). They deploy network probes that periodically perform network measures towards selected Internet services. By analyzing the data collected by the probes it is often possible to gain a reasonable estimate of the bandwidth made available by the ISP. However, it is much more difficult to use such data to explain who is responsible of the fluctuations of other network qualities. This is especially true for latency, that is fundamental for several nowadays network services. On the other hand, there are many publicly accessible BGP routers that collect the history of routing changes and that are good candidates to be used for understanding if latency fluctuations depend on interdomain routing.
In this paper we provide a methodology that, given a probe that is located inside the network of an ISP and that executes latency measures and given a set of publicly accessible BGP routers located inside the same ISP, decides which routers are best candidates (if any) for studying the relationship between variations of network performance recorded by the probe and interdomain routing changes. We validate the methodology with experimental studies based on data gathered by the RIPE NCC, an organization that is well-known to be independent and that publishes both BGP data within the Routing Information Service (RIS) and probe measurement data within the Atlas project.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
Intra-Domain Pathlet Routing
Authors:
Marco Chiesa,
Gabriele Lospoto,
Massimo Rimondini,
Giuseppe Di Battista
Abstract:
Internal routing inside an ISP network is the foundation for lots of services that generate revenue from the ISP's customers. A fine-grained control of paths taken by network traffic once it enters the ISP's network is therefore a crucial means to achieve a top-quality offer and, equally important, to enforce SLAs. Many widespread network technologies and approaches (most notably, MPLS) offer limi…
▽ More
Internal routing inside an ISP network is the foundation for lots of services that generate revenue from the ISP's customers. A fine-grained control of paths taken by network traffic once it enters the ISP's network is therefore a crucial means to achieve a top-quality offer and, equally important, to enforce SLAs. Many widespread network technologies and approaches (most notably, MPLS) offer limited (e.g., with RSVP-TE), tricky (e.g., with OSPF metrics), or no control on internal routing paths. On the other hand, recent advances in the research community are a good starting point to address this shortcoming, but miss elements that would enable their applicability in an ISP's network.
We extend pathlet routing by introducing a new control plane for internal routing that has the following qualities: it is designed to operate in the internal network of an ISP; it enables fine-grained management of network paths with suitable configuration primitives; it is scalable because routing changes are only propagated to the network portion that is affected by the changes; it supports independent configuration of specific network portions without the need to know the configuration of the whole network; it is robust thanks to the adoption of multipath routing; it supports the enforcement of QoS levels; it is independent of the specific data plane used in the ISP's network; it can be incrementally deployed and it can nicely coexist with other control planes. Besides formally introducing the algorithms and messages of our control plane, we propose an experimental validation in the simulation framework OMNeT++ that we use to assess the effectiveness and scalability of our approach.
△ Less
Submitted 3 March, 2013; v1 submitted 21 February, 2013;
originally announced February 2013.
-
Implementing a Partitioned 2-page Book Embedding Testing Algorithm
Authors:
Patrizio Angelini,
Marco Di Bartolomeo,
Giuseppe Di Battista
Abstract:
In a book embedding the vertices of a graph are placed on the "spine" of a "book" and the edges are assigned to "pages" so that edges on the same page do not cross. In the Partitioned 2-page Book Embedding problem egdes are partitioned into two sets E_1 and E_2, the pages are two, the edges of E_1 are assigned to page 1, and the edges of E_2 are assigned to page 2. The problem consists of checking…
▽ More
In a book embedding the vertices of a graph are placed on the "spine" of a "book" and the edges are assigned to "pages" so that edges on the same page do not cross. In the Partitioned 2-page Book Embedding problem egdes are partitioned into two sets E_1 and E_2, the pages are two, the edges of E_1 are assigned to page 1, and the edges of E_2 are assigned to page 2. The problem consists of checking if an ordering of the vertices exists along the spine so that the edges of each page do not cross. Hong and Nagamochi give an interesting and complex linear time algorithm for tackling Partitioned 2-page Book Embedding based on SPQR-trees. We show an efficient implementation of this algorithm and show its effectiveness by performing a number of experimental tests. Because of the relationships between Partitioned 2-page Book Embedding and clustered planarity we yield as a side effect an implementation of a clustered planarity testing where the graph has exactly two clusters.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
Relaxing the Constraints of Clustered Planarity
Authors:
Patrizio Angelini,
Giordano Da Lozzo,
Giuseppe Di Battista,
Fabrizio Frati,
Maurizio Patrignani,
Vincenzo Roselli
Abstract:
In a drawing of a clustered graph vertices and edges are drawn as points and curves, respectively, while clusters are represented by simple closed regions. A drawing of a clustered graph is c-planar if it has no edge-edge, edge-region, or region-region crossings. Determining the complexity of testing whether a clustered graph admits a c-planar drawing is a long-standing open problem in the Graph D…
▽ More
In a drawing of a clustered graph vertices and edges are drawn as points and curves, respectively, while clusters are represented by simple closed regions. A drawing of a clustered graph is c-planar if it has no edge-edge, edge-region, or region-region crossings. Determining the complexity of testing whether a clustered graph admits a c-planar drawing is a long-standing open problem in the Graph Drawing research area. An obvious necessary condition for c-planarity is the planarity of the graph underlying the clustered graph. However, such a condition is not sufficient and the consequences on the problem due to the requirement of not having edge-region and region-region crossings are not yet fully understood.
In order to shed light on the c-planarity problem, we consider a relaxed version of it, where some kinds of crossings (either edge-edge, edge-region, or region-region) are allowed even if the underlying graph is planar. We investigate the relationships among the minimum number of edge-edge, edge-region, and region-region crossings for drawings of the same clustered graph. Also, we consider drawings in which only crossings of one kind are admitted. In this setting, we prove that drawings with only edge-edge or with only edge-region crossings always exist, while drawings with only region-region crossings may not. Further, we provide upper and lower bounds for the number of such crossings. Finally, we give a polynomial-time algorithm to test whether a drawing with only region-region crossings exist for biconnected graphs, hence identifying a first non-trivial necessary condition for c-planarity that can be tested in polynomial time for a noticeable class of graphs.
△ Less
Submitted 18 February, 2014; v1 submitted 17 July, 2012;
originally announced July 2012.
-
Computational Complexity of Traffic Hijacking under BGP and S-BGP
Authors:
Marco Chiesa,
Giuseppe Di Battista,
Thomas Erlebach,
Maurizio Patrignani
Abstract:
Harmful Internet hijacking incidents put in evidence how fragile the Border Gateway Protocol (BGP) is, which is used to exchange routing information between Autonomous Systems (ASes). As proved by recent research contributions, even S-BGP, the secure variant of BGP that is being deployed, is not fully able to blunt traffic attraction attacks. Given a traffic flow between two ASes, we study how dif…
▽ More
Harmful Internet hijacking incidents put in evidence how fragile the Border Gateway Protocol (BGP) is, which is used to exchange routing information between Autonomous Systems (ASes). As proved by recent research contributions, even S-BGP, the secure variant of BGP that is being deployed, is not fully able to blunt traffic attraction attacks. Given a traffic flow between two ASes, we study how difficult it is for a malicious AS to devise a strategy for hijacking or intercepting that flow. We show that this problem marks a sharp difference between BGP and S-BGP. Namely, while it is solvable, under reasonable assumptions, in polynomial time for the type of attacks that are usually performed in BGP, it is NP-hard for S-BGP. Our study has several by-products. E.g., we solve a problem left open in the literature, stating when performing a hijacking in S-BGP is equivalent to performing an interception.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Object-Oriented Design of Graph Oriented Data Structures
Authors:
Maurizio Pizzonia,
Giuseppe Di Battista
Abstract:
Applied research in graph algorithms and combinatorial structures needs comprehensive and versatile software libraries. However, the design and the implementation of flexible libraries are challenging activities. Among the other problems involved in such a difficult field, a very special role is played by graph classification issues.
We propose new techniques devised to help the designer and t…
▽ More
Applied research in graph algorithms and combinatorial structures needs comprehensive and versatile software libraries. However, the design and the implementation of flexible libraries are challenging activities. Among the other problems involved in such a difficult field, a very special role is played by graph classification issues.
We propose new techniques devised to help the designer and the programmer in the development activities. Such techniques are especially suited for dealing with graph classification problems and rely on an extension of the usual object-oriented paradigm. In order to support the usage of our approach, we devised an extension of the C++ programming language and implemented the corresponding pre-compiler.
△ Less
Submitted 8 October, 1998;
originally announced October 1998.
