Planar Orientations Chapter 4 (4.1-4.6) in the book Written By: Tomer Heber.

Slides:



Advertisements
Similar presentations
Great Theoretical Ideas in Computer Science for Some.
Advertisements

Planar graphs Algorithms and Networks. Planar graphs2 Can be drawn on the plane without crossings Plane graph: planar graph, given together with an embedding.
Orthogonal Drawing Kees Visser. Overview  Introduction  Orthogonal representation  Flow network  Bend optimal drawing.
Walks, Paths and Circuits Walks, Paths and Circuits Sanjay Jain, Lecturer, School of Computing.
Divide and Conquer. Subject Series-Parallel Digraphs Planarity testing.
Map Overlay Algorithm. Birch forest Wolves Map 1: Vegetation Map 2: Animals.
Convex drawing chapter 5 Ingeborg Groeneweg. Summery What is convex drawing What is convex drawing Some definitions Some definitions Testing convexity.
2/14/13CMPS 3120 Computational Geometry1 CMPS 3120: Computational Geometry Spring 2013 Planar Subdivisions and Point Location Carola Wenk Based on: Computational.
Applications of Euler’s Formula for Graphs Hannah Stevens.
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Brute-Force Triangulation
Polynomial Time Approximation Schemes Presented By: Leonid Barenboim Roee Weisbert.
One of the most important problems is Computational Geometry is to find an efficient way to decide, given a subdivision of E n and a point P, in which.
I. The Problem of Molding Does a given object have a mold from which it can be removed? object not removable mold 1 object removable Assumptions The object.
Parallel Scheduling of Complex DAGs under Uncertainty Grzegorz Malewicz.
By Groysman Maxim. Let S be a set of sites in the plane. Each point in the plane is influenced by each point of S. We would like to decompose the plane.
Feb Polygon Triangulation Shmuel Wimer Bar Ilan Univ., School of Engineering.
Incidences and Many Faces via cuttings Sivanne Goldfarb
Graph Drawing Introduction 2005/2006. Graph Drawing: Introduction2 Contents Applications of graph drawing Planar graphs: some theory Different types of.
Rectangle Visibility Graphs: Characterization, Construction, Compaction Ileana Streinu (Smith) Sue Whitesides (McGill U.)
Computational Geometry Seminar Lecture 1
Chapter 4: Straight Line Drawing Ronald Kieft. Contents Introduction Algorithm 1: Shift Method Algorithm 2: Realizer Method Other parts of chapter 4 Questions?
Lecture 6: Point Location Computational Geometry Prof. Dr. Th. Ottmann 1 Point Location 1.Trapezoidal decomposition. 2.A search structure. 3.Randomized,
Complex Model Construction Mortenson Chapter 11 Geometric Modeling
COMP4048 Planar and Orthogonal Graph Drawing Algorithms Richard Webber National ICT Australia.
Curve Curve: The image of a continous map from [0,1] to R 2. Polygonal curve: A curve composed of finitely many line segments. Polygonal u,v-curve: A polygonal.
The Art Gallery Problem
Brute-Force Triangulation
CGMB 314 Intro to Computer Graphics Fill Area Primitives.
Matthew Bowling Euler’s Theorem Mathfest Spring ‘15.
Graph Theory Chapter 6 Planar Graphs Ch. 6. Planar Graphs.
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.
1 Graphs Algorithms Sections 9.1, 9.2, and Graphs v1v1 v2v2 v5v5 v7v7 v8v8 v3v3 v6v6 v4v4 A graph G = (V, E) –V: set of vertices (nodes) –E: set.
Chapter 9 – Graphs A graph G=(V,E) – vertices and edges
UNC Chapel Hill M. C. Lin Point Location Reading: Chapter 6 of the Textbook Driving Applications –Knowing Where You Are in GIS Related Applications –Triangulation.
Flow and Upward Planarity
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.:
Straight line drawings of planar graphs – part II Roeland Luitwieler.
1 Orthogonal Drawing (continued)  Sections 8.3 – 8.5 from the book  Bert Spaan.
Advanced Seminar on Graph Drawing – Planar Orientations Olga Maksin Victor Makarenkov Department of Computer Science. Ben-Gurion University of the Negev.
1 Triangulation Supplemental From O’Rourke (Chs. 1&2) Fall 2005.
Paradigms for Graph Drawing Graph Drawing: Algorithms for the Visualization of Graphs - Chapter 2 Presented by Liana Diesendruck.
Lecture 11 Algorithm Analysis Arne Kutzner Hanyang University / Seoul Korea.
Arrangements and Duality Sanjay Sthapit Comp290 10/6/98.
Planar Graphs Graph Coloring
Great Theoretical Ideas in Computer Science for Some.
1 Schematization of Networks Rida Sadek. 2 This talk discusses: An algorithm that is studied in the following papers:  S. Cabello, M. de Berg, and M.
COMPSCI 102 Introduction to Discrete Mathematics.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Planarity Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT.
Planar Graphs prepared and Instructed by Arie Girshson Semester B, 2014 June 2014Planar Graphs1.
The Jordan Arc theorem. A Lemma: For a connected, finite union of open discs, no two of which are mutually tangent, the outer boundary (which separates.
1 GRAPH Learning Outcomes Students should be able to: Explain basic terminology of a graph Identify Euler and Hamiltonian cycle Represent graphs using.
Polygon Triangulation
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
3. Polygon Triangulation
Algorithms and Networks
Computational Geometry
Graph Drawing.
Redraw these graphs so that none of the line intersect except at the vertices B C D E F G H.
Great Theoretical Ideas In Computer Science
Graph theory Definitions Trees, cycles, directed graphs.
Planarity Testing.
The Art Gallery Problem
The Art Gallery Problem
Polygon Triangulation
Depth Estimation via Sampling
Instructor: Shengyu Zhang
I. The Problem of Molding
Introduction to Graph drawing
Discrete Mathematics for Computer Science
Presentation transcript:

Planar Orientations Chapter 4 ( ) in the book Written By: Tomer Heber

Outline & Goal In this lesson we will deal with planar st-graphs (which will be explained later on). We will review several algorithms for representing a st-planar graph. We will also learn that by using those representations we can turn a st-planar graph, to a more specific shape (such as a polyline). The goal of this lesson is simple: Which is to learn of ways to represent a st-graph in a more “useful” and “aesthetic” representation.

Numbering of Digraphs A topological numbering of G is an assignment of numbers to the vertices of G, such that, for every edge (u,v) of G, the number assigned to v is greater then the one assigned to u

Numbering of Digraphs (2) A topological sorting is a topological numbering of G, such that every vertex is assigned a distinct integer between 1 and n. A topological sorting is unique if G has a directed path that visits every vertex

Numbering of Digraphs (3) The following statements are equivalent : G is acyclic. G admits a topological numbering. G admits a topological sorting. In other words a topological numbering (sorting) can be done only on an acyclic graph.

Planar Graph A planar graph is a graph which can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. Faces

ST-Graph An acyclic digraph with a single source s and a single sink t is called an st-graph. t s Sink “t” has no outgoing edges! Source “s” has no incoming edges!

ST-Graph (2) Let G be an st-graph. The following simple properties hold: Given a topological numbering of G. every directed path of G visits with increasing numbers. For every vertex v of G, there exists a simple directed path from s (source) to t (sink) that contains v.

Planar ST-Graph A planar st-graph is an st-graph that is planar and embedded with vertices s and t on the boundary of the external face. s t

Planar ST-Graph (2) Let G be a planer st-graph and F be its set of faces. We conventionally assume that F contains two representatives for the external face: The “left external face” s* The “right external face” t* s*t*

Planar ST-Graph (3) For each edge e = (u,v), we define orig(e) = u and dest(e) = v. We define left(e) (resp. right(e)) to be the face to the left (resp. right) of e. e u v f1 f2 orig(e) = u dest(e) = v left(e) = f1 left(e) = f2

Planar ST-Graph Properties Lemma 1: Each face f of G consists of two directed paths with common origin called orig(f), and common destination called dest(f). Proof: Let f be a face of G for which the lemma is not true. orig(f) dest(f) s t w u There must be a path from vertex u to the “sink” t There must be a path from the “source” s to vertex w Since the graph is planar there must be a node where the passes intersect We receive a cycle!

Planar ST-Graph Properties (2) Lemma 2: The incoming edges for each vertex of G appear consecutively around v, and so do the outgoing edges. Proof: The lemma holds trivially for the vertices s and t. Let v be any other vertex, and suppose for a contradiction, that there are edges (v,w0), (w1,v), (v,w2), (w3,v). v s t w3 w2 w1 w0 Because every vertex in a st-graph has a simple path from “s” to “t” we add the following paths… Because the graph is planar we add the vertex “x” to the graph. x We now have a cycle!

Planar ST-Graph Properties (3) Since the incoming (outgoing) edges of each vertex of G appear consecutively we define the face separating the incoming edges from the outgoing edges in clockwise order, left(v), and the other separating face is called right(v).

Planar ST-Graph G* We define a digraph G* associated with planar st-graph G, as follows: The vertex set of G* is the set F of faces (recall that F has two representatives, s* and t*, of the external face. For every edge e != (s,t) of G, G* has an e* = (f,g) where f = left(e) and g = right(e). e left(e)right(e) Notice that G* is a planar st-graph as well

Lemma 3 An element of is called an object of planar st-graph G. For vertex v, we define orig(v) = dest(v) = v. For a face f, we define left(f) = right(f) = f. * Reminder we have already defined previously: left(v), right(v), left(e), right(e), orig(e), dest(e), orig(f) and dest(f).

Lemma 3 (2) Lemma 3: For any two objects o1 and o2 of a planar st- graph G, exactly one of the following holds: G has a directed path from dest(o1) to orig(o2). G has a directed path from dest(o2) to orig(o1). G* has a directed path from right(o1) to left(o2). G* has a directed path from right(o2) to left(o2).

Tile A tile is a rectangle with sides parallel to the coordinate axes. A tile can be unbounded or can degenerate to a segment or a point. Two tiles are horizontally (vertically) adjacent if they share a portion of a vertical (horizontal) side. Tiles:Vertically adjacent:

Tessellation Representation Let G be a planar st-graph. A tessellation representation Θ for G maps each object o of G into a tile Θ(o) such that: The interiors of tiles Θ(o1) and Θ(o2) are disjoint whenever o1 != o2. The union of all tiles Θ(o), is a rectangle. Tiles Θ(o1) and Θ(o2) are horizontally adjacent if and only if o1 = left(o2) or o1 = right(o2) or o2 = left(o1) or o2 = right(o1). Tiles Θ(o1) and Θ(o2) are vertically adjacent if and only if o1 = orig(o2) or o1 = dest(o2) or o2 = orig(o1) or o2 = dest(o1).

Tessellation Representation (2) e X(left(e)) = 0 X(right(e)) = 1 Y(orig(e)) = 0 Y(dest(e)) = f X(left(f)) = 3 X(right(f)) = 3 Y(orig(f)) = 2 Y(dest(f)) = 4

Tessellation Representation (3) The correctness of the algorithm is based on Lemma 3: Let there be tile t1 and tile t2, from Lemma 3 t1 is either: above t2, below t2, left of t2 or right of t2. And only one of this directions is true. Since each line of the algorithm is O(n), the total runtime of the algorithm is O(n). The size of the Tessellation Representation can be modified by modifying the topological numbering (e.g. increasing the numbering to be instead of will make a Tessellation Representation twice bigger).

Visibility Representation Let G be a planar st-graph. A visibility representation of G draws each vertex v as a horizontal segment, called vertex segment, and each edge (u,v) as vertical segment, called edge segment such that: The vertex segments do not overlap. The edge segments do not overlap. Edge-segment has its bottom end point on, its top end-point on, and does not intersect any other vertex segment.

Visibility Representation (2)

Visibility Representation (3)

Visibility Representation (4)

Visibility Representation (5) The correctness of the algorithm By lemma 3 and the construction of the algorithm: Any two vertex segments are separated by a horizontal or vertical strip of at least unit width (The vertex segments do not overlap). Any two edge segments on opposite sides of a face are separated by a vertical strip of at least a unit width (The edge segments do not overlap). Each edge segments (u,v) has its bottom point intersecting with u vertex segment, and his upper point intersecting with v vertex segment (sufficing the 3 rd condition). The runtime of the algorithm is O(n) since each step is O(n).

Constrained Visibility Representation Let G be a planar st-graph with n vertices. Two paths of π1 and π2 of G are said to be nonintersecting if: They are edge disjoint. And do not cross at common vertices. π1π1 π2π2 π3π3

Constrained Visibility Representation (2) Given a collection ∏ of nonintersecting paths of G, we consider the problem of constructing a visibility representation Γ of G such that for every path π in ∏ we have the following constraint: Any two edges e’ and e’’ of π, the edge segments Γ(e’) and Γ(e’’) have the same x-coordinate. Note: We assume that ∏ covers all the edges in graph G (Such that any edge who is not in any of the nonintersecting paths in the collection ∏, is a nonintersecting path himself in ∏).

Constrained Visibility Representation (3)

Constrained Visibility Representation (4) π1π1 π2π2 π3π3 π8π8 π5π5 π6π6 π7π7 π4π4 ∏={π1, π2,π3,π4,π5, π6, π7, π8} π3π3 π5π5 π4π4 π1π1 π2π2 π7π7 π8π8 π6π6 f1 f2 f3 f4 f5f6 f7 f1 f2 f3 f4 f5f6 f

Constrained Visibility Representation (5) π1π1 π2π2 π3π3 π8π8 π5π5 π6π6 π7π7 π4π4 π3π3 π5π5 π4π4 π1π1 π2π2 π7π7 π6π6 f1 f2 f3 f4 f5f6 f7 f1 f2 f3 f4 f5f6 f π8π8 Total Runtime O(n)

Polyline Drawing We can construct a planar upward polyline drawing of a planar st-graph G using its visibility representation. We draw each vertex in an arbitrary point inside its vertex segment. We draw each edge (u,v) of G as a three segment polygonal chain.

Polyline Drawing (2)

Polyline Drawing (3) Since every step in the algorithm is O(n), the total complexity runtime is O(n). We can reduce the number of “bends” if we put each place vertex on intersections between an edge segment and vertex segment.

Polyline Drawing (4) The technique can be extended for constrained visibility representation of a planar st-graph which is called constrained-polyline. In a constrained-polyline all the internal vertices in a path π in ∏ are vertically aligned. The algorithm for Constrained polyline