Graph Theory Mini-course

Similar documents
Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

Basics of Graph Theory

Introduction III. Graphs. Motivations I. Introduction IV

Discrete Wiskunde II. Lecture 6: Planar Graphs

5 Graphs

Assignments are handed in on Tuesdays in even weeks. Deadlines are:

An Introduction to Graph Theory

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring

Assignment 4 Solutions of graph problems

Fundamental Properties of Graphs

Lecture 20 : Trees DRAFT

Planar graphs. Chapter 8

Computer Science 280 Fall 2002 Homework 10 Solutions

INTRODUCTION TO GRAPH THEORY. 1. Definitions

How can we lay cable at minimum cost to make every telephone reachable from every other? What is the fastest route between two given cities?

CS 2336 Discrete Mathematics

Discrete mathematics

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) We will be interested in s.t. ( )~1. To gain some intuition note ( )

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) 2 ( ) ( )

EULER S FORMULA AND THE FIVE COLOR THEOREM

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. An Introduction to Graph Theory

WUCT121. Discrete Mathematics. Graphs

v V Question: How many edges are there in a graph with 10 vertices each of degree 6?

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism

Notebook Assignments

Graph Theory. Part of Texas Counties.

Math 776 Graph Theory Lecture Note 1 Basic concepts

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Varying Applications (examples)

CHAPTER 10 GRAPHS AND TREES. Alessandro Artale UniBZ - artale/z

Discharging and reducible configurations

K 4,4 e Has No Finite Planar Cover

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

Introduction to Graph Theory

Math 170- Graph Theory Notes

CPS 102: Discrete Mathematics. Quiz 3 Date: Wednesday November 30, Instructor: Bruce Maggs NAME: Prob # Score. Total 60

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 7

GRAPHS, GRAPH MODELS, GRAPH TERMINOLOGY, AND SPECIAL TYPES OF GRAPHS

Instant Insanity Instructor s Guide Make-it and Take-it Kit for AMTNYS 2006

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

Discrete mathematics II. - Graphs

Number Theory and Graph Theory

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY

Graphs and Isomorphisms

Extremal Graph Theory: Turán s Theorem

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Algorithms: Graphs. Amotz Bar-Noy. Spring 2012 CUNY. Amotz Bar-Noy (CUNY) Graphs Spring / 95

Chapter 11: Graphs and Trees. March 23, 2008

CMSC 380. Graph Terminology and Representation

Chapter 3: Paths and Cycles

CMSC Honors Discrete Mathematics

Algorithms. Graphs. Algorithms

An Interactive Introduction to Graph Theory

Today. Types of graphs. Complete Graphs. Trees. Hypercubes.

How many colors are needed to color a map?

Instructor: Paul Zeitz, University of San Francisco

8 Colouring Planar Graphs

v 1 v 2 r 3 r 4 v 3 v 4 Figure A plane embedding of K 4.

TWO CONTRIBUTIONS OF EULER

K 4 C 5. Figure 4.5: Some well known family of graphs

Introduction to Graph Theory

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem

Graph Theory Questions from Past Papers

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

Lecture 6: Graph Properties

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

The Konigsberg Bridge Problem

Every planar graph is 4-colourable and 5-choosable a joint proof

CPCS Discrete Structures 1

Lecture 1: An Introduction to Graph Theory

Chapter 6 GRAPH COLORING

The Geodesic Integral on Medial Graphs

Lecture 19 Thursday, March 29. Examples of isomorphic, and non-isomorphic graphs will be given in class.

Ma/CS 6b Class 11: Kuratowski and Coloring

11.9 Connectivity Connected Components. mcs 2015/5/18 1:43 page 419 #427

1. a graph G = (V (G), E(G)) consists of a set V (G) of vertices, and a set E(G) of edges (edges are pairs of elements of V (G))

Planarity. 1 Introduction. 2 Topological Results

Discrete mathematics , Fall Instructor: prof. János Pach

Basic Combinatorics. Math 40210, Section 01 Fall Homework 4 Solutions

Elements of Graph Theory

Section 8.2 Graph Terminology. Undirected Graphs. Definition: Two vertices u, v in V are adjacent or neighbors if there is an edge e between u and v.

Chapter 12 and 11.1 Planar graphs, regular polyhedra, and graph colorings

HW Graph Theory Name (andrewid) - X. 1: Draw K 7 on a torus with no edge crossings.

GRAPH THEORY AND COMBINATORICS ( Common to CSE and ISE ) UNIT 1

Graph Theory CS/Math231 Discrete Mathematics Spring2015

EXTREME POINTS AND AFFINE EQUIVALENCE

Majority and Friendship Paradoxes

Graphs (MTAT , 6 EAP) Lectures: Mon 14-16, hall 404 Exercises: Wed 14-16, hall 402

Treewidth and graph minors

Definition 1.1. A matching M in a graph G is called maximal if there is no matching M in G so that M M.

Symmetric Product Graphs

The University of Sydney MATH2969/2069. Graph Theory Tutorial 2 (Week 9) 2008

Graphs. Pseudograph: multiple edges and loops allowed

Grades 7 & 8, Math Circles 31 October/1/2 November, Graph Theory

Math 443/543 Graph Theory Notes

CS 311 Discrete Math for Computer Science Dr. William C. Bulko. Graphs

Transcription:

Graph Theory Mini-course Anthony Varilly PROMYS, Boston University, Boston, MA 02215 Abstract Intuitively speaking, a graph is a collection of dots and lines joining some of these dots. Many problems in the real world can be modeled in graph theoretic terms. Thus, the study of the properties of these objects is of the utmost importance. In this minicourse, we shall not attempt to give a thorough discussion of graphs. We will instead focus on planar graphs. Our goal shall be to prove the five color theorem. This minicourse was aimed at first-years, and although some of the definitions presented are a bit technical, only a good understanding of the Well-Ordering Principle was assumed. 1 The Birth of Graph Theory In 1736, Euler wrote a paper about the famous Bridges of Konigsberg problem. This marked the beginning of graph theory. The question Euler set out to answer was whether there existed or not a walk that went through each bridge in the town of Konigsberg once and only once (Figure 1(a)). Figure 1: A schematic representation of the town of Konigsberg (a) and its graph-theoretic representation (b). To attack the problem, we let each landmass be represented by a vertex and each bridge by an undirected edge. We now want a walk that goes through all edges once and only once (Figure 1(b)). 1

Principle What comes in, must go out. The number of edges incident on a vertex is known as the valency of that vertex. Our principle may be restated as follows: it is necessary that every vertex have even valency so that you can walk in and out of it. Alternatively, two vertices can have odd valency; these vertices would be the starting and ending points of our walk. With this principle in hand we see that the walk through the bridges of Konigsberg is impossible; it s graph has four vertices with odd valency. 2 Definitions There is no standard terminology in graph theory. Nevertheless, we need to define some vocabulary in precise mathematical language before we can do mathematics. We ll adopt conventions used in both Trudeau [2] and Taylor & Garnier [1]. In graph theory, we tend to have natural definitions; a circuit means exactly what our intuition and daily experience tells you it means. Therefore, if some of the following mathematical jargon doesn t make much sense, skim through it the first time and come back to it later when you meet it again. To define what a graph is, we ll want to specify its set of vertices and its set of edges. Then we ll want to say which edges join which vertices in precise mathematical terms. Definition. An undirected graph consists of: (i) a finite, non-empty set V of vertices, (ii) a finite set E of edges and (iii) a function δ : E P(V ) such that for all e E, δ(e) is a one or two element subset of P(V ) 1 Look at the example below. Figure 2: An example of an undirected graph In this graph, edge e 2 joins vertices v 1 and v 2 together. Thus, we have δ(e 1 ) = {v 1, v 2 }. 1 P(V ) denotes the power set of V, that is, the set of all subsets of V. For example, if V = {v 1, v 2, v 3 } then P(V ) = {, {v 1 }, {v 2 }, {v 3 }, {v 1, v 2 }, {v 2, v 3 }, {v 1, v 3 }, {v 1, v 2, v 3 }}. 2

Some graphs look alike. The precise term for this is an isomorphism. Definition. Two graphs, Γ = (V, E) and Γ = (V, E ), are said to be isomorphic if there exists a one-to-one and onto map φ : V V such that {v 1, v 2 } E {φ(v 1 ), φ(v 2 )} E (Figure 3). Figure 3: Graph isomorphism. Graph Γ is isomorphic to graph Γ. The vertex correspondence is given by X X for any X V Γ and X V Γ. 2.1 Different kinds of graphs Definition. A simple graph is a graph that has no loops and no multiple edges. Definition. A complete graph is a simple graph in which every pair of distinct vertices is joined by an edge. We will denote the complete graph with n vertices by K n (Figure 4). Figure 4: K 5, the complete grpah on 5 vertices Definition. A bipartite graph Γ has a vertex set V that can be partitioned, i.e., V = V 1 V 2 and V 1 V 2 =, and such that every edge joins a vertex from V 1 to one from V 2 (Figure 5(a)). Definition. A complete bipartite graph is a bipartite graph such that every vertex of V 1 is joined to every vertex of V 2 by a unique edge. If the set V 1 has m elements and the set V 2 has n elements, then the respective complete bipartite graph is denoted by K m,n (Figure 5(b)). 3

Figure 5: A bipartite graph (a) and the complete bipartite graph K 3,3 (b). Definition. A graph is said to be connected if one can find a path joining any two vertices of the graph. Definition. A tree is a connected graph which contains no circuits. (Figure 6) Figure 6: Examples of trees Definition. A graph whose vertices are points in the plane and whose edges are lines or arcs that only meet at vertices is called a plane graph. Definition. A graph is called planar if it is isomorphic to a plane graph. 3 Euler s Formula for Planar Graphs When a planar graph is drawn without any edge-crossings, it divides the plane into regions called faces. Euler discovered a truly beautiful relationship between the number of edges (e), vertices (v) and faces(f) of a planar graph. Theorem 3.1 (Euler s formula). Let Γ be a simple connected planar graph. Then f e + v = 2. (1) 4

To prove this theorem, we ll need the following lemma: Lemma 3.1.1. Let Γ be a tree. Then e = v 1. Proof. Let S = {v N a tree Γ for which e v 1}. Suppose S. By the Well- Ordering principle, S has a smallest element. Call this element v 1, and let Γ 1 be the graph associated to v 1. Remove an edge from Γ 1. This will produce two trees, Γ 2 and Γ 3 with v 2 and v 3 vertices respectively. Since both v 2 and v 3 are smaller than v 1, we have e 2 = v 2 1 and e 3 = v 3 1. Adding these two equations we obtain e 2 + e 3 = v 2 + v 3 2. However, e 2 + e 3 = e 1 1 and v 2 + v 3 = v 1 by construction. Thus e 1 = v 1 1. Hence v 1 is not in S, a contradiction. Our assumption that S is non-empty must be wrong. Remark. Trees satisfy Euler s formula. This is easily seen from our lemma and the fact that f = 1 for trees. Proof of Euler s formula. Let S = {e N a graph Γ for which f e + v 2}. Suppose S. By the Well-Ordering principle, S has a smallest element. Call this element e 1, and let Γ 1 be the graph associated to e 1. We know Γ 1 is not a tree because trees satisfy Euler s formula. This means Γ 1 has a circuit. Remove an edge from this circuit. This will produce a smaller graph Γ 1 with f 1 1 faces and e 1 1 edges. This graph must satisfy Euler s formula since e 1 is the smallest element of S. Hence (f 1 1) (e 1 1) + v 1 = 2 f 1 e 1 + v 1 = 2 This means e 1 cannot be a member of S. Again, our assumption that S is not empty must be wrong. 4 Applications of Euler s formula A few careful attempts at drawing K 5, the complete graph on five vertices, should convince you that this graph is not planar. But how can you prove that this is the case? Euler s formula gives us the key. Theorem 4.1. Let Γ be a simple planar graph with at least three vertices and two edges. Then 3 f e 3v 6 (2) 2 Proof. We follow Trudeau [2] in our proof. We ll need two cases. Case 1 Γ has a face bounded by less than 3 edges. This forces Γ to look the tree in Figure 6(b) plus a few isolated vertices. In this case, it is easy to check (2) is satisfied. 5

Case 2 Every face of Γ is bounded by at least three edges. Then 3 the number of edges bounding face1 3 the number of edges bounding face2. 3 the number of edges bounding facef If we add both sides of the inequalities, we get 3f on the left hand side, and some number d on the right hand side. What can we say about d? Since Γ is planar, every edge borders at most two faces. Hence d 2e. This proves the left inequality in (2) since 3f d 2e 3 2 f e. Now rewrite the last inequality as f 2 e and add e + v to both sides. By Euler s 3 formula we have f e + v 2 3 e e + v 2 2 3 e e + v e 3v 6. Corollary 4.1.1. K 5 is not planar. Proof. Suppose K 5 is planar. It is also simple, so it satisfies (2). But K 5 has ten edges and five vertices. Thus 10 9. This is a contradiction. The next goal is to show that the complete bipartite graph K 3,3 is also not planar. This solves, or rather, proves there is no solution to the famous utilities problem, where you want to connect three utilities (say electricity, telephone and water) to three different houses without the cables or pipes of any utility passing over the cables or pipes of any other. This is equivalent to the statement that K 3,3 is planar. Our approach is very similar to the proof of theorem 4.1. The inequality (2) is not good enough to prove K 3,3 is not planar, but if we add an extra hypothesis to theorem 4.1, then we ll obtain an inequality fine enough for our purpose. Theorem 4.2. Let Γ be a simple connected planar graph without 3-cycles (i.e., no triangles ). Then 2f e 2v 4 (3) Proof. Like last time, we ll divide the problem into two cases: Case 1 Γ has a face bounded by less than 4 edges. This forces Γ to look like one of the graphs of Figure 6(c) & (d) plus a few isolated vertices. In each case, it is easy to check (2) is satisfied. 6

Case 2 Every face of Γ is bounded by at least four edges. Then 4 the number of edges bounding face1 4 the number of edges bounding face2. 4 the number of edges bounding facef If we add both sides of the inequalities, we get 4f on the left hand side, and some number d on the right hand side. Again, we ll have d 2e. This proves the left inequality in (3) since 4f d 2e 2f e. Now rewrite the last inequality as f 1 e and add e + v to both sides. By Euler s 2 formula we have f e + v 1 2 e e + v 2 1 2 e e + v e 2v 4. Corollary 4.2.1. K 3,3 is not planar. Proof. Suppose K 3,3 is planar. It is also simple, and it has no 3-cycles, so it satisfies (3). But K 3,3 has nine edges and six vertices. Thus 9 8. This is a contradiction. 4.1 The Five-Color Theorem You might have heard of the four-color theorem. Roughly speaking, it states that any map can be colored using only four colors in such a way that no neighboring countries share the same color. This theorem was proved in 1977 by Appel and Haken. The proof, however, requires tremendous amount of super-computer power and is not feasibly verifyable by hand. Thus, we will have to settle on the five-color theorem for this summer. As usual, we need to carefully define our terms and our goal in precise mathematical language. Definition. Let Γ be a graph. We shall denote by χ(γ) the minimum number of colors needed for the vertices of Γ in such a way that no two vertices joined by an edge are colored the same. Recall that the valency of a vertex is the number of edges that are incident on that vertex. We shall denote the valency of v by σ(v). In what follows, V Γ will be used to denote the vertex set of Γ. 7

Theorem 4.3 (Five-Color Theorem). Let Γ be a simple planar graph. Then χ(γ) 5 In proving the five-color theorem, we shall follow Trudeau s exposition [2]. Before we begin the actual proof, we need two lemmas. Lemma 4.3.1 (The Handshaking lemma). For a simple graph Γ, it is true that v V Γ σ(v) = 2e. (4) Proof. The left hand side of (4) is the sum of the valencies of v V Γ. This counts all the edges of the graph. But since each edge is incident on two vertices, we have overcounted the edges by a factor of two. Hence the equality. Lemma 4.3.2. Let Γ be a simple planar graph. Assume also that G is connected. Then there is a vertex v V Γ such that σ(v) 5, i.e., there is a vertex of Γ that has at most five incident edges. Proof. If Γ has less than three vertices, then it must be either K 1 or K 2. In either case the lemma is true. Suppose Γ has at least three vertices, and that σ(v) 6 for all v V Γ. Summing over all the vertices, we have v V Γ σ(v) 6v (5) But we know by the hand-shaking lemma that the left side of (5) is equal to 2e. Thus 2e 6v e 3v. Since Γ is simple and planar, by theorem 4.1 e 3v 6. We conlude that 3v 3v 6, which is impossible. Thus our assumption that σ(v) 6 for all v V Γ must be false. Proof of the five-color theorem. Let S = {v N a graph Γ with v vertices such that χ(γ) > 5}. Assume S is not empty. Then by the Well-Ordering Principle S has a least element. Let v 1 be this least element and let Γ be the graph associated with v 1. By the lemma we just proved, Γ has a vertex A with σ(a) 5. Consider the graph Γ A, i.e., erase from Γ the vertex A and all edges incident on it. This new graph has v 1 1 vertices. Therefore χ(γ A) 5 since v 1 is the least element of S. We ll need to consider three cases: Case 1 χ(γ A) < 5. Then we can give A the fifth color and we re done. Case 2 χ(γ A) = 5 and σ(a) < 5. In this case, A is joined to at most four other vertices. Again, we can give A the fifth color in the worst case, and χ(γ) will be 5. Case 3 χ(γ A) = 5 and σ(a) = 5. This is the hardest case. A is joined to five other vertices, so each of these vertices could be colored differently. We must show that it is possible to re-color Γ A without altering χ(γ A). Let P, Q, R, S, T be the five vertices, arranged in clockwise order, that are joined to A (Figure 7). Assume that they are painted with different colors. We ll use numbers to represent colors; thus we ll say P has color 1, Q has color 2, and so on. 8

subcase (i) Suppose there does not exist a walk between P and R that consists only of colors 1 and 3. Figure 7 shows the relevant part of the graph Γ in this situation: only the walks composed entirely by colors 1 and 3 that touch P or R have been shown. If we change P s color from 1 to 3 and recolor all the relevant paths that touch P, we can give A the color 1. We ll still have χ(γ A) = 5 and A will only have neighbors with four different colors. Hence, χ(γ) will be 5. Figure 7: The relevant part of our graph. Shown here are all the paths that touch P or R that are colored with 1 and 3. subcase (ii) Suppose there exists a walk between P and R consisting of colors 1 and 3 only (Figure 8). Figure 8: The relevant part of our graph. This time, all paths that touch S or Q and consist entirely of colors 2 and 4 are shown. We claim no walk between Q and S can consist entirely of colors 2 and 4. The subgraph P UW XY RAP surrounds Q. All vertices of this subgraph are colored 1 or 3, except for A, which we know cannot be colored using 2 or 4. Any path from 9

Q to S must cross our subgraph 2. This means there is no path from Q to S which can have only colors 2 and 4. We are back in case (i), just let Q be our P from before, S be our R, color 2 what used to be color 1 and color 4 what used to be color 3. References [1] Taylor & Garnier Discrete Mathematics for New Technology ITP, Oxford, 1993. [2] R. Trudeau Introduction to Graph Theory Dover, New York, 1993. 2 We have inplicitly used here a powerful theorem from algebraic topology known as the Jordan Curve Theorem. This theorem says that a closed simple curve divides the plane into two different regions. The statement is intuitive but the theorem is really hard to prove! 10