Towards characterizing graphs with a sliceable rectangular dual - - PowerPoint PPT Presentation

towards characterizing graphs with a sliceable
SMART_READER_LITE
LIVE PREVIEW

Towards characterizing graphs with a sliceable rectangular dual - - PowerPoint PPT Presentation

Towards characterizing graphs with a sliceable rectangular dual Vincent Kusters Bettina Speckmann ETH Zurich TU Eindhoven September 26, 2015 Cartograms Cartograms NO IS SE FI DK EE RU LT LV IE GB BY PL NL DE BE UA CZ SK


slide-1
SLIDE 1

Towards characterizing graphs with a sliceable rectangular dual

Vincent Kusters Bettina Speckmann

ETH Zurich TU Eindhoven

September 26, 2015

slide-2
SLIDE 2

Cartograms

slide-3
SLIDE 3

Cartograms

DE BE UA CY MT MK BA EE NO GR AL RU CH IE PL RO SE CS HU CZ IS PT TR IT ES BG GB LT DK BY SI LV SK NL FI AT FR HR

slide-4
SLIDE 4

Rectangular partitions

A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.

slide-5
SLIDE 5

Rectangular partitions

A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.

slide-6
SLIDE 6

Rectangular partitions

A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.

slide-7
SLIDE 7

Rectangular partitions

A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.

✔ ✗

slide-8
SLIDE 8

Rectangular duals

A rectangular dual of a planar graph G is a rectangular partition R, such that:

▶ vertices in G correspond to rectangles in R and ▶ edges in G correspond to shared borders in R.

slide-9
SLIDE 9

Rectangular duals

A rectangular dual of a planar graph G is a rectangular partition R, such that:

▶ vertices in G correspond to rectangles in R and ▶ edges in G correspond to shared borders in R.

slide-10
SLIDE 10

Corner assignments

A corner assignment or extended graph E(G) of G is an extention of G with four vertices. The four vertices form the outer cycle of E(G).

slide-11
SLIDE 11

Corner assignments

A corner assignment or extended graph E(G) of G is an extention of G with four vertices. The four vertices form the outer cycle of E(G).

slide-12
SLIDE 12

Corner assignments

A corner assignment or extended graph E(G) of G is an extention of G with four vertices. The four vertices form the outer cycle of E(G).

slide-13
SLIDE 13

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

slide-14
SLIDE 14

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

. . .

slide-15
SLIDE 15

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

. . . . . .

slide-16
SLIDE 16

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

. . . . . . . . .

slide-17
SLIDE 17

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

. . . . . . . . . . . .

slide-18
SLIDE 18

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

. . . . . . . . . . . .

slide-19
SLIDE 19

Regular edge labelings

A regular edge labeling of an extended graph E(G) is a partition of the interior edges of E(G) into red and blue directed edges.

. . . . . . . . . . . .

slide-20
SLIDE 20

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-21
SLIDE 21

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-22
SLIDE 22

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-23
SLIDE 23

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-24
SLIDE 24

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-25
SLIDE 25

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-26
SLIDE 26

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-27
SLIDE 27

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-28
SLIDE 28

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-29
SLIDE 29

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-30
SLIDE 30

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-31
SLIDE 31

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-32
SLIDE 32

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-33
SLIDE 33

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-34
SLIDE 34

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-35
SLIDE 35

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-36
SLIDE 36

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-37
SLIDE 37

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-38
SLIDE 38

Sliceable rectangular duals

A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:

slide-39
SLIDE 39

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

slide-40
SLIDE 40

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

slide-41
SLIDE 41

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

slide-42
SLIDE 42

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

slide-43
SLIDE 43

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

▶ G has no separating 4-cycle

slide-44
SLIDE 44

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

▶ G has no separating 4-cycle

then sliceable (Yeap and Sarrafzadeh 1995)

slide-45
SLIDE 45

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

▶ G has no separating 4-cycle

then sliceable (Yeap and Sarrafzadeh 1995)

▶ G has a separating 4-cycle

slide-46
SLIDE 46

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

▶ G has no separating 4-cycle

then sliceable (Yeap and Sarrafzadeh 1995)

▶ G has a separating 4-cycle

then ???

slide-47
SLIDE 47

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

▶ G has no separating 4-cycle

then sliceable (Yeap and Sarrafzadeh 1995)

▶ G has a separating 4-cycle

then ???

▶ G has exactly one separating 4-cycle

slide-48
SLIDE 48

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ E(G) has a separating 3-cycle

then not sliceable (Ko´

zmi´ nski and Kinnen 1985)

▶ G has no separating 4-cycle

then sliceable (Yeap and Sarrafzadeh 1995)

▶ G has a separating 4-cycle

then ???

▶ G has exactly one separating 4-cycle

then sliceable ⟺ not rotating windmill

slide-49
SLIDE 49

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ G has exactly one separating 4-cycle

then sliceable ⟺ not rotating windmill

slide-50
SLIDE 50

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ G has exactly one separating 4-cycle

then sliceable ⟺ not rotating windmill

Proof.

⟹: Show that rotating windmills are not sliceable.

slide-51
SLIDE 51

Characterizing sliceable graphs

An extended graph is sliceable if it has a sliceable rectangular dual.

▶ G has exactly one separating 4-cycle

then sliceable ⟺ not rotating windmill

Proof.

⟹: Show that rotating windmills are not sliceable. ⟸: Given an extended graph E(G) that is not a rotating windmill, show that we can find a slice that splits E(G) into extended graphs that are not rotating windmills.

slide-52
SLIDE 52

Rotating windmills

1 4 ↑ 3

The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-53
SLIDE 53

Rotating windmills

1 4 ↑ 3

The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-54
SLIDE 54

Rotating windmills

1 4 ↑ 3

The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-55
SLIDE 55

Rotating windmills

1 4 ↑ 3

The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-56
SLIDE 56

Rotating windmills

1 4 ↑ 3

The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-57
SLIDE 57

Rotating windmills

1 4 ↑ 3

The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-58
SLIDE 58

Rotating windmills

1 4 3

  • The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-59
SLIDE 59

Rotating windmills

1 4 3

  • The following extended graphs are rotating windmills:

▶ the windmill, ▶ the four base rotating windmills, ▶ any extended graph obtained by applying one of

three construction steps.

slide-60
SLIDE 60

Rotating windmills

1 4 3

slide-61
SLIDE 61

Rotating windmills

1 4 3

slide-62
SLIDE 62

Rotating windmills

1 4 3

slide-63
SLIDE 63

Rotating windmills

1 4 3

slide-64
SLIDE 64

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮

slide-65
SLIDE 65

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮

slide-66
SLIDE 66

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋯ ⋮

slide-67
SLIDE 67

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋯ ⋮ Case 1

slide-68
SLIDE 68

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋯ ⋮ Case 1

slide-69
SLIDE 69

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋯ ⋮ Case 1

slide-70
SLIDE 70

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮ Case 1

slide-71
SLIDE 71

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮ Case 1

slide-72
SLIDE 72

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮ Case 1

slide-73
SLIDE 73

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮ Case 1

slide-74
SLIDE 74

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋯ ⋮ ⋮ Case 1

slide-75
SLIDE 75

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋯ ⋮ Case 2

slide-76
SLIDE 76

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋮ Case 2 ⋯

slide-77
SLIDE 77

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋯ ⋮ ⋮ Case 2 ⋯

slide-78
SLIDE 78

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮

slide-79
SLIDE 79

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮

slide-80
SLIDE 80

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋮ ⋯

slide-81
SLIDE 81

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-82
SLIDE 82

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-83
SLIDE 83

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-84
SLIDE 84

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-85
SLIDE 85

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-86
SLIDE 86

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-87
SLIDE 87

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮

slide-88
SLIDE 88

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋯ ⋮ ⋮ ⋮

slide-89
SLIDE 89

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋮ ⋮ ⋯ ⋮

slide-90
SLIDE 90

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋮ ⋮ ⋯ ⋮

slide-91
SLIDE 91

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋮ ⋮ ⋯ ⋮

slide-92
SLIDE 92

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋮ ⋮ ⋯ ⋮

slide-93
SLIDE 93

Rotating windmills

1 4 3

  • ⟹: Rotating windmills are not sliceable.

⋮ ⋯ ⋮ ⋮ ⋯ ⋮

slide-94
SLIDE 94

Conclusions

Theorem

Rotating windmills are exactly the nonsliceable graphs with exactly

  • ne separating 4-cycle.
slide-95
SLIDE 95

Conclusions

Theorem

Rotating windmills are exactly the nonsliceable graphs with exactly

  • ne separating 4-cycle.

Future work:

▶ Characterize the sliceable graphs with at least two separating

4-cycles.

▶ We conjecture that the nonsliceable graphs can be

constructed by “glueing” rotating windmills together.

slide-96
SLIDE 96

Conclusions

Theorem

Rotating windmills are exactly the nonsliceable graphs with exactly

  • ne separating 4-cycle.

Future work:

▶ Characterize the sliceable graphs with at least two separating

4-cycles.

▶ We conjecture that the nonsliceable graphs can be

constructed by “glueing” rotating windmills together. Thanks!

slide-97
SLIDE 97

References I

Ko´ zmi´ nski, K. and E. Kinnen (1985). “Rectangular duals of planar graphs”. In: Networks 15.2, pp. 145–157. ISSN: 0028-3045. Mumford, E. (2008). “Drawing Graphs for Cartographic Applications”. http://repository.tue.nl/636963. PhD thesis. TU Eindhoven. Yeap, G. and M. Sarrafzadeh (1995). “Sliceable floorplanning by graph dualization”. In: SIAM J. Disc. Math. 8.2, pp. 258–280.