A taste of perfect graphs

Similar documents
Graph coloring, perfect graphs

Coloring. Basics. A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]).

Perfect divisibility and 2-divisibility

C-Perfect K-Uniform Hypergraphs

Partial characterizations of clique-perfect graphs I: subclasses of claw-free graphs

Reducing graph coloring to stable set without symmetry

Topics on Computing and Mathematical Sciences I Graph Theory (6) Coloring I

PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS

Recursive generation of partitionable graphs

GRAPH MINORS AND HADWIGER S CONJECTURE

Even Pairs and Prism Corners in Square-Free Berge Graphs

Graph Classes and Ramsey Numbers

Induced subgraphs of graphs with large chromatic number. I. Odd holes

Partial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs

An approximate version of Hadwiger s conjecture for claw-free graphs

Quasi-parity and perfect graphs. Irena Rusu. L.R.I., U.R.A. 410 du C.N.R.S., bât. 490, Orsay-cedex, France

COMBINATORIAL SYMBOLIC POWERS. 1. Introduction The r-th symbolic power of an ideal I in a Notherian ring R is the ideal I (r) := R 1

Coloring square-free Berge graphs

Index coding with side information

The structure of bull-free graphs I three-edge-paths with centers and anticenters

Jacques Verstraëte

Cographs; chordal graphs and tree decompositions

Discrete Mathematics

The strong perfect graph theorem

Independent Transversals in r-partite Graphs

Combinatorial symbolic powers

A Short Proof of the Wonderful Lemma

Graph homomorphisms. Peter J. Cameron. Combinatorics Study Group Notes, September 2006

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

Observation 4.1 G has a proper separation of order 0 if and only if G is disconnected.

INDUCED CYCLES AND CHROMATIC NUMBER

On Generalized Ramsey Numbers

d 2 -coloring of a Graph

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

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

K 4 -free graphs with no odd holes

On (δ, χ)-bounded families of graphs

Dominator Colorings and Safe Clique Partitions

Graphical Model Inference with Perfect Graphs

Reflection on Rainbow Neighbourhood Numbers

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

Discrete Mathematics

Berge Trigraphs. Maria Chudnovsky 1 Princeton University, Princeton NJ March 15, 2004; revised December 2, Research Fellow.

PERFECT BINARY MATROIDS

Induced subgraphs of graphs with large chromatic number. III. Long holes

Even pairs in Artemis graphs. Irena Rusu. L.I.F.O., Université d Orléans, bât. 3IA, B.P. 6759, Orléans-cedex 2, France

Integrity in Graphs: Bounds and Basics

Triangle-free graphs that do not contain an induced subdivision of K 4 are 3-colorable

On a list-coloring problem

On Dominator Colorings in Graphs

Coloring graphs with forbidden induced subgraphs

On the chromatic number of the lexicographic product and the Cartesian sum of graphs

The Fractional Chromatic Number and the Hall Ratio. Johnathan B. Barnett

Complementary Ramsey numbers, graph factorizations and Ramsey graphs

M-saturated M={ } M-unsaturated. Perfect Matching. Matchings

My Favorite Theorem: Characterizations of Perfect Graphs

Codes and Xor graph products

Some Nordhaus-Gaddum-type Results

4-coloring P 6 -free graphs with no induced 5-cycles

LOVÁSZ-SCHRIJVER SDP-OPERATOR AND A SUPERCLASS OF NEAR-PERFECT GRAPHS

Induced Cycles of Fixed Length

Induced subgraphs of graphs with large chromatic number. VIII. Long odd holes

Equitable coloring of random graphs

The Erdös-Hajnal Conjecture A Survey

Polyhedral studies of vertex coloring problems: The standard formulation

The Turán number of sparse spanning graphs

Induced subgraphs of graphs with large chromatic number. IX. Rainbow paths

Circular Chromatic Numbers of Some Reduced Kneser Graphs

RECAP: Extremal problems Examples

BROOKS THEOREM AND BEYOND

Notes on Graph Theory

LNMB PhD Course. Networks and Semidefinite Programming 2012/2013

On Rank of Graphs. B. Tayfeh-Rezaie. School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran

2 β 0 -excellent graphs

On subgraphs of large girth

Nordhaus-Gaddum Theorems for k-decompositions

Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings

On the Dynamic Chromatic Number of Graphs

This is a repository copy of Even-hole-free graphs that do not contain diamonds: A structure theorem and its consequences.

Blockers for the stability number and the chromatic number

Multi-coloring and Mycielski s construction

This is a repository copy of Chromatic index of graphs with no cycle with a unique chord.

1 Notation. 2 Sergey Norin OPEN PROBLEMS

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Chromatic Ramsey number of acyclic hypergraphs

Max k-cut and the smallest eigenvalue

arxiv: v1 [cs.dm] 4 May 2018

Painting Squares in 2 1 Shades

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS

Group Colorability of Graphs

Tiling on multipartite graphs

Topics on Computing and Mathematical Sciences I Graph Theory (7) Coloring II

Combinatorics and Optimization 442/642, Fall 2012

The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs

Tree-chromatic number

Matroid Representation of Clique Complexes

Perfect matchings in highly cyclically connected regular graphs

(a) How many pairs (A, B) are there with A, B [n] and A B? (The inclusion is required to be strict.)

k-tuple chromatic number of the cartesian product of graphs

Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz

Transcription:

A taste of perfect graphs Remark Determining the chromatic number of a graph is a hard problem, in general, and it is even hard to get good lower bounds on χ(g). An obvious lower bound we have seen before is ω(g), the clique number of a graph. There are some interesting graphs for which χ(g) = ω(g), including the following: Bipartite graphs χ(g) = ω(g) = 2 unless G is edgeless Complements of bipartite graphs prob 5.1.38 of text: prove that χ(g) = ω(g) when G is bipartite Line graphs of bipartite graphs χ(l(g)) = χ (G) = (G) = ω(l(g)) when G is bipartite where we recall that vtcs. form a clique in L(G) corresponding edges in G have a common endpoint (star) or form a triangle Complements of line graphs of bipartite graphs Claim: if G is bipartite, χ(l(g)) = ω(l(g)). Definition The clique cover number, denoted θ(g), of a graph G is the minimum # of cliques in G needed to cover V (G). Examples Math 104 - Prof. Kindred - Lecture 23 Page 1

Notice that θ(g) = χ(g) since covering vtcs. with cliques in G Assume G is bipartite. We have because covering vtcs. with independent sets in G. χ(l(g)) = θ(l(g)) = β(g) Furthermore, vtcs. form a clique in L(G) corresponding edges in G have a common endpoint (star). since ω(l(g)) = α(l(g)) = α (G) independent sets in L(G) matchings in G. By König Egerváry theorem, we know α (G) = β(g). Comparability graphs A comparability graph has a vertex for each element of a partial order and an edge between any two comparable elements. In this case, χ(g) = min size of a partition of the poset into chains = max size of a chain = ω(g) Complements of comparability graphs Dilworth s theorem can be used to show that χ(g) = ω(g) when G is a comparability graph Math 104 - Prof. Kindred - Lecture 23 Page 2

While the above classes of graphs are all interesting, not every graph satisfying χ(g) = ω(g) is... Take any graph with at most 20 vtcs. and consider the disjoint union of it and K 20. Clearly this graph satisfies χ(g) = ω(g), but it is certainly not interesting in general. Goal: define a class of graphs satisfying χ(g) = ω(g), containing the interesting graphs mentioned above but not uninteresting ones. Strategy: make the property hereditary. Definition A family of graphs G is hereditary if every induced subgraph of a graph in G is also a graph in G. Definition A graph G is perfect if for all induced subgraphs H of G, χ(h) = ω(h). Otherwise, we say the graph is imperfect. Claude Berge first formalized notion of perfect graphs in the early 1960 s. Families of graphs that are perfect graphs All of the classes from previous list Complete graphs K n Edgeless graphs K n Wheel graphs with an odd # of vtcs. Interval graphs Intervals on the real line and the corresponding interval graph. Chordal graphs (proof by induction 1 ) Cographs (proof by induction) Math 104 - Prof. Kindred - Lecture 23 Page 3

Examples of graphs that are not perfect C 5, C 7, C 9,... (sometimes termed odd holes) C 5, C 7, C 9,... (sometimes termed odd antiholes) Definition An imperfect graph is minimally imperfect if each of its proper induced subgraphs is perfect. Examples Minimally imperfect graphs C 7 and C 7 1 1 7 2 7 2 6 3 6 3 5 4 5 4 Berge observed that all perfect graphs in the classes previously mentioned also have perfect complements, which led to the Perfect Graph Conjecture (1961). This conjecture was proved by Lovász (1972), resulting in what is now known as the Perfect Graph Theorem. Perfect Graph Theorem. A graph G is perfect if and only if G is perfect. Not long after the Perfect Graph Theorem, the following beautiful characterization of perfect graphs was proposed by Hajnal and proven by Lovász. Theorem. A graph G is perfect if and only if every induced subgraph H of G satisfies the inequalilty V (H) α(h)ω(h). 1 A proof is given on page 227 of Introduction to Graph Theory by Douglas West. Math 104 - Prof. Kindred - Lecture 23 Page 4

Remark have Note that given the above inequality, if we consider H, we V (H) = V (H) α(h)ω(h) = ω(h)α(h). Thus, the above theorem implies the Perfect Graph Theorem. For a proof of the α ω theorem, we first need the following property of minimally imperfect graphs. Proposition. Let S be an independent set in a minimally imperfect graph G. Then ω(g S) = ω(g). Proof. We have the following string of inequalities: ω(g S) ω(g) χ(g) 1 since G is imperfect χ(g S) since χ(g) 1 + χ(g S) as vtcs. in S can all be assigned one color = ω(g S) by def n of minimally imperfect. Since we begin and end with ω(g S), equality must hold throughout; in particular, ω(g S) = ω(g). We can now establish a result on the structure of minimally imperfect graphs that plays a key role in the proof of the α ω theorem. Lemma. Let G be a minimally imperfect graph. Then G contains α(g)ω(g)+1 independent sets S 0, S 1,..., S α(g)ω(g) and α(g)ω(g)+1 cliques C 0, C 1,..., C α(g)ω(g) such that (a) each vertex of G belongs to precisely α(g) of the independent sets S i, Math 104 - Prof. Kindred - Lecture 23 Page 5

(b) each clique C i has ω(g) vertices, (c) C i S i = for 0 i α(g)ω(g), (d) and C i S j = 1 for 0 i < j α(g)ω(g). Proof. Assume G = (V, E) is a minimally imperfect graph. Let S 0 be a maximum independent set of G, and let v S 0. The graph G v is perfect because G is minimally imperfect. Thus, χ(g v) = ω(g v) ω(g). This implies that for any v S 0, the set V v can be partitioned into a collection S v of ω(g) independent sets (namely the color classes in a coloring of G v using ω(g) colors). Denoting { S v : v S 0 } by {S 1, S 2,..., S α(g)ωg }, it can be seen that {S 0, S 1, S 2,..., S α(g)ωg } contains α(g)ω(g) + 1 independent sets of G satisfying property (a). if v S 0, then v is in... S 0 one of S ω(g)+1,..., S 2ω(G) one of S 2ω(G)+1,..., S 3ω(G). one of S (α(g) 1)ω(G)+1,..., S α(g)ω(g) By previous proposition, we also know that if v S 0, then v is not in any of S 1,..., S ω(g) ω(g S i ) = ω(g) for any 0 i α(g)ω(g). Hence, there exists a maximum clique C i of G that is disjoint from S i. Because no two vertices of C i can belong to a common independent set, we know C i S j 1 for i < j. But, in addition, because each of the Math 104 - Prof. Kindred - Lecture 23 Page 6

ω(g) vertices in C i lies in α(g) of the independent sets S j (by property (a)), we must have C i S j = 1 for 0 i < j α(g)ω(g). Example α(c 7 ) = 2 and ω(c 7 ) = 3 1 max independent set S 0 = {1, 2} 7 2 color classes in 3-coloring of C 7 {1} : S 1 = {2, 3}, S 2 = {4, 5}, S 3 = {6, 7} 6 5 4 3 color classes in 3-coloring of C 7 {2} : S 4 = {3, 4}, S 5 = {5, 6}, S 6 = {1, 7} C 1 = {1, 4, 6}, C 2 = {1, 3, 6}, C 3 = {1, 3, 5}, C 4 = {2, 5, 7}, C 5 = {2, 4, 7}, C 6 = {2, 4, 6} Proof of α ω theorem. ( ) Suppose that G is perfect, and let H be an induced subgraph of G. We have ω(h) = χ(h) V (H) α(h) = V (H) α(h)ω(h). We prove the harder direction next class. Math 104 - Prof. Kindred - Lecture 23 Page 7