List Coloring Graphs

Similar documents
On Two Short Proofs About List Coloring Graphs

8 Colouring Planar Graphs

How many colors are needed to color a map?

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

The Grötzsch Theorem for the hypergraph of maximal cliques

Discrete mathematics

Problem Set 3. MATH 776, Fall 2009, Mohr. November 30, 2009

Discrete Wiskunde II. Lecture 6: Planar Graphs

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

Jordan Curves. A curve is a subset of IR 2 of the form

Discharging and reducible configurations

Math 777 Graph Theory, Spring, 2006 Lecture Note 1 Planar graphs Week 1 Weak 2

Weak Dynamic Coloring of Planar Graphs

Assignment 4 Solutions of graph problems

Jordan Curves. A curve is a subset of IR 2 of the form

Math 776 Graph Theory Lecture Note 1 Basic concepts

Discrete Mathematics I So Practice Sheet Solutions 1

Star coloring planar graphs from small lists

On Choosability with Separation of Planar Graphs with Forbidden Cycles

Lecture 20 : Trees DRAFT

Planar graphs. Chapter 8

Graphs and Discrete Structures

Maximum 4-degenerate subgraph of a planar graph

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

The following is a summary, hand-waving certain things which actually should be proven.

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

HOMEWORK 4 SOLUTIONS. Solution: The Petersen graph contains a cycle of odd length as a subgraph. Hence,

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

A THREE AND FIVE COLOR THEOREM

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

Ma/CS 6b Class 26: Art Galleries and Politicians

November 14, Planar Graphs. William T. Trotter.

Lucky Choice Number of Planar Graphs with Given Girth

Basics of Graph Theory

5 Graphs

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.

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

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

Zhibin Huang 07. Juni Zufällige Graphen

arxiv: v1 [math.co] 4 Apr 2011

Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8

The Konigsberg Bridge Problem

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

Planarity: dual graphs

Lecture 6: Graph Properties

Remarks on Kuratowski s Planarity Theorem. A planar graph is a graph that can be drawn in a plane without edges crossing one another.

Majority and Friendship Paradoxes

Hamiltonian cycles in bipartite quadrangulations on the torus

and Heinz-Jürgen Voss

Coloring planar graphs

arxiv: v1 [math.ho] 7 Nov 2017

Math 3012 Applied Combinatorics Lecture 12

Induced Forests in Planar Graphs

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

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

Ma/CS 6b Class 11: Kuratowski and Coloring

6 Planar Graphs. 6.1 Euler's Formula

An Investigation of the Planarity Condition of Grötzsch s Theorem

Chapter 6 GRAPH COLORING

CS 2336 Discrete Mathematics

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

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

Face Width and Graph Embeddings of face-width 2 and 3

Exercise set 2 Solutions

Part II. Graph Theory. Year

Lecture Notes on Graph Theory

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

Star coloring bipartite planar graphs

Planarity. 1 Introduction. 2 Topological Results

Key Graph Theory Theorems

Graph Theory Day Four

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

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Assignment 1 Introduction to Graph Theory CO342

Prism-hamiltonicity of triangulations

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

How many colors are needed to color a map?

Face covers and the genus of apex graphs Bojan Mohar Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia

Pebble Sets in Convex Polygons

On vertex-coloring edge-weighting of graphs

1. Suppose you are given a magic black box that somehow answers the following decision problem in polynomial time:

The Four Color Theorem: A Possible New Approach

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.

4-critical graphs on surfaces without contractible cycles of length at most 4

The degree/diameter problem in maximal planar bipartite graphs

by conservation of flow, hence the cancelation. Similarly, we have

Discrete mathematics II. - Graphs

On the Induced Matching Problem

Simultaneous Diagonal Flips in Plane Triangulations

Graph Theory. Part of Texas Counties.

Planar graphs. Math Prof. Kindred - Lecture 16 Page 1

Planar Graph (7A) Young Won Lim 6/20/18

Do triangle-free planar graphs have exponentially many 3-colorings?

INTRODUCTION TO GRAPH THEORY. 1. Definitions

Fixed-Parameter Algorithms, IA166

Vertex coloring, chromatic number

Graph Theory: Introduction

EXTREMAL PROBLEMS IN GRAPH THEORY CHRISTOPHER M. HARTMAN. B.S., University of Alaska, Fairbanks, 1991 THESIS. Urbana, Illinois

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Transcription:

List Coloring Graphs January 29, 2004 CHROMATIC NUMBER Defn 1 A k coloring of a graph G is a function c : V (G) {1, 2,... k}. A proper k coloring of a graph G is a coloring of G with k colors so that no 2 distinct adjacent vertices are the same color. The chromatic number of G, χ(g), is the smallest k such that a proper k-coloring of G exists. LIST COLORINGS AND CHOICE NUMBER Defn 2 A k list assignment, L, is an assignment of sets (called lists) to the vertices v L(v) such that L(v) k, for all vertices v. An L list coloring is a coloring such that the color assigned to v is in L(v) for all vertices v. A proper L list coloring is an L list coloring which is proper. If G is such that a proper L list coloring exists for all possible k-list assignments L, we say that G is k choosable. The smallest k for which G is k choosable is the choice number of G, denoted ch(g). 1

NOTICE: A k coloring is an L-list coloring where all lists are {1, 2,..., k}. EXAMPLES OF LIST COLORING FACTS ABOUT LIST COLORING Theorem 1 For all graphs on n vertices, χ(g) ch(g) χ(g) ln(n) First, we will show ch(g) > χ(g) 1. This gives the lower bound. Set k = χ(g) and assign the list {1, 2,..., k 1} to all vertices. This is an example of a k 1-list assignment L which cannot be properly colorable. Thus ch(g) > χ(g) 1. FACTS ABOUT LIST COLORING Next, we show ch(g) χ(g) ln V (G). A probabilistic argument. Color G with s = χ(g) colors, Color classes: C 1, C 2,..., C s Suppose k = χ(g) ln n, where n = V (G). Assume G has a k-list assignment L. The sample space is the set of all partitions of u V (G) L(v) into at most s parts. A typical partition is P : P 1, P 2,..., P s and For c u V (G) L(v), Prob (c P i ) = 1 s Want i [s], v C i, L(v) P i. Prob ( i [s], v C i, L(v) P i = ) v V (G) ( s 1 s ) k = n((1 1 s )s ) k s < ne k s. FACTS ABOUT LIST COLORING 2

Figure 1: Planar, bipartite We see that s ln n = k ln n = k s n = e k s ne k s = 1 And so Prob ( i [s], v C i, L(v) P i = ) < ne k s = 1 Therefore, the probability i [s], v C i, L(v) P i > 0. So there exists such a partition. Planar Graphs Defn 3 A graph is planar if it can be drawn in the plane with no edge crossings. Defn 4 A graph is bipartite if and only if its chromatic number is 2. Remember theorem: If G is planar and bipartite then m 2n 4 where m is the number of edges and n is the number of vertices. Let go over some terms: Planar Graphs 3

Defn 5 Face or region. Interior face. Exterior or unbounded face. Defn 6 The length of a face. Total length of closed walk(s) in G bounding the face. EXAMPLES Defn 7 A connected plane embedding of a graph has a unique closed walk bounding the exterior region. We call that walk the outercircuit. (Note that for a closed walk, trail, or path, the starting point is irrelevant, so technically we could say a closed walk is an equivalence class of all closed walks following the same order of vertices and edges. Also, eventhough a circuit is a closed trail and we are talking about a closed walk here, we still call it the outercircuit.) Defn 8 Outerplanar graph. All vertices are on the boundary of the exterior region. Note that the boundary is an outercircuit if the graph is connected. Defn 9 Given a cycle C in a plane embedding of G, C divides the plane into 2 regions, one containing the unbounded face. The exterior of C, ext(c), is the maximum subgraph of G embedded in region containing the unbounded face. The interior of C, int(c), is the maximum subgraph of G embedded in the other region. Neither ones contain any vertices of C itself. Planar Graphs If A V (G), we use the notation < A > for the induced graph on the vertices in A. If we want to indicate the induced graph on the vertices in the exterior of C together with the vertices of C, we could write: < V (ext(c)) V (C) >. Defn 10 A chord of a cycle is an edge whose endpoints are both in the cycle, but is not itself a cycle edge. (This can be applied to any cycle - planar or not. Chronology: 4

1. Chromatic Number (a) Heawood 1890, 5-color theorm For planar graphs (b) Grötzsch 1959, 3-color theorem For planar graphs of girth 4 (c) Grünbaum 1962, 3-color theorem For planar graphs with at most 3 3-cycles (d) Appel, & Haken 1976, 4-color theorem For planar graphs (e) N. Robertson, D. P. Sanders, P. D. Seymour and R. Thomas, 1996, 4-color theorem For planar graphs 2. List Coloring and Choice Number (a) Alon & Tarsi 1992, 3-choosable For planar and bipartite (b) Thomassen 1994, 5-choosable For planar graphs Implies (1a) (c) Thomassen 1995, 3-choosable, For planar graphs of girth 5 Implies (1b) (d) Thomassen 2003, 3-choosable, For planar graphs of girth 5 A short proof Thomassen 5-color 5

1994 Thomassen Theorem 2 If G is planar then the choice number is at most 5. He proved something stronger: Theorem 3 Let G be a connected planar with outercircuit C = (v 1, v 2,..., v k ), and let L be a list assignment such that for v V (C), L(v) 3 otherwise L(v) 5. For any precoloring, c, of the vertices v 1 and v 2, c can be extended to an L-coloring of G. Corollary 3.1 If G is an outerplanar graph then ch(g) 3. Notice that Theorem 3 implies Theorem 2. Proof We can assume G is inner triangulated. Suppose G has a cut vertex... Now we can assume the outercircuit C is a cycle. If C has a chord... If C does not have a chord... Thomassen s implies Grotzsch (A) Grotzsch: Every planar graph G of girth at least 4 is 3-colorable. Moreover, if G has an outer cycle of length 4 or 5 then any 3-coloring of the outer cycle can be extended to a 3-coloring of G. (B) Grotzsch s girth 5 version: Every planar graph G of girth at least 5 is 3-colorable. Moreover, if G has an outer cycle of length 5 then any 3-coloring of the outer cycle can be extended to a 3-coloring of G. 6

We will show (B) (A). Thomassen s Long proof Theorem 4 Let G be a planar graph of girth at least 5. Let A be a set of vertices in G such that each vertex of A is on the outer cycle. Assume that either (i) G(A) has no edge or (ii) G(A) has precisely one edge xy and G has no 2-path from x to a vertex of A. Assume that L is a color assignment such that L(v) 2 for each vertex in G and L(v) 3 for each vertex in V (G)\A. Let u, w be any adjacent vertices in G both on the outer face boundary and let c(u), c(w) be distinct colors in L(u) and L(w) respectively. Then c can be extended to a list coloring of G. Thomassen s Short proof Theorem 5 Let G be a plane graph of girth at least 5. Let c be a 3-coloring of a path or cycle P : v 1, v 2,..., v q, 1 q 6 such that all vertices of P are on the outer face boundary. For all v V (G), let L(v) be its list of colors. If v P then L(v) = {c(v)}. Otherwise L(v) 2. If v is not on the outer face boundary then L(v) = 3. There are no edges joining vertices whose lists have at most 2 colors, except the edges of P. Then c can be extended to an L-coloring of G. Grotzsch s girth 5 version Notice that both of these imply Grotzsch s girth 5 version. 7

We will show this later. Grötzsch (B) (A) (A) Grotzsch: Every planar graph G of girth at least 4 is 3-colorable. Moreover, if G has an outer cycle of length 4 or 5 then any 3-coloring of the outer cycle can be extended to a 3-coloring of G. (B) Grotzsch s girth 5 version: Every planar graph G of girth at least 5 is 3-colorable. Moreover, if G has an outer cycle of length 5 then any 3-coloring of the outer cycle can be extended to a 3-coloring of G. Use (B) to prove (A). Grötzsch (B) (A) Proof by induction on V (G). If G has no 4 cycles then by (B) we are done. Assume G has 4 cycles. If G has a vertex v of degree at most 2, color G v by induction, and color v afterward with a color not used on either of its neighbors. So assume all degrees are at least 3. If G is disconnected, use induction on each component. If G has a cut vertex v, such that G v has components, C 1, C 2,..., C k, color each of C i + v using induction then permute the colors if necessary so that v is colored the same in each. Grötzsch (B) (A) Now we assume that G is 2-connected. So that every facial walk is a cycle. Suppose the length of C is greater than 5. Then it is not precolored. We 8

find a facial cycle of length at most 5 and make that the outer cycle and precolor it. We know there is a cycle of length 4 but need a facial cycle of length 4 or 5. We know such a facial cycle exists by Euler s formula and the fact that we know for all v, the degree of v is at least 3, as shown on next page Grötzsch (B) (A) Let f be the number of faces, n the number of vertices, and e the number of edges. n deg(v i ) = 2e, i=1 3n 2e n e + f = 2, n = 2 f + e But if i, deg(f i ) 6 then 3(2 f + e) 2e, e 3f 6 f 2e = deg(f i ) 6f i=1 and e 3f. This is a contradiction. Grötzsch (B) (A) So we assume we have outer cycle C of length 4 or 5 and it is precolored. Defn 11 A separating cycle is a cycle C in a plane embedding of a graph where both ext(c) and int(c) are non-empty. If G has a separating 4 or 5 cycle C. We color ext(c ) C first using induction then color int(c ) C by induction. If G has a vertex joined to two vertices of C we precolor that vertex in int(c) and use induction on the 2 parts. 9

Grötzsch (B) (A) If G has a facial 4-cycle distinct from C, identify 2 opposite vertices and use induction to color the resulting graph, then reverse the process and the same color is valid for both of the original vertices. Claim 1 If identifying the 2 opposite vertices causes a 3-cycle, then identifying the other 2 opposite vertices of the 4-cycle will not cause a 3-cycle. Proof of Claim: Suppose the 4-cycle is u 1, u 2, u 3, u 4, u 1. If identifying u 1 and u 3 gives a 3-cycle it must involve the new vertex U. Suppose then it is U, x 1, x 2, U. It is clear that x 1, x 2, u 2, u 4 are 4 distinct vertices and both x 1 and x 2 are not adjacent to either of u 1 or u 3 since there are no 3-cycles in G. So without loss of generality, we must have in the original graph, the path: u 1, x 1, x 2, u 3. If we had instead joined together u 2 and u 4, we would be able to conclude that there is a path u 2, y 1, y 2, u 4. The vertices x 1, x 2, y 1 and y 2 are 4 distinct vertices. If any two were the same, there would be a triangle. But now notice that we have a path from u 1 to u 3 and a path from u 2 to u 4 which are disjoint. Thus one must go through the interior of the cycle: u 1, u 2, u 3, u 4, u 1. But this cycle was chosen as a facial cycle, meaning its interior is empty. Notice that we cannot simply add 5th vertices to all the 4 cycles of G and apply (B). Otherwise, we have no separating 4 cycle and no facial 4 cycle so, we can assume that C is the only 4-cycle. We CAN insert a new vertex on C and precolor it. Now we apply (B) 10