Planar Graphs, Planarity Testing and Embedding

Planar Graphs, Planarity Testing and Embedding

Planar Graphs, Planarity Testing and Embedding Planar Graphs, Planarity Testing and Embedding Swami Sarvottamananda Ramakrishna Mission Vivekananda University October 2014 1 / 151 Planar Graphs, Planarity Testing and Embedding OutlineI 1 Introduction Scope of the Lecture Definition of Planar Graphs Motivation for Planar Graphs Problem Definition 2 Characterisation of Planar Graphs Euler's Relation for the Planar Graphs Kuratowski's and Wagner's Theorems Proof of Kuratowski's theorem 3 Planarity Testing of Graphs Checking for Kuratowski's & Wagner's conditions Hopcroft and Tarjan's Algorithm Preliminaries Planarity Testing Algorithm 4 Planar Embedding of Graphs 2 / 151 Planar Graphs, Planarity Testing and Embedding OutlineII Embedding Phase of Planarity Algorithm Other Embeddings 5 Conclusion Open Problems Summary References 3 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Introduction 4 / 151 Planarity Testing: Next, we give an algorithm to test planarity. Planar Embedding: Lastly we see how a given planar graph can be embedded in a plane. We also explore straight line embeddings. Planar Graphs, Planarity Testing and Embedding Introduction Scope Scope of the lecture Characterisation of Planar Graphs: First we introduce planar graphs, and give its characterisation and some simple properties. 5 / 151 Planar Embedding: Lastly we see how a given planar graph can be embedded in a plane. We also explore straight line embeddings. Planar Graphs, Planarity Testing and Embedding Introduction Scope Scope of the lecture Characterisation of Planar Graphs: First we introduce planar graphs, and give its characterisation and some simple properties. Planarity Testing: Next, we give an algorithm to test planarity. 6 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Scope Scope of the lecture Characterisation of Planar Graphs: First we introduce planar graphs, and give its characterisation and some simple properties. Planarity Testing: Next, we give an algorithm to test planarity. Planar Embedding: Lastly we see how a given planar graph can be embedded in a plane. We also explore straight line embeddings. 7 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Definition What is a Drawing? Definition (Drawing) Given a graph G = (V; E), a drawing maps each vertex v V to a 2 distinct point Γ(v) in plane, and each edge e E, e = (u; v) to a 2 simple open jordan curve Γ(u; v) with end points Γ(u), Γ(v). Γ(a) Γ(b) a e b Γ(e) Γ(c) d c Γ(d) Figure: Drawing of a graph 8 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Definition What is a Planar Graph? Definition (Planar Graphs) Given a graph G = (V; E), G is planar if it admits a drawing such that no two distinct drawn edges intersect except at end points. Γ(a) Γ(b) a e b Γ(e) Γ(c) d c Γ(d) Figure: Planar drawing of a graph 9 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Motivation Motivation 10 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Motivation Properties of Planar Graphs There are number of interesting properties of planar graphs. They are sparse. There size including faces, edges and vertices is O(n). They are 4-colourable. A number of operations can be performed on them very efficiently. Since there is a topological order to the incidences. They can be efficiently stored (A data structure called SP QR-trees even allows O(1) flipping of planar embeddings). 11 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Motivation Applications of Planar Graphs Planar graphs are extensively used in Electrical and Civil engineering. Easy to visualize. In fact, crossings reduces comprehensibility. So all good graph drawing tools use planar graphs. VLSI design, circuit needs to be on surface: lesser the crossings, better is the design. Highspeed Highways/Railroads design, crossings are always problematic. Irrigation canals, crossings simply not admissible. Determination of isomorphism of chemical structures. Most of facility location problems on maps are actually problems of planar graphs. 12 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Problem Definition 13 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Problem Definition: Planarity Testing Problem (Decision Problem) Given a graph G = (V; E), is G planar, i.e., can G be drawn in the plane without edge crossings? 14 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Problem Definition: Planarity Embedding Problem (Computation Problem) Given a graph G = (V; E), if G is planar, how can G be drawn in the plane such that there are no edge crossings? I.e., compute a planar representation of the graph G. 15 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Question: K4? Is the following graph (K4) planar? 1 2 4 3 Figure: Graph K4 16 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Answer: K4 is planar Yes, K4 is planar! 1 2 4 3 Figure: Planar K4 17 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Question: K5 and K3;3? Are the following graphs (K5 and K3;3) planar? 3 1 2 5 2 3’ 1 2’ 4 3 1’ Figure: Graphs K5 and K3;3 18 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Answer: K4 is planar No!! They aren't. There always will be at least one crossing. 1 3 2 5 2 3’ 1 2’ 4 3 1’ Figure: Non-planarity of K5 and K3;3 Full proofs by Euler's celebrated theorem. 19 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Question: Is a given graph planar? Is the following graph planar? There are a lot of crossings O(n2). 2 1 23 22 3 21 4 20 5 19 6 18 7 17 8 16 9 15 14 10 11 12 13 Figure: A Hamiltonian Graph 20 / 151 Planar Graphs, Planarity Testing and Embedding Introduction Problem Answer: Yes Yes, it is. 1 2 2 1 23 3 21 23 3 22 4 21 18 22 4 17 20 5 19 20 19 7 15 14 13 6 18 12 16 7 178 8 16 5 6 9 10 11 9 15 14 10 11 12 13 Figure: Planar embedding of the given graph But, how to arrive at this answer? It is tough. 21 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Characterisation of Planar Graphs 22 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Basic Assumptions Euler's formula gives the necessary condition for a graph to be planar[3]. We assume that our graphs are connected and there are no self loops and no multi-edges. Disconnected graphs, 1-degree vertices, multi-edges can be easily dealt with. 23 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation for nodes, arcs and faces1 Theorem (Euler's Relation) Given a planar graph with n vertices, m edges and f faces: n m + f = 2 − 1 A Planar Graph : 2 3 4 n = V = 6, j j m = E = 8, and j j f = F = 4 j j 6 8 + 4 = 2 − 1The exterior is also counted as a face. The above relation also applies to simple polyhedrons with no holes. 24 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation for nodes, arcs and faces Theorem (Euler's Relation) Given a planar graph with n vertices, m edges and f faces: n m + f = 2 − A Planar Graph : n = V = 17, j j m = E = 24, and j j f = F = 9 j j 17 24 + 9 = 2 − 25 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation for nodes, arcs and faces Proof: We prove Euler's Relation by Mathematical Induction on vertices. If we remove one vertex v on boundary (don't delete a cut vertex) with dv dv edges dv 1 faces, edges, then we are removing dv 1 deleted 1 vertex− − deleted faces. Thus the invariant n m + f = 2 is − maintained. Basis is an isolated vertex, n = f = 1; m = 0. 26 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation: Corollary 1 Corollary For a maximal planar graph, where each face is a triangle, m = 3n 6, and therefore, for any planar graph with at least three − vertices, we should have: m 3n 6. ≤ − P Proof: f F ef = 2m and therefore since 2 P ef 3 ef 3f ≥ ) f F ≥ ) 2m 3f. 2 ≥ Substituting in n m + f = 2 gives us − n m + 2m=3 2 − ≥ 27 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation: Corollary 1 Example to show m 3n 6. ≤ − Figure: Octahedron: n = 6; m = 12;m 3n 6 ≤ − 28 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Non-planarity of K5 Earlier we said that K5 is non-planar. Lemma 1 K5 is non-planar. 5 2 4 3 Figure: Proof: n = 5; m = 10;m> 3n 6 (= 9) − 29 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation: Corollary 2 Corollary For a planar graph, where no face is a triangle: m 2n 4. ≤ − P Proof: f F ef = 2m and therefore since 2 P ef 4 f F ef 4f 2m 4f. ≥ ) 2 ≥ ) ≥ Substituting in n m + f = 2 gives us n m + m=2 2 − − ≥ Above relation is true for bi-partite planar graphs and graphs with no 3-cycle. 30 / 151 Planar Graphs, Planarity Testing and Embedding Characterisation of Planar Graphs Euler's Relation Euler's Relation: Corollary 2 Example to show m 2n 4 for graphs without triangles.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    151 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us