Vertex coloring, chromatic number

Similar documents
Vertex coloring, chromatic number

How many colors are needed to color a map?

How many colors are needed to color a map?

Characterizations of graph classes by forbidden configurations

Colouring graphs with no odd holes

Graphs and Discrete Structures

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

Small Survey on Perfect Graphs

Abstract. A graph G is perfect if for every induced subgraph H of G, the chromatic number of H is equal to the size of the largest clique of H.

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

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

A taste of perfect graphs (continued)

The Structure of Bull-Free Perfect Graphs

Topics on Computing and Mathematical Sciences I Graph Theory (13) Summary and Review

Chapter 6 GRAPH COLORING

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

Topics in Combinatorics. Dorottya Sziráki Gergő Nemes

Mock Exam. Juanjo Rué Discrete Mathematics II, Winter Deadline: 14th January 2014 (Tuesday) by 10:00, at the end of the lecture.

Bipartite Roots of Graphs

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

Coloring graphs without fan vertex-minors and graphs without cycle pivot-minors

Math 776 Homework. Austin Mohr. June 15, Theorem 1.1. The following assertions are equivalent for a graph T : (i) T is a tree;

Network flows and Menger s theorem

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

CMSC Honors Discrete Mathematics

Discrete Mathematics I So Practice Sheet Solutions 1

Math 776 Graph Theory Lecture Note 1 Basic concepts

Part II. Graph Theory. Year

Algorithm design in Perfect Graphs N.S. Narayanaswamy IIT Madras

Kyle Gettig. Mentor Benjamin Iriarte Fourth Annual MIT PRIMES Conference May 17, 2014

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

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

MAT 145: PROBLEM SET 6

Diskrete Mathematik und Optimierung

Excluding induced subgraphs

Treewidth and graph minors

Totally odd subdivisions and parity subdivisions: Structures and Coloring

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

Claw-Free Graphs With Strongly Perfect Complements. Fractional and Integral Version.

Excluding induced subgraphs

Diskrete Mathematik und Optimierung

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

Chapter 8 Independence

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

4. (a) Draw the Petersen graph. (b) Use Kuratowski s teorem to prove that the Petersen graph is non-planar.

Module 7. Independent sets, coverings. and matchings. Contents

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Coloring perfect graphs with no balanced skew-partitions

The Erdős-Lovász Tihany Conjecture for Quasi- Line Graphs

Graph Definitions. In a directed graph the edges have directions (ordered pairs). A weighted graph includes a weight function.

Graph Minors and Minimum Degree

Discrete mathematics

arxiv: v2 [math.co] 25 May 2016

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

Lecture 6: Graph Properties

Weak Dynamic Coloring of Planar Graphs

Lecture Notes Graph Theory

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

A structure theorem for graphs with no cycle with a unique chord and its consequences

Ma/CS 6b Class 5: Graph Connectivity

1 Minimal Examples and Extremal Problems

Class Six: Coloring Planar Graphs

1 Matching in Non-Bipartite Graphs

arxiv: v1 [math.co] 4 Apr 2011

1. The following graph is not Eulerian. Make it into an Eulerian graph by adding as few edges as possible.

Lecture 4: Walks, Trails, Paths and Connectivity

Fast Skew Partition Recognition

A note on Brooks theorem for triangle-free graphs

Characterizations of Trees

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.

Skew partitions in perfect 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.

On the odd-minor variant of Hadwiger s conjecture

Coloring perfect graphs with no balanced skew-partitions

16 1. The Basics. x = t 1 >...>t k <...<t n = y

RECOGNIZING CHORDAL PROBE GRAPHS AND CYCLE-BICOLORABLE GRAPHS

Chordal graphs MPRI

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

HW Graph Theory SOLUTIONS (hbovik) - Q

On optimal strategies for a hat game on graphs

Perfect Matchings in Claw-free Cubic Graphs

Solutions to Exercises 9

THE LEAFAGE OF A CHORDAL GRAPH

WORM COLORINGS. Wayne Goddard. Dept of Mathematical Sciences, Clemson University Kirsti Wash

Graph Theory. Lecture by Prof. Dr. Maria Axenovich. Lecture notes by Mónika Csikós, Daniel Hoske and Torsten Ueckerdt

CSC 373: Algorithm Design and Analysis Lecture 4

arxiv: v4 [math.co] 4 Apr 2011

Chromatic Number and Immersions of Complete Graphs

Diskrete Mathematik und Optimierung

On Sequential Topogenic Graphs

Week 9-10: Connectivity

Lecture Notes on Graph Theory

On Minimal Non-(2, 1)-Colorable Graphs

Exercise set 2 Solutions

Two Characterizations of Hypercubes

Chordal Graphs: Theory and Algorithms

Graph Coloring Problems

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

Matchings. Examples. K n,m, K n, Petersen graph, Q k ; graphs without perfect matching. A maximal matching cannot be enlarged by adding another edge.

1 Matchings in Graphs

Transcription:

Vertex coloring, chromatic number A k-coloring of a graph G is a labeling f : V (G) S, where S = k. The labels are called colors; the vertices of one color form a color class. A k-coloring is proper if adjacent vertices have different labels. A graph is k-colorable if it has a proper k-coloring. The chromatic number is χ(g) := min{k : G is k-colorable}. A graph G is k-chromatic if χ(g) = k. A proper k- coloring of a k-chromatic graph is an optimal coloring. Examples. K n, K n,m, C 5, Petersen A graph G is k-color-critical (or k-critical) if χ(h) < χ(g) = k for every proper subgraph H of G. Characterization of 1-, 2-, 3-critical graphs. 1

Lower bounds Simple lower bounds χ(g) ω(g) χ(g) n(g) α(g) Examples for χ(g) ω(g): odd cycles of length at least 5, χ(c 2k+1 ) = 3 > 2 = ω(c 2k+1 ) complements of odd cycles of order at least 5, χ(c 2k+1 ) = k + 1 > k = ω(c 2k+1 ) random graph G = G(n, 1 2 ), almost surely χ(g) n 2 log n > 2 log n ω(g) 2

Mycielski s Construction The bound χ(g) ω(g) could be arbitrarily bad. Construction. Given graph G with vertices v 1,..., v n, we define supergraph M(G). V (M(G)) = V (G) {u 1,... u n, w}. E(M(G)) = E(G) {u i v : v N G (v i ) {w}}. Theorem. (i) If G is triangle-free, then so is M(G). (ii) If χ(g) = k, then χ(m(g)) = k + 1. 3

Forced subdivision G contains a K k χ(g) k G contains a K k χ(g) k (already for k 3) Hajós Conjecture G contains a K k -subdivision? χ(g) k An H-subdivision is a graph obtained from H by successive edge-subdivisions. Remark. The conjecture is true for k = 2 and k = 3. Theorem (Dirac, 1952) Hajós Conjecture is true for k = 4. Homework. Hajós Conjecture is false for k 7. Hadwiger s Conjecture G contains a K k -minor? χ(g) k Proved for k 6. Open for k 7. 4

Proof of Dirac s Theorem Theorem (Dirac, 1952) If χ(g) 4 then G contains a K 4 -subdivision. Proof. Induction on n(g). n(g) = 4 G = K 4. W.l.o.g. G is 4-critical. Case 0. κ(g) = 0 would contradict 4-criticality Case 1. κ(g) = 1 would contradict 4-criticality Case 2. κ(g) = 2. Let S = {x, y} be a cut-set. xy E(G) would contradict 4-criticality Hence xy E(G). χ(g) 4 G must have an S-lobe H, such that χ(h +xy) 4. Apply induction hypothesis to H +xy and find a K 4 -subdivision F in H + xy. Then modify F to obtain a K 4 -subdivision in G. Let S V (G). An S-lobe of G is an induced subgraph of G whose vertex set consists of S and the vertices of a component of G S. 5

Proof of Dirac s Theorem Continued Case 3. κ(g) 3. Let x V (G). G x is 2- connected, so contains a cycle C of length at least 3. Claim. There is an x, C-fan of size 3. Proof. Add a new vertex u to G connecting it to the vertices of C. By the Expansion Lemma the new graph G is 3-connected. By Menger s Theorem there exist three p.i.d x, u-paths P 1, P 2, P 3 in G. Given a vertex x and a set U of vertices, and x, U-fan is a set of paths from x to U such that any two of them share only the vertex x. Fan Lemma. G is k-connected iff V (G) k + 1 and for every choice of x V (G) and U V (G), U k, G has an x, U-fan. Then C P 1 P 2 P 3 u is K 4 -subdivision in G. 6

Upper bounds Proposition χ(g) (G) + 1. Proof. Algorithmic; Greedy coloring. A graph G is d-degenerate if every subgraph of G has minimum degree at most d. Claim. G is d-degenerate iff there is an ordering of the vertices v 1,..., v n, such that N(v i ) {v 1,..., v i 1 } d Proposition. For a d-degenerate G, χ(g) d + 1. In particular, for every G, χ(g) max δ(h) + 1. H G Proof. Greedy coloring. Brooks Theorem. (1941) Let G be a connected graph. Then χ(g) = (G) + 1 iff G is a complete graph or an odd cycle. Proof. Trickier, but still greedy coloring... 7

Proof of Brooks Theorem. Cases. Case 1. G is not regular. Let the root be a vertex with degree < (G). Case 2. G has a cut-vertex. Let the root be the cut-vertex. Assume G is k-regular and κ(g) 2. Case 3. k 2. Then G = C l or K 2. Assume k 3. We need a root v n with nonadjacent neighbors v 1, v 2, such that G {v 1, v 2 } is connected. Let x be a vertex of degree less than n(g) 1. Case 4. κ(g x) 2. Let v n be a neighbor of x, which has a neighbor y, such that y and x are non-neighbors. Then let v 1 = x and v 2 = y. Case 5. κ(g x) = 1. Then x has a neighbor in every leaf-block of G x. Let v n = x and v 1, v 2 be two neighbors of x in different leaf blocks of G x. 8

Block-decomposition of connected graphs Maximal induced subgraph of G with no cut-vertex is called block of G. Lemma. Two blocks intersect in at most one vertex. Proof. If B 1 and B 2 have no cut-vertex and share at least two vertices then B 1 B 2 has no cut-vertex either. The Block/Cut-vertex graph of G is a bipartite graph with vertex set {B : B is a block} {v : v is a cut-vertex}. Block B is adjacent to cut-vertex v iff v V (B). Proposition. The Block/Cut-vertex graph of a connected graph is a tree. 9

Examples for χ(g) = ω(g) cliques, bipartite graphs interval graphs An interval representation of a graph is an assignment of an interval to the vertices of the graph, such that two vertices are adjacent iff the corresponding intervals intersect. A graph having such a representation is called an interval graph. Proposition. If G is an interval graph, then χ(g) = ω(g). Proof. Order vertices according to left endpoints of corresponding intervals and color greedily. perfect graphs 10

Perfect graphs Definition (Berge) A graph G is perfect, if χ(h) = ω(h) for every induced subgraph H G. Conjectures of Berge (1960) Weak Perfect Graph Conjecture. G is perfect iff G is perfect. Strong Perfect Graph Conjecture. G is perfect iff G does not contain an induced subgraph isomorphic to an odd cycle of order at least 5 or the complement of an odd cycle of order at least 5. The first conjecture was made into the Weak Perfect Graph Theorem by Lovász (1972) The second conjecture was made into the Strong Perfect Graph Theorem by Chudnovsky, Robertson, Seymour, Thomas (2002) 11