SLIDE 1 Towards characterizing graphs with a sliceable rectangular dual
Vincent Kusters Bettina Speckmann
ETH Zurich TU Eindhoven
September 26, 2015
SLIDE 2
Cartograms
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
Rectangular partitions
A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.
SLIDE 5
Rectangular partitions
A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.
SLIDE 6
Rectangular partitions
A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.
✔
SLIDE 7
Rectangular partitions
A rectangular partition of a rectangle R is a set of non-overlapping rectangles that together form R.
✔ ✗
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 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
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
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
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
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
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
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
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
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
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
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
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 21
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 22
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 23
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 24
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 25
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 26
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 27
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 28
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 29
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 30
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 31
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 32
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 33
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 34
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 35
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 36
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 37
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 38
Sliceable rectangular duals
A rectangular dual is sliceable if it can be recursively partitioned along horizontal or vertical lines:
SLIDE 39
Characterizing sliceable graphs
An extended graph is sliceable if it has a sliceable rectangular dual.
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 Characterizing sliceable graphs
An extended graph is sliceable if it has a sliceable rectangular dual.
▶ E(G) has a separating 3-cycle
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Rotating windmills
1 4 3
SLIDE 61 Rotating windmills
1 4 3
SLIDE 62 Rotating windmills
1 4 3
SLIDE 63 Rotating windmills
1 4 3
SLIDE 64 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮
SLIDE 65 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮
SLIDE 66 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋯ ⋮
SLIDE 67 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋯ ⋮ Case 1
SLIDE 68 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋯ ⋮ Case 1
SLIDE 69 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋯ ⋮ Case 1
SLIDE 70 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮ Case 1
SLIDE 71 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮ Case 1
SLIDE 72 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮ Case 1
SLIDE 73 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮ Case 1
SLIDE 74 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋯ ⋮ ⋮ Case 1
✗
SLIDE 75 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋯ ⋮ Case 2
SLIDE 76 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋮ Case 2 ⋯
SLIDE 77 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋯ ⋮ ⋮ Case 2 ⋯
SLIDE 78 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮
SLIDE 79 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮
SLIDE 80 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋮ ⋯
SLIDE 81 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 82 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 83 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 84 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 85 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 86 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 87 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮
SLIDE 88 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋯ ⋮ ⋮ ⋮
SLIDE 89 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋮ ⋮ ⋯ ⋮
SLIDE 90 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋮ ⋮ ⋯ ⋮
SLIDE 91 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋮ ⋮ ⋯ ⋮
SLIDE 92 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋮ ⋮ ⋯ ⋮
SLIDE 93 Rotating windmills
1 4 3
- ⟹: Rotating windmills are not sliceable.
⋮ ⋯ ⋮ ⋮ ⋯ ⋮
✗
SLIDE 94 Conclusions
Theorem
Rotating windmills are exactly the nonsliceable graphs with exactly
SLIDE 95 Conclusions
Theorem
Rotating windmills are exactly the nonsliceable graphs with exactly
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 Conclusions
Theorem
Rotating windmills are exactly the nonsliceable graphs with exactly
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
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.