patrizio angelini giordano da lozzo giuseppe di battista
play

Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio - PowerPoint PPT Presentation

Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Vincenzo Roselli Graph G = (V,E) Vertices are points Edges are straight-line segments Planar: edges do not cross each other Metamorphosis I -- M.


  1. Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Vincenzo Roselli

  2. Graph G = (V,E) Vertices are points Edges are straight-line segments Planar: edges do not cross each other

  3. Metamorphosis I -- M. C. Escher

  4. Morphing is a special effect in motion pictures and animations that changes (or morphs) one image or shape into another through a seamless transition. (Wikipedia)

  5. … changes (or morphs) one planar graph drawing into another through a seamless transition  Vertices move at uniform speed along straight-line segments  Planarity is preserved during the whole morph (…)

  6. Some pairs of drawings require several steps The complexity of a morphing algorithm is defined as the number of steps it performs

  7. Tietze, Rend. Circ. Matematico di Palermo , 38(1):247-304, 1914 We are in the centennial of the Morphing problem!

  8. Smith, 1917 Veblen, 1917 Alexander, 1923

  9. Cairns, 1944 A planar morph exists between any two planar drawings of any maximal planar graph (with an exponential number of steps)

  10. Thomassen, Journal of Combinatorial Theory B, 1983 A planar convex morph exists between any two planar convex drawings of any maximal planar graph, (with an exponential number of steps)

  11. Aicholzer et al, 2011 Lubiw Petrick, 2011 Floater, Gotsman, Surazhsky Biedl et al., 2006 several papers

  12. Alamdari et al., SODA 2013 A planar morph exists between any two planar drawings of any maximal planar graph, (with a polynomial numer of steps) O(n 2 ) steps for maximal planar O(n 4 ) steps for maximal planar

  13. Barrera-Cruz et al., MCDMCG, 2013 Angelini et al., GD 2013

  14. Barrera-Cruz et al., MCDMCG, 2013 At each morphing step, all the vertices move along the same direction Angelini et al., GD 2013

  15. Barrera-Cruz et al., MCDMCG, 2013 At each morphing step, all the vertices move along the same direction Angelini et al., GD 2013 Maximal Planar graphs in O(n 2 ) steps Series-parallel graphs in O(n) steps

  16.  Theorem 1 : There exist an algorithm to morph planar graph drawings in O(n) steps  Theorem 2 : There exist two drawings of a planar graph (a path) such that morphing one into the other requires at least Ω (n) steps

  17. Every planar graph contains at least a vertex of degree at most 5 with no chord between its neighbors By Euler’s formula, |E| <= 3n -6

  18. Every polygon with at most 5 vertices has at least one vertex on the boundary of its kernel

  19. Every polygon with at most 5 vertices has at least one vertex on the boundary of its kernel

  20. Contraction of a low-degree vertex on one of its neighbors

  21. 1: Select a vertex v of v low degree. v It might be contractible on different neighbors in the two drawings

  22. 2: Contract v in both v the drawings. v We obtain different graphs! O(1) O(1)

  23. 3: Remove v and v compute a drawing in v which the polygon of its neighbors is convex O(1) O(1)

  24. In this drawing, passing v from one neighbor to v the other is always possible! O(1) O(1)

  25. In this drawing, passing v from one neighbor to v the other is always possible! O(1) O(1)

  26. In this drawing, passing v from one neighbor to the v other is always possible! O(1) O(1) O(1)

  27. Recursively morph the two v contracted drawings to the v convex ones in T(n-1) steps T(n) = 2 T(n-1) + O(1) = O(2 n ) O(1) O(1) O(1) T(n-1) T(n-1)

  28. The morph is not to a v specific convex drawing! v O(1) O(1) O(1) O(n) T(n-1)

  29. The morph is not to a v specific convex drawing! v T(n) = T(n-1) + O(n) = O(n 2 ) O(1) O(1) O(1) O(n) T(n-1)

  30. The morph is to a (very) v specific convex drawing! v O(1) O(1) O(1) O(1) T(n-1)

  31. The morph is to a (very) v specific convex drawing! v T(n) = T(n-1) + O(1) = O(n) O(1) O(1) O(1) O(1) T(n-1)

  32.  Given: ◦ a triconnected planar graph G = (V,E) ◦ A set L of parallel lines ◦ A mapping of the vertices of V to lines of L such that orienting the edges of E according to the order of the lines in L yields an st-orientation of G  st-orientation: each face is composed of two oriented paths  Then, G admits a convex drawing in which each vertex of V lies on the line of L it is mapped to  Hong, Nagamochi. J. of Discrete Algorithms, 2010

  33.  Hong, Nagamochi. J. of Discrete Algorithms, 2010

  34.  A linear number of steps are necessary to morph one of these drawings into the other ◦ There exists an edge that must perform a linear number of complete rotations ◦ In a single step, only (a bit less than) half rotation can be performed

  35.  All the algorithms produce intermediate drawings on a very large grid ◦ What about morphing on a limited-size grid? ◦ Can we avoid contractions?  Can we produce convexity-preserving morphings with a polynomial number of steps?  How to morph non-planar graphs?

Recommend


More recommend