2 layer fan planarity from caterpillar to stegosaurus
play

2-Layer Fan-planarity: From Caterpillar to Stegosaurus Carla Binucci - PowerPoint PPT Presentation

2-Layer Fan-planarity: From Caterpillar to Stegosaurus Carla Binucci 1 , Markus Chimani 2 , Walter Didimo 1 , Martin Gronemann 3 , Karsten Klein 4 , Jan Kratochvil 5 , Fabrizio Montecchiani 1 , Ioannis G. Tollis 6 1 Universit` a degli Studi di


  1. 2-Layer Fan-planarity: From Caterpillar to Stegosaurus Carla Binucci 1 , Markus Chimani 2 , Walter Didimo 1 , Martin Gronemann 3 , Karsten Klein 4 , Jan Kratochvil 5 , Fabrizio Montecchiani 1 , Ioannis G. Tollis 6 1 Universit` a degli Studi di Perugia, Italy 2 Osnabr¨ uck University, Germany 3 University of Cologne, Germany 4 Monash University, Australia 5 Charles University, Czech Republic 6 University of Crete and FORTH, Greece

  2. Thanks to BWGD 2015! Karsten Markus Martin Fabrizio Yanni Jan Walter Carla

  3. 2 -Layer Drawings: Definition 2-layer drawing of a graph: • each vertex is a point of one of two horizontal layers • each edge is a straight-line segment that connects vertices of different layers Fact: G has a 2 -layer drawing if and only if is bipartite Motivation: • convey bipartite graphs • building block of layered drawings 1 2 3 4 5 6 7 ℓ 1 ℓ 2 1 2 3 4 5 6

  4. 2 -Layer Drawings: Evolution PLANARITY AGE 1986 Name: Caterpillar Family: Planar Eades et al.

  5. 2 -Layer Drawings: Evolution PLANARITY AGE Non-planar drawings: minimizing the number of crossing edges in a 2 -layer drawing in NP-hard [Eades and Whitesides, 1994] Subsequent papers: • heuristics for crossing minimization • restrictions on crossings (this paper) 1986 Name: Caterpillar Family: Planar Eades et al.

  6. 2 -Layer Drawings: Evolution PLANARITY BEYOND PLANARITY AGE AGE 1986 2011 Name: Caterpillar Name: Ladder Family: Planar Family: 2 -conn. RAC Eades et al. Di Giacomo et al.

  7. 2 -Layer Drawings: Evolution PLANARITY BEYOND PLANARITY AGE AGE 1986 2011 2015 Name: Caterpillar Name: Ladder Name: Snake Family: Planar Family: 2 -conn. RAC Family: 2 -conn. FAN Eades et al. Di Giacomo et al. Binucci et al.

  8. 2 -Layer Drawings: Evolution PLANARITY BEYOND PLANARITY AGE AGE 1986 2011 2015 2015 Name: Caterpillar Name: Ladder Name: Snake Name: Stegosaurus Family: Planar Family: 2 -conn. RAC Family: 2 -conn. FAN Family: FAN Eades et al. Di Giacomo et al. Binucci et al. Binucci et al.

  9. 2-Layer Fan-planar Drawings: Definition A drawing is fan-planar if there is no edge that crosses two other independent edges [Bekos et al. , 2014; Binucci et al. , 2014; Kaufmann and Ueckerdt, 2014] A 2 -layer fan-planar drawing is a 2 -layer drawing that is also fan-planar. � ✗ ℓ 1 ℓ 2

  10. 2-Layer Fan-planar Drawings: Application Application: they can be used as a basis for generating drawings with few edge crossings in a confluent drawing style [Dickerson et al. , 2005; Eppstein et al. , 2007] better readability

  11. 2-Layer Fan-planar Drawings: Notation A 2 -layer embedding is an equivalence class of 2 -layer drawings, described by a pair of linear orderings γ = ( π 1 , π 2 ) 7 π 1 1 2 3 4 5 6 ℓ 1 ℓ 2 π 2 1 2 3 4 5 6

  12. 2-Layer Fan-planar Drawings: Notation A 2 -layer embedding is an equivalence class of 2 -layer drawings, described by a pair of linear orderings γ = ( π 1 , π 2 ) A 2 -layer fan-planar embedding γ is maximal if no edge can be added without losing fan-planarity. 7 π 1 1 2 3 4 5 6 ℓ 1 ℓ 2 π 2 1 2 3 4 5 6

  13. 2-Layer Fan-planar Drawings: Notation A 2 -layer embedding is an equivalence class of 2 -layer drawings, described by a pair of linear orderings γ = ( π 1 , π 2 ) A 2 -layer fan-planar embedding γ is maximal if no edge can be added without losing fan-planarity. 7 π 1 1 2 3 4 5 6 ℓ 1 ℓ 2 π 2 1 2 3 4 5 6

  14. Characterization of biconnected 2 -layer fan-planar graphs

  15. Snake: Definition Definition 1. A snake is recursively defined as follows:

  16. Snake: Definition Definition 1. A snake is recursively defined as follows: • A complete bipartite graph K 2 ,n ( n ≥ 2 ) is a snake; K 2 , 4

  17. Snake: Definition Definition 1. A snake is recursively defined as follows: • A complete bipartite graph K 2 ,n ( n ≥ 2 ) is a snake; • The merger of two snakes G 1 and G 2 with respect to edges e 1 of G 1 and e 2 of G 2 is a snake. A vertex can be merged just once! K 2 , 4 K 2 , 6 e 1 e 2

  18. Snake: Definition Definition 1. A snake is recursively defined as follows: • A complete bipartite graph K 2 ,n ( n ≥ 2 ) is a snake; • The merger of two snakes G 1 and G 2 with respect to edges e 1 of G 1 and e 2 of G 2 is a snake. A vertex can be merged just once! merged vertices snake

  19. Snake: Definition Definition 1. A snake is recursively defined as follows: • A complete bipartite graph K 2 ,n ( n ≥ 2 ) is a snake; • The merger of two snakes G 1 and G 2 with respect to edges e 1 of G 1 and e 2 of G 2 is a snake. A vertex can be merged just once! G 2 G 1 e 1 e 2

  20. Snake: Definition Definition 1. A snake is recursively defined as follows: • A complete bipartite graph K 2 ,n ( n ≥ 2 ) is a snake; • The merger of two snakes G 1 and G 2 with respect to edges e 1 of G 1 and e 2 of G 2 is a snake. A vertex can be merged just once!

  21. 2 -Layer Bicon. Fan-planar Graph ← Snake Lemma 1 Every n -vertex snake admits a 2 -layer fan-planar embedding, which can be computed in O ( n ) time. ℓ 1 ℓ 2

  22. 2 -Layer Bicon. Fan-planar Graph ← Snake Lemma 1 Every n -vertex snake admits a 2 -layer fan-planar embedding, which can be computed in O ( n ) time. Idea: • Draw each K 2 ,h independently ℓ 1 ℓ 2

  23. 2 -Layer Bicon. Fan-planar Graph ← Snake Lemma 1 Every n -vertex snake admits a 2 -layer fan-planar embedding, which can be computed in O ( n ) time. Idea: • Draw each K 2 ,h independently • Merge the drawings ℓ 1 ℓ 2

  24. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake.

  25. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. Idea: Decompose γ by “splitting” the uncrossed edges ℓ 1 ℓ 2

  26. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. Idea: Decompose γ by “splitting” the uncrossed edges Prove that each piece is a K 2 ,n (for some n ≥ 2 ) piece ℓ 1 ℓ 2

  27. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . ℓ 1 ℓ 2

  28. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. u w ℓ 1 ℓ 2 x v

  29. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. Consider the segment wv : Case 1: No edge traverses wv u w ℓ 1 ℓ 2 x v

  30. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. Consider the segment wv : Case 1: No edge traverses wv Then due to maximality ( w, v ) exists u w ℓ 1 ℓ 2

  31. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. Consider the segment wv : Case 2: An edge e traverses wv u w ℓ 1 ℓ 2 x v

  32. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. Consider the segment wv : Case 2: An edge e traverses wv Due to fan-planarity, one end-vertex of e must be either u or x u w ℓ 1 ℓ 2 x v z

  33. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. Consider the segment wv : Case 2: An edge e traverses wv Any edge ( y, v ) is s.t. y = w , otherwise γ is not fan-planar y u w ℓ 1 ℓ 2 x v z

  34. 2 -Layer Bicon. Fan-planar Graph → Snake Lemma 2 Let G be biconnected graph. If G admits a maximal 2 -layer fan-planar embedding γ then G is a snake. We prove that each piece P is a K 2 ,n for some n ≥ 2 . Claim 1: Let ( u, v ) and ( w, x ) be a pair of crossing edges in γ [ P ] . Then the edges ( u, x ) and ( w, v ) exist. Consider the segment wv : Case 2: An edge e traverses wv Any edge ( y, v ) is s.t. y = w , otherwise γ is not fan-planar y u w ℓ 1 ℓ 2 x v z

Recommend


More recommend