Morphing and Visiting Drawings of Graphs
Vincenzo Roselli XXVI Ciclo
Advisors:
- Prof. Giuseppe Di Battista
- Prof. Maurizio Patrignani
UNIVERSITÀ DEGLI STUDI
ROMA
TRE
Dipartimento Di Ingegneria
June 9, 2014
Morphing and Visiting Drawings of Graphs Vincenzo Roselli XXVI - - PowerPoint PPT Presentation
Morphing and Visiting Drawings of Graphs Vincenzo Roselli XXVI Ciclo Advisors: Prof. Giuseppe Di Battista Prof. Maurizio Patrignani Dipartimento Di Ingegneria June 9, 2014 ROMA TRE UNIVERSIT DEGLI STUDI Graphs a set V of objects,
Morphing and Visiting Drawings of Graphs
Vincenzo Roselli XXVI Ciclo
Advisors:
UNIVERSITÀ DEGLI STUDI
ROMA
TRE
Dipartimento Di Ingegneria
June 9, 2014
Graphs
A graph G is a pair (V, E) of: a set V of objects, called vertices; and a (multi)set E of relationships, called edges, between pairs of vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Graphs
.
Areas of Application
. . knowledge representation networks
computer social biological …
maps
geographical transportation
…
…
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Graphs
.
Areas of Application
. . knowledge representation networks
computer social biological …
maps
geographical transportation
…
…
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Graphs
.
Areas of Application
. . knowledge representation networks
computer social biological …
maps
geographical transportation
…
…
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Drawings of Graphs
.
Why?
. . Drawing a graph is a very natural way to analyze it
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Drawings of Graphs
. . Research field dealing with the visualization of graphs
Computational Geometry I n f
m a t i
V i s u a l i z a t i
Graph Theory Graph Drawing
.
Goal
. . Obtain nice and readable graphical representations of graphs
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Conventions & Æsthetic Criteria
.
Conventions
. . planarity curve, poly-/straight-line convex, orthogonal, upward … .
Criteria
. . angular resolution minimum distance number of crossings …
bt
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Equivalent Drawings
A drawing of a graph defines: a circular ordering (rotation scheme) of the edges incident to each vertex a sequence of crossings along each edge a partition of the plane into regions called faces
a b c d f e a f c b e d a b c d f e
Two drawings are equivalent if they induce the same embedding: rotation schemes + crossing sequences + external face
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing and Visiting
Motivations
.
People (unawares) do look at drawings of graphs
. . Visiting:
different drawings emphasize different aspects of the structure a single user is typically interested in several properties and hence in several drawings namely, the user wants to look from different perspectives
Morphing:
even if equivalent, drawings can be very different losing the “correspondences” between two drawings is confusing, time-wasting, bad! morphing helps the user in switching from a drawing to another long-standing open, challenging, ticklish problem
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing Drawings of Graphs
Metamorphosis I – M. C. Escher
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing Planar Graph Drawings
Transformation of a planar drawing of a graph into another preserving planarity moving vertices at constant speed along straight-lines
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Morphing Planar Graph Drawings
Transformation of a planar drawing of a graph into another preserving planarity moving vertices at constant speed along straight-lines
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Planar Linear Morphing Steps
For some pairs of drawings, the morph requires several steps The complexity of a morphing algorithm is defined as the number
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Planar Linear Morphing Steps
For some pairs of drawings, the morph requires several steps The complexity of a morphing algorithm is defined as the number
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
One Hundred Years of Morphs
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Tietze, 1914: Quadrilaterals
Rendiconti del Circolo Matematico di Palermo, 38(1):247-304,1914
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Polygons
Smith, 1917 Veblen, 1917 Alexander, 1923
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Cairns, 1944: Triangulations
First algorithmic proof
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Cairns’s Idea
.
Number of Steps
. . . T n T n O = T n O
n
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Cairns’s Idea
O(1) contract v on
.
Number of Steps
. . . T n T n O = T n O
n
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Cairns’s Idea
O(1) O(1) contract v on contract v on
.
Number of Steps
. . . T n T n O = T n O
n
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Cairns’s Idea
O(1) O(1) O(1)
? ?
Convex drawing
⇒ ⇒
contract v on contract v on
.
Number of Steps
. . . T n T n O = T n O
n
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Cairns’s Idea
O(1) O(1) recursion T(n − 1) O(1) recursion T(n − 1) Convex drawing
⇒ ⇒
contract v on contract v on
.
Number of Steps
. . T(n) = 2T(n − 1) + O(1) = ⇒ T(n) ∈ O(2n)
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Thomassen, 1983
Face convexity can be preserved, exponentially many steps
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Aichholzer et al., 2011
. . Polygons in O(n2) steps
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Other Settings
Gotsman et al., 2001 Biedl at al., 2006 Lubiw at al., 2011 Angelini et al., 2013
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing Planar Graph Drawings with a Polynomial Number of Steps
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing Planar Graph Drawings With a Polynomial Number of Steps
. . First algorithm for maximal plane graphs requiring only a polynomial number of steps: O(n2) = ⇒ = ⇒
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Idea
.
Number of Steps
. . . T n Tconv n T n O
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Idea
O(1) O(1)
.
Number of Steps
. . . T n Tconv n T n O
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Idea
O(1) O(1) Convexifier O(n)
.
Number of Steps
. . . T n Tconv n T n O
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Idea
O(1) O(1) O(1) recursion T(n − 1) Convexifier O(n)
.
Number of Steps
. . . T n Tconv n T n O
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Idea
O(1) O(1) O(1) recursion T(n − 1) Convexifier O(n)
.
Number of Steps
. . T(n) = Tconv(n) + T(n − 1) + O(1)
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Idea
Equivalent drawings of G \ {v} s.t. P is convex morph to a specific one neglect which one, any is good!
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Convexification: Toy Example
Simplify and “make room” by contracting or moving vertices
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Coping with General Plane Graphs
No low-degree vertex might be contractible
u w
Workaround: add O(n2) vertices to turn both input drawings of G into two drawings of the same triangulation = ⇒ T(n) ∈ O ( (n2)2) = O(n4) Idea: locally modify each drawing and convexify independently
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to:
u w
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to:
u w t
add vertex t and connect it to v and its two neighbors u and w in f
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to:
u w t
consider the polygon P ⟨u, t, w, v⟩ and triangulate the rest of the drawing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to: apply Convexifier to P
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to:
u w
add edge (u, w)
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to:
u w
repeat on each face adjacent to v
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to: apply Convexifier to the polygon induced by the neighbors
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to: remove added edges
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Avoiding Additional Vertices
For each face f vertex v is adjacent to: contract v onto the desired neighbor
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Total Number of Steps
each vertex is (un)contracted once per polygon-convexification round
polygon-convexification: O(n) steps
in order to contract a vertex, a constant number of polygon-convexification rounds are performed
contracting a vertex requires O(n) linear morphing steps
. . T(n) = O(n) + T(n − 1) = O(n2)
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing Series-Parallel Graph Drawings in O(n) steps
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Canonical Drawings of Series-Parallel Graphs
Series Component
❀
Parallel Component
❀
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Morphing Series-Parallel Graph Drawings
Source
⇝
Canonical
⇝
Target
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
(Pseudo-)Morphing to a Canonical Drawing: Idea
→ → contract v uncontract v → → → pseudo-morph →
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Pseudo-Morphing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
.
Total Number of Steps
each vertex is contracted and uncontracted exactly once at each step groups of vertices move in a constant number of linear morphs T n O T n O n
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Total Number of Steps
each vertex is contracted and uncontracted exactly once at each step groups of vertices move in a constant number of linear morphs T(n) = O(1) + T(n − 1) = O(n)
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
A Lower Bound
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Lower Bound: Observation
.
Linear Morphs and Rotations
. . Linear morphs simulate rotations strictly smaller than π. If an edge requires a rotation of kπ, k steps are required.
v1 v2 v3 v4 v5 v6 v7 v8 v9 v10v11v12v13 v12 v9 v6 v3 v10 v7 v4 v13 v5 v2 v8 v11 v1
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
An Optimal Algorithm
.
O(n) steps suffice
. . . usual recursion scheme convexification can be performed in O(1)
d l1 l2 ln−1 u1 u2 un−1 l3 u3 d l1 l2 ln−1 u1 u2 un−1 l3 u3
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Visiting Drawings of Graphs
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Real-world Data Graphs
. .
but…
Graphs induced by real–world data are
large locally very dense non-planar …
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Visiting Drawings of Large Graphs
large graphs require large drawings large drawings require large surfaces available surfaces impose bounds Can’t use “context–plus–focus”? Exploit different perspectives!
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
SLanted Orthogonal drawinGs
looking at graphs from outside
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Slog: Problem
.
Motivations
. . Distinguishing vertices from crossings or bends in large drawings is difficult
marks representing vertices might not be visible even with graphs of constant-bounded degree
edges abruptly change direction
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Slog: Idea
Treat crossings and bends as “special” vertices and encode the difference with “real” ones with the slopes of incident segments “real” ⇐ ⇒ H/V “special” ⇐ ⇒ D+/D− H D+ D− V
= ⇒ = ⇒
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Slog: Results
Required Half-Bends
.
Bend-Optimal SLOGs
. . 1 orthogonal bend = ⇒ 2 half-bends
in some cases one can be saved
1 half-bend per real-to-special segment LP exp area heuristic
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings of Graphs with Fixed Embedding
looking at graphs from inside
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings
.
Motivation
. . Common experience among tourists
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings
.
(Serious) Motivations
. . In a drawing, the geodesic path tendency (paths following a given direction) is important in comprehending the underlying graph. While trying to reach another vertex , users should feel “closer” to the destination
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings: Definitions
.
Paths
. . There exists a direction d such that the path is monotone w.r.t. d .
Graphs
. . . For every pair of vertices there exists a path pi that is monotone w.r.t. some di
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings: Definitions
.
Paths
. . There exists a direction d such that the path is monotone w.r.t. d .
Graphs
. . For every pair of vertices there exists a path pi that is monotone w.r.t. some di
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings
.
Background
. . new paradigm introduced by Angelini et al. in 2010 related to upward, greedy, and convex drawings .
Facts
. . trees and biconnected planar graphs admit straight-line planar monotone drawings, for some embedding convex drawings are monotone some embedded graphs do not admit planar straight-line monotone drawing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings
.
Background
. . new paradigm introduced by Angelini et al. in 2010 related to upward, greedy, and convex drawings .
Facts
. . trees and biconnected planar graphs admit straight-line planar monotone drawings, for some embedding convex drawings are monotone some embedded graphs do not admit planar straight-line monotone drawing
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Monotone Drawings: Results
.
Polyline edges
. . at most 2 bends per edge every plane graph tight bound .
Straight-line edges
. .
biconnected
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Other Research Activities
.
Clustered Planarity
. . new model for drawing clustered graphs first necessary condition, poly-time test .
Point-Set Embedding
. . O ( n ( log n log log n )2)
simply-nested n-vertex graphs
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Publications
.
Journal Papers
. . Monotone Drawings of Graphs with Fixed Embedding
Angelini, Didimo, Kobourov, Mchedlidze, R., Symvonis, Wismath [Algorithmica ’13]
Relaxing the Constraints of Clustered Planarity
Angelini, Frati, Da Lozzo, Patrignani, Di Battista, R. [Accepted subject to minor revisions]
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Publications
.
Conference Papers
. .
Morphing Planar Graph Drawings Optimally
Angelini, Da Lozzo, Di Battista, Frati, Patrignani, R. [ICALP ’14]
Morphing Planar Graph Drawings Efficiently
Angelini, Frati, Patrignani, R. [GD ’13]
Morphing Planar Graph Drawings with a Polynomial Number
Alamdari, Angelini, Chan, Di Battista, Frati, Lubiw, Patrignani, R., Singla, Wilkinson [SODA ’13]
Slanted Orthogonal Drawings
Bekos, Kaufmann, Krug, Naher, R. [GD ’13]
Monotone Drawings of Graphs with Fixed Embedding
Angelini, Didimo, Kobourov, Mchedlidze, R., Symvonis, Wismath [GD ’11]
Small Point Sets for Simply-Nested Planar Graphs
Angelini, Di Battista, Kaufmann, Mchedlidze, R., Squarcella [GD ’11]
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Publications
.
Technical Reports
. . Morphing Planar Graph Drawings Optimally
Angelini, Da Lozzo, Di Battista, Frati, Patrignani, R. [arXiv:1402.4364, Cornell University, 2014]
Morphing Planar Graph Drawings Efficiently
Angelini, Frati, Patrignani, R. [arXiv:1308.4291, Cornell University, 2013]
Relaxing the Constraints of Clustered Planarity
Angelini, Frati, Da Lozzo, Patrignani, Di Battista, R. [arXiv:1207.3934, Cornell University, 2012]
. . . . . preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . morphing . . . . . . . . . . . . . visiting . . . publications Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation
Thank you!
Vincenzo Roselli Department of Engineering - Roma Tre Ph.D. Dissertation