Rectangular DrawingImo Lieberwerth
Content Introduction
Rectangular Drawing and Matching
Thomassens Theorem
Rectangular drawing algorithm
Advanced topics
Introduction Conditions Each vertex is drawn as a point Each edge is drawn as a horizontal or vertical line segment, without edge-crossing Each face is drawn as a rectangle Special case of a convex drawing Not every plane graph has a rectangular drawing Rectangular drawing is used in floorplanning
Example
Rectangular Drawing and Matching A graph G with 4 has a rectangular drawing D if and only if a new bipartite graph Gd constructed from G has a perfect matching.
Gd is called a decision graph
Assumption: G is 2-connected
Definitions Angle of vertex v = the angle formed by two edges incident to v
In rectangular drawing alone angles of: 90 = label 1 180 = label 2 270 = label 3
Example of Labeling
Regular labeling A regular labeling of G satisfies: For each vertex the sum of labels is equal to 4 The label of any inner angle is 1 or 2 Every inner face has exactly four angles with label 1 The label of any outer angle is 2 or 3 The outer face has exactly four angles of label 3 Follows: A non-corner vertex v with degree 2, has two labels 2 if d(v) = 3, then one angle with label 2 and the other 1if d(v) = 4, four angles with label 1
Regular labeling (2) A plane graph G has a rectangular drawing if and only if G has a regular labeling
Have to find a regular labeling
Assumptions: convex corners a, b, c, and d of degree 2 are given
Example labeling
Decision graph All vertices wit a label x are vertices of Gd Add a complete bipartite graph K to Gd inside each inner face with a label x K(a, b) where a = 4 n1 and b = nx n1 = number of angles with label 1 n1 4 nx = number of angles with x The idea of adding K originates from Tuttes transformation for finding an f-factor of a graph
Matching A matching M of Gd is a set of pairwise non-adjacent edges in Gd Perfect matching: if an edge in M is incident to each vertex of Gd If an angle with label x and his corresponding edge is contained in a perfect matching, then = label 2 otherwise = label 1
Example labeling
Theorem Let G be a plane graph with 4 and four outer vertices a, b, c and d be designated as corners. Then G has a rectangular drawing D with the designated corners if and only if the decision graph Gd of G has a perfect matching. D can be found in time O(n1.5) whenever G has D.
Thomassens Theorem Assume that G is a 2-connected plane graph with 3 and the four outer vertices of degree two are designated as the corners a, b, c and d. Then G has rectangular drawing if and only if:
any 2-legged cycle contains two or more corners
Any 3-legged cycle contains one or more corners
Definitions leg of cycle k-legged cycle good cycle, bad cycle
Thomassens Theorem: G has a rectangular drawing if and only if G has no bad cycle
Number of corners
SufficiencyLemma 1: Let J1, J2, , Jp be the Co(G)-components of a plane graph G , and let Gi = Co(G) U Ji , 1 i p. Then G has a rectangular drawing with corners a, b, c and d if and only if each Gi has a rectangular drawing with corners a, b, c and d
Critical cycle
Boundary faceLemma 2: If G has no bad cycle, then every boundary NS-, SN-, EW- or WE-path P of G is a partitioning path, that is, G can be splitted along P into two subgraphs, each having no bad cycle
Partition-pair Pc and Pcc
Lemma & proofLemma 3: Assume that a cycle C in the Co(G)-component J has exactly four legs. Then the subgraph G(C) of G inside C has no bad cycle when the four leg-vertices are designated as corners of G(C).
Proof. If G(C) has a bad cycle, then it is also a bad cycle in G, a contradiction to the assumption that G has no bad cycle.
Westmost NS-pathA path is westmost if:P starts at the second vertex of PNP ends at the second last vertex of PSThe number of edges in G P is minimum
Counterclockwise depth-first searchw
LemmaLemma 4: If G has no bad cycle and has no boundary NS-, SN-, EW- or WE-path, then G has a partition-pair Pc and Pcc
Case 1
Case 2
Case 3.1
Illustration case 3.2
Case 3.2
After the breakRectangular drawing algorithm
Advanced topics
Questions?
Hier figuur 6.9 toevoegen
Top Related