Balanced Circle Packings for Planar Graphs Md. Jawaherul Alam David - - PowerPoint PPT Presentation

balanced circle packings for planar graphs
SMART_READER_LITE
LIVE PREVIEW

Balanced Circle Packings for Planar Graphs Md. Jawaherul Alam David - - PowerPoint PPT Presentation

University of California, Irvine University of Arizona Graph Drawing Wrzburg September 24, 2014 Balanced Circle Packings for Planar Graphs Md. Jawaherul Alam David Epqsuein Stepien G. Kobovrov Michael T . Goodsich Sergfy Pupyrev .


slide-1
SLIDE 1

Balanced Circle Packings for Planar Graphs

  • Md. Jawaherul Alam

Stepien G. Kobovrov Sergfy Pupyrev

University of Arizona

David Epqsuein Michael T . Goodsich

University of California, Irvine

Graph Drawing Würzburg – September 24, 2014

slide-2
SLIDE 2

.

Circle Packing

7 6 5 3 2 8 1 9 4

3 2 9 1 4 5 8

■ Contact representation with circles

Vertices are interior-disjoint circles Edges are contacts between circles Any planar graph has a circle-packing [Koebe, 1936] Sizes of circles may vary exponentially

  • Md. Jawaherul Alam

GD 2014

slide-3
SLIDE 3

.

Circle Packing

7 6 5 3 2 8 1 9 4

3 2 9 1 4 5 8

■ Contact representation with circles ■ Vertices are interior-disjoint circles ■ Edges are contacts between circles

Any planar graph has a circle-packing [Koebe, 1936] Sizes of circles may vary exponentially

  • Md. Jawaherul Alam

GD 2014

slide-4
SLIDE 4

.

Circle Packing

7 6 5 3 2 8 1 9 4

3 2 9 1 4 5 8

■ Contact representation with circles ■ Vertices are interior-disjoint circles ■ Edges are contacts between circles

√ Any planar graph has a circle-packing [Koebe, 1936] Sizes of circles may vary exponentially

  • Md. Jawaherul Alam

GD 2014

slide-5
SLIDE 5

.

Circle Packing

7 6 5 3 2 8 1 9 4

3 2 9 1 4 5 8

■ Contact representation with circles ■ Vertices are interior-disjoint circles ■ Edges are contacts between circles

√ Any planar graph has a circle-packing [Koebe, 1936] × Sizes of circles may vary exponentially

  • Md. Jawaherul Alam

GD 2014

slide-6
SLIDE 6

.

Circle Packing: Variation in Sizes Goal: Balanced Circle-Packing

Polynomial ratio between maximum and minimum diameter

  • Md. Jawaherul Alam

GD 2014

slide-7
SLIDE 7

.

Circle Packing: Variation in Sizes Goal: Balanced Circle-Packing

Polynomial ratio between maximum and minimum diameter

  • Md. Jawaherul Alam

GD 2014

slide-8
SLIDE 8

.

Circle Packing: Variation in Sizes Goal: Balanced Circle-Packing

■ Polynomial ratio between maximum and minimum diameter

  • Md. Jawaherul Alam

GD 2014

slide-9
SLIDE 9

.

Related Work

Circle Packing:

■ Any plane graph has a circle-packing [Koebe, 1936]. ■ Any 3-connected plane graph has a primal-dual circle packing

[Brightwell and Scheinerman, 1993].

Balanced Circle Packing:

It is NP-complete to test whether a graph admits contact representation with unit circles [Breu and Kirkpatrick, 1998]. Disk Intersection Graphs: In a realization with integer radii, radius of is sometimes necessary and always sufficient [McDiarmid and Müller, 2013].

  • Md. Jawaherul Alam

GD 2014

slide-10
SLIDE 10

.

Related Work

Circle Packing:

■ Any plane graph has a circle-packing [Koebe, 1936]. ■ Any 3-connected plane graph has a primal-dual circle packing

[Brightwell and Scheinerman, 1993].

Balanced Circle Packing:

■ It is NP-complete to test whether a graph admits contact

representation with unit circles [Breu and Kirkpatrick, 1998]. Disk Intersection Graphs: In a realization with integer radii, radius of is sometimes necessary and always sufficient [McDiarmid and Müller, 2013].

  • Md. Jawaherul Alam

GD 2014

slide-11
SLIDE 11

.

Related Work

Circle Packing:

■ Any plane graph has a circle-packing [Koebe, 1936]. ■ Any 3-connected plane graph has a primal-dual circle packing

[Brightwell and Scheinerman, 1993].

Balanced Circle Packing:

■ It is NP-complete to test whether a graph admits contact

representation with unit circles [Breu and Kirkpatrick, 1998]. Disk Intersection Graphs:

■ In a realization with integer radii, radius of 22Θ(n) is sometimes

necessary and always sufficient [McDiarmid and Müller, 2013].

  • Md. Jawaherul Alam

GD 2014

slide-12
SLIDE 12

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths.

k d b c e f g l p h i j m n

  • a
  • Md. Jawaherul Alam

GD 2014

slide-13
SLIDE 13

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity.

k d b c e f g l p h i j m n

  • a
  • Md. Jawaherul Alam

GD 2014

slide-14
SLIDE 14

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree.

k d b c e f g l p h i j m n

  • a
  • Md. Jawaherul Alam

GD 2014

slide-15
SLIDE 15

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree. √ bounded tree-depth.

k d b c e f g l p h i j m n

  • a
  • Md. Jawaherul Alam

GD 2014

slide-16
SLIDE 16

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree. √ bounded tree-depth.

k d b c e f g l p h i j m n

  • a
  • Md. Jawaherul Alam

GD 2014

slide-17
SLIDE 17

.

Balanced Packing for Trees

k d b c e f g l p h i j m n

  • a
  • Md. Jawaherul Alam

GD 2014

slide-18
SLIDE 18

.

Balanced Packing for Trees

k d b c e f g l p h i j m n

  • a

b c d e f g h i j k l m n o p a ■ Compute balanced square-contact representation

– length is (roughly) proportional to the number of leaves in subtree

  • Md. Jawaherul Alam

GD 2014

slide-19
SLIDE 19

.

Balanced Packing for Trees

k d b c e f g l p h i j m n

  • a

b c d e f g h i j k l m n o p a ■ Compute balanced square-contact representation

– length is (roughly) proportional to the number of leaves in subtree

  • Md. Jawaherul Alam

GD 2014

slide-20
SLIDE 20

.

Balanced Packing for Trees

k d b c e f g l p h i j m n

  • a

b c d e f g h i j k l m n o p a a c d e f g l p h i m j k n o b ■ Compute balanced square-contact representation ■ Draw Inscribing circles inside the squares

  • Md. Jawaherul Alam

GD 2014

slide-21
SLIDE 21

.

Balanced Packing for Trees

k d b c e f g l p h i j m n

  • a

b c d e f g h i j k l m n o p a a c d e f g l p h i m j k n o b ■ Compute balanced square-contact representation ■ Draw Inscribing circles inside the squares ■ Translate downwards

  • Md. Jawaherul Alam

GD 2014

slide-22
SLIDE 22

.

Balanced Packing for Trees

k d b c e f g l p h i j m n

  • a

b c d e f g h i j k l m n o p a a m k n o j d h i b g f e l p c ■ Compute balanced square-contact representation ■ Draw Inscribing circles inside the squares ■ Translate downwards

  • Md. Jawaherul Alam

GD 2014

slide-23
SLIDE 23

.

Augmented Fan-Trees

k d b c e f g l p h i j m n

  • a

k d b c e f g l p h i j m n

  • a

■ Add a path between the children of every vertex

Claim:

Any subgraph of an augmented fan-tree has a balanced packing

  • Md. Jawaherul Alam

GD 2014

slide-24
SLIDE 24

.

Augmented Fan-Trees

k d b c e f g l p h i j m n

  • a

k d b c e f g l p h i j m n

  • a

■ Add a path between the children of every vertex

Claim:

Any subgraph of an augmented fan-tree has a balanced packing

  • Md. Jawaherul Alam

GD 2014

slide-25
SLIDE 25

.

Packing for Subgraphs of Augmented Fan-Trees

7 4 5 6 1 2 3 4 5 6 7 1 2 3 4 5 6 7

ε

1 2 3 4 5 6 7 1 2 3

p p p p

■ Follow the algorithm for balanced packing of the tree ■ Modify the circles for the children of each vertex

  • Md. Jawaherul Alam

GD 2014

slide-26
SLIDE 26

.

Balanced Packing for Cactus Graphs

  • Md. Jawaherul Alam

GD 2014

slide-27
SLIDE 27

.

Balanced Packing for Cactus Graphs

  • Md. Jawaherul Alam

GD 2014

slide-28
SLIDE 28

.

Balanced Packing for Cactus Graphs

Each biconnected component is a cycle or a single edge Each cactus graph is a subgraph of an augmented fan-tree

  • Md. Jawaherul Alam

GD 2014

slide-29
SLIDE 29

.

Balanced Packing for Cactus Graphs

Each biconnected component is a cycle or a single edge

■ Each cactus graph is a subgraph of an augmented fan-tree

  • Md. Jawaherul Alam

GD 2014

slide-30
SLIDE 30

.

Balanced Packing for Cactus Graphs

Each biconnected component is a cycle or a single edge

■ Each cactus graph is a subgraph of an augmented fan-tree

Each cactus graph admits a balanced packing

  • Md. Jawaherul Alam

GD 2014

slide-31
SLIDE 31

.

Balanced Packing for Cactus Graphs

Each biconnected component is a cycle or a single edge

■ Each cactus graph is a subgraph of an augmented fan-tree

⇒ Each cactus graph admits a balanced packing

  • Md. Jawaherul Alam

GD 2014

slide-32
SLIDE 32

.

Balanced Packing for Outerpaths

Outerplanar graph whose weak dual is a path

  • Md. Jawaherul Alam

GD 2014

slide-33
SLIDE 33

.

Balanced Packing for Outerpaths

3 2 1 2 3 4 5 6 7 8 9

Outerplanar graph whose weak dual is a path

■ Draw Circles for spine vertices

  • Md. Jawaherul Alam

GD 2014

slide-34
SLIDE 34

.

Balanced Packing for Outerpaths

3 2 1 2 3 4 5 6 7 8 9 θ θ θ θ

Outerplanar graph whose weak dual is a path

■ Draw Circles for spine vertices ■ Rotate to create space for other vertices

  • Md. Jawaherul Alam

GD 2014

slide-35
SLIDE 35

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree. √ bounded tree-depth.

  • Md. Jawaherul Alam

GD 2014

slide-36
SLIDE 36

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree. √ bounded tree-depth.

  • Md. Jawaherul Alam

GD 2014

slide-37
SLIDE 37

.

Balanced Packing for Maximal Planar Graphs

[Malitz and Papakostas, 1994]

■ G: maximal planar graph ■ ∆: maximum vertex-degree in G

admits circle packing where ratio of radii of adjacent circles , .

Corollary:

A maximal planar graph with bounded degree and logarithmic diameter has a balanced packing.

  • Md. Jawaherul Alam

GD 2014

slide-38
SLIDE 38

.

Balanced Packing for Maximal Planar Graphs

[Malitz and Papakostas, 1994]

■ G: maximal planar graph ■ ∆: maximum vertex-degree in G

⇒ G admits circle packing where ratio of radii of adjacent circles r

R ≥ α∆−2, α ≈ 0.15.

R r

Corollary:

A maximal planar graph with bounded degree and logarithmic diameter has a balanced packing.

  • Md. Jawaherul Alam

GD 2014

slide-39
SLIDE 39

.

Balanced Packing for Maximal Planar Graphs

[Malitz and Papakostas, 1994]

■ G: maximal planar graph ■ ∆: maximum vertex-degree in G

⇒ G admits circle packing where ratio of radii of adjacent circles r

R ≥ α∆−2, α ≈ 0.15.

R r

Corollary:

A maximal planar graph with bounded degree and logarithmic diameter has a balanced packing.

  • Md. Jawaherul Alam

GD 2014

slide-40
SLIDE 40

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

  • Md. Jawaherul Alam

GD 2014

slide-41
SLIDE 41

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

  • Md. Jawaherul Alam

GD 2014

slide-42
SLIDE 42

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

  • Md. Jawaherul Alam

GD 2014

slide-43
SLIDE 43

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

  • Md. Jawaherul Alam

GD 2014

slide-44
SLIDE 44

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

  • Md. Jawaherul Alam

GD 2014

slide-45
SLIDE 45

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

  • Md. Jawaherul Alam

GD 2014

slide-46
SLIDE 46

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

Theorem:

A planar graph with bounded degree and

  • uterplanarity has a balanced packing.
  • Md. Jawaherul Alam

GD 2014

slide-47
SLIDE 47

.

Packing for Bounded Degree and Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k log n.

■ Idea: Triangulate with O(∆) degree and k log n diameter.

Theorem:

A planar graph with bounded degree and

  • uterplanarity has a balanced packing.
  • Md. Jawaherul Alam

GD 2014

slide-48
SLIDE 48

.

Bounded Degree and Logarithmic Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k+logn.

■ Idea: Triangulate with O(∆) degree and k + log n diameter

using weight-balanced tree.

Theorem:

A planar graph with bounded degree and

  • uterplanarity has a balanced packing.
  • Md. Jawaherul Alam

GD 2014

slide-49
SLIDE 49

.

Bounded Degree and Logarithmic Outerplanarity

Claim:

A k-outerplanar graph with maximum degree ∆ has packing with ratio of radii ≤ f(∆)k+logn.

■ Idea: Triangulate with O(∆) degree and k + log n diameter

using weight-balanced tree.

Theorem:

A planar graph with bounded degree and O(log n) outerplanarity has a balanced packing.

  • Md. Jawaherul Alam

GD 2014

slide-50
SLIDE 50

.

Negative Results

No balanced circle packing even with × Bounded Outerplanarity (2-outerplanar), linear degree. × Bounded Degree, Linear Outerplanarity. × Bounded treewidth.

  • Md. Jawaherul Alam

GD 2014

slide-51
SLIDE 51

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree. √ bounded tree-depth.

  • Md. Jawaherul Alam

GD 2014

slide-52
SLIDE 52

.

Our Result

Balanced circle packing

√ trees. √ cactus graphs. √ outerpaths. √ bounded degree and O(log n) outerplanarity. × bounded degree but linear outerplanarity. × bounded outerplanarity but linear degree. √ bounded tree-depth.

  • Md. Jawaherul Alam

GD 2014

slide-53
SLIDE 53

.

Summary

■ Balanced circle packing for graphs with

– bounded degree and – O(log n) outerplanarity – both conditions are necessary

■ Balanced circle packing for trees, cactus graphs and outerpaths ■ Balanced circle packing for graphs with bounded tree-depth

  • Md. Jawaherul Alam

GD 2014

slide-54
SLIDE 54

.

Future Work and Open Problems

■ Balanced circle packing for outerplanar graphs

– Algorithm or counter-example

  • Md. Jawaherul Alam

GD 2014

slide-55
SLIDE 55

.

Future Work and Open Problems

■ Balanced circle packing for outerplanar graphs

– Algorithm or counter-example

■ Balanced intersection representation

– 2-outerplanar graphs? – k-outerplanar graphs?

  • Md. Jawaherul Alam

GD 2014

slide-56
SLIDE 56