Rectangular Drawing Imo Lieberwerth. Content Introduction Rectangular Drawing and Matching Thomassen’s Theorem Rectangular drawing algorithm Advanced.

Slides:



Advertisements
Similar presentations
Great Theoretical Ideas in Computer Science
Advertisements

Great Theoretical Ideas in Computer Science for Some.
Octagonal Drawing Johan van Rooij. Overview What is an octagonal drawing Good slicing graphs Octagonal drawing algorithm for good slicing graphs Correctness.
Planar graphs Algorithms and Networks. Planar graphs2 Can be drawn on the plane without crossings Plane graph: planar graph, given together with an embedding.
Connectivity - Menger’s Theorem Graphs & Algorithms Lecture 3.
Planar Graphs: Coloring and Drawing
 Theorem 5.9: Let G be a simple graph with n vertices, where n>2. G has a Hamilton circuit if for any two vertices u and v of G that are not adjacent,
Orthogonal Drawing Kees Visser. Overview  Introduction  Orthogonal representation  Flow network  Bend optimal drawing.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
1 Constructing Splits Graphs Author: Andreas W.M. Dress Daniel H. Huson Presented by: Bakhtiyar Uddin.
Map Overlay Algorithm. Birch forest Wolves Map 1: Vegetation Map 2: Animals.
Bayesian Networks, Winter Yoav Haimovitch & Ariel Raviv 1.
Convex drawing chapter 5 Ingeborg Groeneweg. Summery What is convex drawing What is convex drawing Some definitions Some definitions Testing convexity.
Great Theoretical Ideas in Computer Science for Some.
Applications of Euler’s Formula for Graphs Hannah Stevens.
Introduction to Line Graphs Emphasizing their construction, clique decompositions, and regularity.
 Graph Graph  Types of Graphs Types of Graphs  Data Structures to Store Graphs Data Structures to Store Graphs  Graph Definitions Graph Definitions.
GOLOMB RULERS AND GRACEFUL GRAPHS
Great Theoretical Ideas in Computer Science.
1 Discrete Structures & Algorithms Graphs and Trees: II EECE 320.
Rectangular Drawing (continue) Harald Scheper. Overview algorithm (directions) algorithm in linear time outline of algorithm (placement) Rect. Drawings.
Graph Drawing Introduction 2005/2006. Graph Drawing: Introduction2 Contents Applications of graph drawing Planar graphs: some theory Different types of.
Convex Grid Drawings of 3-Connected Plane Graphs Erik van de Pol.
What is the next line of the proof? a). Let G be a graph with k vertices. b). Assume the theorem holds for all graphs with k+1 vertices. c). Let G be a.
2IL90: Graph Drawing Introduction Fall Graphs  Vertices  Edges.
Graph Colouring Lecture 20: Nov 25.
Is the following graph Hamiltonian- connected from vertex v? a). Yes b). No c). I have absolutely no idea v.
Chapter 4: Straight Line Drawing Ronald Kieft. Contents Introduction Algorithm 1: Shift Method Algorithm 2: Realizer Method Other parts of chapter 4 Questions?
1 Separator Theorems for Planar Graphs Presented by Shira Zucker.
Drawing of G. Planar Embedding of G Proposition Proof. 1. Consider a drawing of K 5 or K 3,3 in the plane. Let C be a spanning cycle. 2. If the.
Floorplanning. Obtained by subdividing a given rectangle into smaller rectangles. Each smaller rectangle corresponds to a module.
Chapter 15 Graph Theory © 2008 Pearson Addison-Wesley.
Minimum Spanning Trees. Subgraph A graph G is a subgraph of graph H if –The vertices of G are a subset of the vertices of H, and –The edges of G are a.
1/22/03Tucker, Applied Combinatorics, Section EDGE COUNTING TUCKER, APPLIED COMBINATORICS, SECTION 1.3, GROUP B Michael Duquette & Amanda Dargie.
9.2 Graph Terminology and Special Types Graphs
Graph Theory Ch6 Planar Graphs. Basic Definitions  curve, polygon curve, drawing  crossing, planar, planar embedding, and plane graph  open set  region,
Subdivision of Edge In a graph G, subdivision of an edge uv is the operation of replacing uv with a path u,w,v through a new vertex w.
Planar Graphs: Euler's Formula and Coloring Graphs & Algorithms Lecture 7 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
3.3 Matchings and Factors: Matchings in General Graphs This copyrighted material is taken from Introduction to Graph Theory, 2 nd Ed., by Doug West; and.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
1 Orthogonal Drawing (continued)  Sections 8.3 – 8.5 from the book  Bert Spaan.
Canonical Decomposition, Realizer, Schnyder Labeling and Orderly Spanning Trees of Plane Graphs Kazuyuki Miura, Machiko Azuma and Takao Nishizeki title.
Fan-planar Graphs: Combinatorial Properties and Complexity results Carla Binucci, Emilio Di Giacomo, Walter Didimo, Fabrizio Montecchiani, Maurizio Patrignani,
Drawing Plane Graphs Takao Nishizeki Tohoku University.
5.2 Trees  A tree is a connected graph without any cycles.
Planar Graphs Graph Coloring
Graph Colouring Lecture 20: Nov 25. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including.
Graph theory and networks. Basic definitions  A graph consists of points called vertices (or nodes) and lines called edges (or arcs). Each edge joins.
MAT 2720 Discrete Mathematics Section 8.2 Paths and Cycles
Introduction to Graph Theory
1 Assignment #3 is posted: Due Thursday Nov. 15 at the beginning of class. Make sure you are also working on your projects. Come see me if you are unsure.
COMPSCI 102 Introduction to Discrete Mathematics.
Algorithms and Networks
Great Theoretical Ideas In Computer Science
Discrete Mathematics Graph: Planar Graph Yuan Luo
Graph Drawing.
Graph Theory CSRU1400, Fall 2007 Ellen Zhang.
Applied Combinatorics, 4th Ed. Alan Tucker
Graph theory Definitions Trees, cycles, directed graphs.
What is the next line of the proof?
Great Theoretical Ideas in Computer Science
Discrete Mathematics for Computer Science
Graph.
Problem Solving 4.
Tohoku University.
Chapter 15 Graph Theory © 2008 Pearson Addison-Wesley.
Lecture 21 Network Flow, Part 1
N(S) ={vV|uS,{u,v}E(G)}
Planarity.
Agenda Review Lecture Content: Shortest Path Algorithm
Presentation transcript:

Rectangular Drawing Imo Lieberwerth

Content Introduction Rectangular Drawing and Matching Thomassen’s 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 G d constructed from G has a perfect matching. G d 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 1 if 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 G d Add a complete bipartite graph K to G d inside each inner face with a label x K (a, b) where a = 4 – n 1 and b = n x n 1 = number of angles with label 1 n 1 ≤ 4 n x = number of angles with x The idea of adding K originates from Tutte’s transformation for finding an “f-factor” of a graph

Matching A matching M of G d is a set of pairwise non- adjacent edges in G d Perfect matching: if an edge in M is incident to each vertex of G d 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 G d of G has a perfect matching. D can be found in time O(n 1.5 ) whenever G has D.

Thomassen’s 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 Thomassen’s Theorem: G has a rectangular drawing if and only if G has no bad cycle

Number of corners

Sufficiency Lemma 1: Let J 1, J 2, …, J p be the C o (G)-components of a plane graph G, and let G i = C o (G) U J i, 1 ≤ i ≤ p. Then G has a rectangular drawing with corners a, b, c and d if and only if each G i has a rectangular drawing with corners a, b, c and d

Critical cycle

Boundary face Lemma 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 P c and P cc

Lemma & proof Lemma 3: Assume that a cycle C in the C o (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-path A path is westmost if: P starts at the second vertex of P N P ends at the second last vertex of P S The number of edges in G P is minimum Counterclockwise depth-first search w

Lemma Lemma 4: If G has no bad cycle and has no boundary NS-, SN-, EW- or WE-path, then G has a partition-pair P c and P cc

Case 1

Case 2

Case 3.1

Illustration case 3.2

Case 3.2

After the break Rectangular drawing algorithm Advanced topics

Questions?