Planar Octilinear Drawings with One Bend Per Edge M. A. Bekos 1 , M. - - PowerPoint PPT Presentation

planar octilinear drawings with one bend per edge
SMART_READER_LITE
LIVE PREVIEW

Planar Octilinear Drawings with One Bend Per Edge M. A. Bekos 1 , M. - - PowerPoint PPT Presentation

Planar Octilinear Drawings with One Bend Per Edge M. A. Bekos 1 , M. Gronemann 2 , M. Kaufmann 1 , R. Krug 1 1 Wilhelm Schickard Institut f ur Informatik, Universit at T ubingen, Germany 2 Institut fur Informatik, Universit at zu K


slide-1
SLIDE 1

Planar Octilinear Drawings with One Bend Per Edge

  • M. A. Bekos1, M. Gronemann2, M. Kaufmann1, R. Krug1

1Wilhelm Schickard Institut f¨

ur Informatik, Universit¨ at T¨ ubingen, Germany

2Institut fur Informatik, Universit¨

at zu K¨

  • ln, Germany

26.09.2014

slide-2
SLIDE 2

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Motivation

slide-3
SLIDE 3

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Previous- and Related Work

  • M. N¨
  • llenburg: Automated drawings of metro maps [2005]

NP-hard if 0 bends is possible

slide-4
SLIDE 4

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Previous- and Related Work

  • M. N¨
  • llenburg: Automated drawings of metro maps [2005]

NP-hard if 0 bends is possible

  • B. Keszegh et al.: Drawing planar graphs of bounded degree with

few slopes [2013]

  • maxdeg. 8 with 2 bends
slide-5
SLIDE 5

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Previous- and Related Work

  • M. N¨
  • llenburg: Automated drawings of metro maps [2005]

NP-hard if 0 bends is possible

  • B. Keszegh et al.: Drawing planar graphs of bounded degree with

few slopes [2013]

  • maxdeg. 8 with 2 bends
  • E. Di Giacomo et al.: The planar slope number of subcubic

graphs [2014]

  • maxdeg. 3 with 0 bends
slide-6
SLIDE 6

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph

slide-7
SLIDE 7

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph

slide-8
SLIDE 8

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph Canonical ordering (for triconnected graphs)

slide-9
SLIDE 9

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph Canonical ordering (for triconnected graphs)

Partitioning of G into m paths with P0 = {v1,v2} and Pm = {vn} such that:

slide-10
SLIDE 10

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph Canonical ordering (for triconnected graphs)

Partitioning of G into m paths with P0 = {v1,v2} and Pm = {vn} such that: Gk is biconnected

slide-11
SLIDE 11

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph Canonical ordering (for triconnected graphs)

Partitioning of G into m paths with P0 = {v1,v2} and Pm = {vn} such that: Gk is biconnected All neighbors of Pk+1 in Gk are on the outer face of Gk

slide-12
SLIDE 12

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph Canonical ordering (for triconnected graphs)

Partitioning of G into m paths with P0 = {v1,v2} and Pm = {vn} such that: Gk is biconnected All neighbors of Pk+1 in Gk are on the outer face of Gk All vertices of Pk have at least one neighbor in a Pj with j > k

slide-13
SLIDE 13

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Preliminaries

k-planar graph k-connected graph Canonical ordering (for triconnected graphs)

Partitioning of G into m paths with P0 = {v1,v2} and Pm = {vn} such that: Gk is biconnected All neighbors of Pk+1 in Gk are on the outer face of Gk All vertices of Pk have at least one neighbor in a Pj with j > k

|Pk| = 1 is called singleton, |Pk| > 1 is called chain

slide-14
SLIDE 14

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2

Start of the construction

slide-15
SLIDE 15

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2 v3 v|P1|+2

First Partition

slide-16
SLIDE 16

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2 vi vj v′

i

v′

j Placing a chain may require stretching

slide-17
SLIDE 17

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2 vi vj v′

i

v′

j

Placing a chain

slide-18
SLIDE 18

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

vi v1 v2 v

Placing a singleton

slide-19
SLIDE 19

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

vn v1 v2 v3

Placing of vn step 1

slide-20
SLIDE 20

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v2 vn v3 v1 Final layout

slide-21
SLIDE 21

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Results for 4-planar Graphs

Theorem There exists an infinite class of 4-planar graphs which do not admit bendless octilinear drawings and if they are drawn with at most one bend per edge, then a linear number of bends is required

slide-22
SLIDE 22

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Results for 4-planar Graphs

Theorem There exists an infinite class of 4-planar graphs which do not admit bendless octilinear drawings and if they are drawn with at most one bend per edge, then a linear number of bends is required Theorem Given a triconnected 4-planar graph G, we can compute in O(n) time an octilinear drawing of G with at most one bend per edge on an O(n2)× O(n) integer grid.

slide-23
SLIDE 23

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Non-triconnected Graphs

Extend to biconnected by using SPQR-trees and the triconnected algorithm for the R-nodes

slide-24
SLIDE 24

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Non-triconnected Graphs

Extend to biconnected by using SPQR-trees and the triconnected algorithm for the R-nodes Extend to connected using the BC-tree and the biconnected algorithm

slide-25
SLIDE 25

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2

Start of the construction

slide-26
SLIDE 26

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2 v3 v|P1|+2 First Partition

slide-27
SLIDE 27

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

v1 v2 vi vj v′

i

v′

j

Placing a chain

slide-28
SLIDE 28

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

vi v1 v2 v v′

Placing a singleton

slide-29
SLIDE 29

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

The Triconnected Case

vn v1 v2 v3

Final layout

slide-30
SLIDE 30

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Bad news

v2 v1 Gn Gn+1

Super-polynomial area requirement h(Gn) > w(Gn) w(Gn+1) ≥ 2w(Gn) w(Gn+1) ≥ h(Gn) h(Gn+1) ≥ 2h(Gn)

slide-31
SLIDE 31

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Properties of the 5-planar Algorithm

Theorem Given a triconnected 5-planar graph G, we can compute in O(n2) time an octilinear drawing of G with at most one bend per edge.

slide-32
SLIDE 32

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Non-triconnected Graphs

Extend to biconnected by using SPQR-trees and the triconnected algorithm for the R-nodes

slide-33
SLIDE 33

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Non-triconnected Graphs

Extend to biconnected by using SPQR-trees and the triconnected algorithm for the R-nodes Extend to connected using the BC-tree and the biconnected algorithm

slide-34
SLIDE 34

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

One Bend Per Edge Is Not Always Enough

v1 v2 v3

Outer Face that does not admit a one-bend drawing

slide-35
SLIDE 35

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

One Bend Per Edge Is Not Always Enough

6-planar triangulation in which each is adjacent to only degree 6 (grey) vertices and at most one degree 5 (black) vertex

slide-36
SLIDE 36

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

One Bend Per Edge Is Not Always Enough

f1 G1 f2 G2 Gaug

1

⊕ Gaug

2

f ′

1

f ′

2

Gaug

1

Gaug

2

f ′

1

Γ(Gaug

2

)

Construction of an infinite family of graphs

slide-37
SLIDE 37

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

One Bend Per Edge Is Not Always Enough

f1 G1 f2 G2 Gaug

1

⊕ Gaug

2

f ′

1

f ′

2

Gaug

1

Gaug

2

f ′

1

Γ(Gaug

2

)

Construction of an infinite family of graphs

slide-38
SLIDE 38

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

One Bend Per Edge Is Not Always Enough

f1 G1 f2 G2 Gaug

1

⊕ Gaug

2

f ′

1

f ′

2

Gaug

1

Gaug

2

f ′

1

Γ(Gaug

2

)

Construction of an infinite family of graphs

slide-39
SLIDE 39

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

One Bend Per Edge Is Not Always Enough

f1 G1 f2 G2 Gaug

1

⊕ Gaug

2

f ′

1

f ′

2

Gaug

1

Gaug

2

f ′

1

Γ(Gaug

2

)

Construction of an infinite family of graphs

slide-40
SLIDE 40

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Conclusion

4-planar graphs are octilinear drawable with at most one bend per edge in cubic area in linear time

slide-41
SLIDE 41

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Conclusion

4-planar graphs are octilinear drawable with at most one bend per edge in cubic area in linear time 5-planar graphs are octilinear drawable with at most one bend per edge in super-polynomial area in quadratic time

slide-42
SLIDE 42

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Conclusion

4-planar graphs are octilinear drawable with at most one bend per edge in cubic area in linear time 5-planar graphs are octilinear drawable with at most one bend per edge in super-polynomial area in quadratic time There exist 6-planar graphs that do not admit planar octilinear drawings with at most one bend per edge

slide-43
SLIDE 43

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Open Problems

Is it possible to have 4-planar octilinear drawings in less than O(n3) area?

slide-44
SLIDE 44

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Open Problems

Is it possible to have 4-planar octilinear drawings in less than O(n3) area? What is the area requirement of 5-planar (triconnected) graphs?

slide-45
SLIDE 45

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Open Problems

Is it possible to have 4-planar octilinear drawings in less than O(n3) area? What is the area requirement of 5-planar (triconnected) graphs? Do triangle-free 6-planar graph admit one-bend octilinear drawings?

slide-46
SLIDE 46

Introduction 4-planar Graphs 5-planar Graphs 6-planar Graphs Conclusion

Open Problems

Is it possible to have 4-planar octilinear drawings in less than O(n3) area? What is the area requirement of 5-planar (triconnected) graphs? Do triangle-free 6-planar graph admit one-bend octilinear drawings? What is the complexity to determine whether a 6-planar graph admits a one-bend octilinear drawing?