Ma/CS 6B Class 8: Planar and Plane Graphs

Ma/CS 6B Class 8: Planar and Plane Graphs

1/26/2017 Ma/CS 6b Class 8: Planar and Plane Graphs By Adam Sheffer The Utilities Problem Problem. There are three houses on a plane. Each needs to be connected to the gas, water, and electricity companies. ◦ Is there a way to make all nine connections without any of the lines crossing each other? ◦ Using a third dimension or sending connections through a company or house is not allowed. 1 1/26/2017 Rephrasing as a Graph How can we rephrase the utilities problem as a graph problem? ◦ Can we draw 퐾3,3 without intersecting edges. Closed Curves A simple closed curve (or a Jordan curve) is a curve that does not cross itself and separates the plane into two regions: the “inside” and the “outside”. 2 1/26/2017 Drawing 퐾3,3 with no Crossings We try to draw 퐾3,3 with no crossings ◦ 퐾3,3 contains a cycle of length six, and it must be drawn as a simple closed curve 퐶. ◦ Each of the remaining three edges is either fully on the inside or fully on the outside of 퐶. 퐾3,3 퐶 No 퐾3,3 Drawing Exists We can only add one red-blue edge inside of 퐶 without crossings. Similarly, we can only add one red-blue edge outside of 퐶 without crossings. Since we need to add three edges, it is impossible to draw 퐾3,3 with no crossings. 퐶 3 1/26/2017 Drawing 퐾4 with no Crossings Can we draw 퐾4 with no crossings? ◦ Yes! Drawing 퐾5 with no Crossings Can we draw 퐾5 with no crossings? ◦ 퐾5 contains a cycle of length five, and it must be drawn as a simple closed curve 퐶. ◦ Each of the remaining five edges is either fully on the inside or fully on the outside 퐶. 퐾5 퐶 4 1/26/2017 No 퐾5 Drawing Exists We can add at most two edges inside of 퐶 without crossings. Similarly, we can add at most two edges outside of 퐶 without crossings. Since we need to add five edges, it is impossible to draw 퐾5 with no crossings. 퐶 Plane Graphs A plane graph is a drawing of a graph in the plane such that the edges are non- crossing curves. 5 1/26/2017 Planar Graphs The drawing on the left is not a plane graph. However, on the right we have a different drawing of the same graph, which is a plane graph. An abstract graph that can be drawn as a plane graph is called a planar graph. 푑 푒 푑 푒 푎 푏 푐 푎 푏 푐 Planar Graph Examples Which families of graphs are obviously planar? ◦ A lot! For example, the cycles 퐶푑, spanning trees, perfect matchings, etc. Which of the graphs that we know are not planar? ◦ Any graph that contains 퐾5 or 퐾3,3 as a subgraph. ◦ For example, 퐾푑 for any 푑 ≥ 5, and 퐾푖,푗 for any 푖, 푗 ≥ 3. 6 1/26/2017 Applications Plane graphs appear in many situations: ◦ In 6a we discussed the problem of finding a shortest path between two points. ◦ In designing computer chips we have circuits on a flat surface, which can be studied as planar graphs. Algorithms for Planar Graphs In theoretical computer science, there is currently a lot of research concerning planar graphs: ◦ Faster algorithms for finding shortest paths in planar graphs. ◦ Faster algorithms for finding maximum flow in planar flow networks. ◦ Algorithms for checking whether a graph is planar. ◦ Etc… 7 1/26/2017 Faces Given a plane graph, in addition to vertices and edges, we also have faces. ◦ A face is maximal open (two-dimensional) region that is bounded by the edges. ◦ There is one unbounded face and any number of bounded faces. 3 2 1 Dual Graphs Every connected plane graph 퐺 = 푉, 퐸 has a dual plane graph 퐺∗ = 푉∗, 퐸∗ . ◦ Every vertex of 푉∗ corresponds to a face of 퐺. ◦ Every edge 푒∗ ∈ 퐸 corresponds to an edge 푒 ∈ 퐸. The edge 푒∗ connects the vertices that are dual to the faces in the two sides of 푒. 8 1/26/2017 Dual Graphs Might Not Be Simple Let 퐺 be a connected simple plane graph. ◦ Can the dual graph 퐺∗ contain parallel edges? ◦ Yes! ◦ Can the dual graph 퐺∗ contain loops? ◦ Yes! More Dual Graph Properties Let 퐺 be a connected plane graph. ◦ By definition, every face of 퐺 corresponds to a vertex of 퐺∗. ◦ The opposite also holds – every vertex of 퐺 corresponds to a face of 퐺∗. ◦ Moreover, there is a bijection between the edges of 퐺 and the edges of 퐺∗. 9 1/26/2017 The Dual of a Dual Let 퐺 be a connected planar graph and let 퐺∗ be its dual. Then the dual of 퐺∗ is 퐺. ◦ Since every face of 퐺∗ corresponds to a vertex of 퐺, every vertex of 퐺∗ ∗ corresponds to a vertex of 퐺. ◦ Similarly, two vertices of 퐺∗ ∗ are adjacent if an only if they are adjacent in 퐺. Duals of the same Planar Graph A connected planar graph may have several distinct drawings as plane graphs, and each may have a different dual. 10 1/26/2017 Duality in 6a In 6a we considered the problem of coloring the faces of a map, by coloring the vertices of the dual graph. The Length of a Face Given a plane graph 퐺, the length of a face 푓 of 퐺 is the number of sides of edges that we meet when traveling the border of 푓. ◦ Is there a connection between the lengths in the following two drawings of the same graph? 7 3 6 3 9 4 11 1/26/2017 Sum of Lengths Problem. Given a plane graph 퐺 = 푉, 퐸 , what is the sum of the lengths of the faces of 퐺? Answer. 2 퐸 . ◦ Every edge contributes 2 to the sum of the lengths of the faces. 3 6 3 4 7 9 Removing an Edge Problem. Let 퐺 be a connected plane graph. Removing an edge 푒 ∈ 퐸 corresponds to what in 퐺∗? Answer. Edge contraction of 푒∗ (the dual edge), without merging parallel edges. 12 1/26/2017 Bonds In a connected graph 퐺 = 푉, 퐸 , a bond is a set 퐵 ⊂ 퐸 such that: ◦ Removing 퐵 from 퐺 disconnects 퐺. ◦ Removing any proper subset of 퐵 does not disconnect 퐺. Cycles and Bonds Claim. Let 퐺 be a connected plane graph. Then there is a bijection between the cycles of 퐺 and the bonds of 퐺∗. 13 1/26/2017 Proof Let 퐶 ⊂ 퐸 be a cycle of 퐺. The dual set of edges 퐶∗ contains the edges that connect a face in the inside of 퐶 with a face in the outside of 퐶. ◦ That is, 퐶∗ is a bond that cuts the “inner” vertices from the “outer” vertices. Proof (cont.) Let 퐹 ⊂ 퐸 be a cycle of 퐺 plus additional edges. ◦ 퐹∗ is not a bond because a subset of it is a bond. Let 퐹 ⊂ 퐸 be a set with no cycles. ◦ Removing 퐹∗ does not disconnect 퐺∗ since there is a path from the vertex of the unbounded face to any other vertex. 14 1/26/2017 Duals and Bipartite Graphs Theorem. Let 퐺 be a connected plane graph. Then the following are equivalent: ◦ 퐺 is bipartite. ◦ Every face of 퐺 is of even length. ◦ The dual graph 퐺∗ contains an Eulerian cycle. Proof Assume that 퐺 is bipartite, and color the vertices red and blue. ◦ When traveling the border of a face of 푓, we alternate between red and blue vertices. ◦ Since the tour starts and ends in the same vertex, the number of edge-sides crossed in the tour must be even. ◦ Thus, “퐺 is bipartite” implies “every face is of even length”. 15 1/26/2017 Proof (Part 2) Assume that every face of 퐺 is of an even length. ◦ The degree of a vertex 푣∗ of 퐺∗ is the length of the face of 퐺 that corresponds to 푣∗. ◦ By the assumption, every degree in 퐺∗ is even. Thus, 퐺∗ contains an Eulerian cycle. ◦ That is, “every face of 퐺 is of even length” implies “The dual graph 퐺∗ contains an Eulerian cycle”. Proof (Part 3) Assume that 퐺∗ contains an Eulerian cycle. ◦ 퐺∗ is connected and contains only even degrees. ◦ Thus, every face of 퐺 is of even length. ◦ This in turn implies that 퐺 contains no odd length cycles, and is thus bipartite. ◦ That is, “퐺∗ contains an Eulerian cycles” implies “퐺 is bipartite”. 16 1/26/2017 The End http://planarity.net/ 17.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    17 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