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

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

Graph coloring, perfect graphs

A taste of perfect graphs

PERFECT GRAPHS AND THE PERFECT GRAPH THEOREMS

Coloring square-free Berge graphs

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

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

Discrete Mathematics

GRAPH MINORS AND HADWIGER S CONJECTURE

The Alon-Saks-Seymour and Rank-Coloring Conjectures

Perfect divisibility and 2-divisibility

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

Approximation Algorithms for the k-set Packing Problem

On Dominator Colorings in Graphs

Dynamic Programming on Trees. Example: Independent Set on T = (V, E) rooted at r V.

1 Notation. 2 Sergey Norin OPEN PROBLEMS

Approximating the independence number via the ϑ-function

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

Graph Classes and Ramsey Numbers

On subgraphs of large girth

On Injective Colourings of Chordal Graphs

Dominator Colorings and Safe Clique Partitions

Equitable coloring of random graphs

12.1 The Achromatic Number of a Graph

The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs

THE LOVÁSZ THETA FUNCTION AND A SEMIDEFINITE PROGRAMMING RELAXATION OF VERTEX COVER

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

Graphical Model Inference with Perfect Graphs

Chromatic Ramsey number of acyclic hypergraphs

Towards Optimal Lower Bounds For Clique and Chromatic Number

C-Perfect K-Uniform Hypergraphs

Coloring graphs with forbidden induced subgraphs

Distinguishing Chromatic Number and NG-Graphs

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

12.1 Chromatic Number

Advanced Combinatorial Optimization September 22, Lecture 4

The concentration of the chromatic number of random graphs

Decomposition of random graphs into complete bipartite graphs

Conditional colorings of graphs

The chromatic covering number of a graph

BROOKS THEOREM AND BEYOND

Combinatorics and Optimization 442/642, Fall 2012

T -choosability in graphs

The Algorithmic Aspects of the Regularity Lemma

PERFECT BINARY MATROIDS

Matroid Representation of Clique Complexes

7. Lecture notes on the ellipsoid algorithm

My Favorite Theorem: Characterizations of Perfect Graphs

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

On the Dynamic Chromatic Number of Graphs

Painting Squares in 2 1 Shades

Tree-chromatic number

The Goldberg-Seymour Conjecture on the edge coloring of multigraphs

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

Notes on Graph Theory

Complexity of Generalised Colourings of Chordal Graphs

On vertex coloring without monochromatic triangles

LNMB PhD Course. Networks and Semidefinite Programming 2012/2013

Random Lifts of Graphs

Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).

Group Colorability of Graphs

Polyhedral studies of vertex coloring problems: The standard formulation

The chromatic number of ordered graphs with constrained conflict graphs

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

Discrete Mathematics

RECAP: Extremal problems Examples

Exact Exponential Algorithms

Ramsey-nice families of graphs

Jacques Verstraëte

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

Decomposition of random graphs into complete bipartite graphs

Multi-coloring and Mycielski s construction

Complexity of conditional colorability of graphs

An Original Speech Around the Difficult Part of the Berge Conjecture (Solved by Chudnovsky, Robertson, Seymour and Thomas)

Lecture notes on the ellipsoid algorithm

Algorithms Design & Analysis. Approximation Algorithm

Approximating Submodular Functions. Nick Harvey University of British Columbia

Acyclic subgraphs with high chromatic number

A Short Proof of the Wonderful Lemma

Lecture 22: Counting

THE CIS PROBLEM AND RELATED RESULTS IN GRAPH THEORY

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

Graph G = (V, E). V ={vertices}, E={edges}. V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Approximation algorithm for Max Cut with unit weights

Scheduling of unit-length jobs with cubic incompatibility graphs on three uniform machines

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Preliminaries and Complexity Theory

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

Introduction to Semidefinite Programming I: Basic properties a

Reducing graph coloring to stable set without symmetry

Applications of the Lopsided Lovász Local Lemma Regarding Hypergraphs

Probabilistic Method. Benny Sudakov. Princeton University

Recursive generation of partitionable graphs

Notice that lemma 4 has nothing to do with 3-colorability. To obtain a better result for 3-colorable graphs, we need the following observation.

On the Local Colorings of Graphs

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. Boundary cliques, clique trees and perfect sequences of maximal cliques of a chordal graph

Graph Theory and Optimization Computational Complexity (in brief)

Revisiting the Limits of MAP Inference by MWSS on Perfect Graphs

Fine Grained Counting Complexity I

Max k-cut and the smallest eigenvalue

Transcription:

Topics on Computing and Mathematical Sciences I Graph Theory (6) Coloring I Yoshio Okamoto Tokyo Institute of Technology May, 008 Last updated: Wed May 6: 008 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Today s contents Coloring, chromatic number Coloring, chromatic number Lower bounds, perfect graphs Upper bounds, greedy coloring Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Coloring Coloring, chromatic number G = (V, E) a graph; k a natural number Definition (Coloring) A k-coloring of G is a map c : V {,..., k}; The vertices of one color form a color class; A k-coloring of G is proper if c(u) c(v) for all {u, v} E Each element of the range of a coloring is called a color 4 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Colorability Coloring, chromatic number G = (V, E) a graph; k a natural number Definition (Colorability) G is k-colorable if a proper k-coloring of G 4 not -colorable but 4-colorable Note: G k-colorable G l-colorable for all l k Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 4 / 6

Coloring, chromatic number Chromatic numbers G = (V, E) a graph Definition (Chromatic number) The chromatic number of G is the min k for which G is k-colorable Notation χ(g) = the chromatic number of G 4 χ(g) = 4 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 5 / 6

Coloring, chromatic number k-chromatic graphs G = (V, E) a graph; k a natural number Definition (k-chromatic graph) G is k-chromatic if χ(g) = k Remark: G k-colorable χ(g) k 4 4-chromatic, but not -chromatic, not 5-chromatic Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 6 / 6

Coloring, chromatic number Chromatic numbers of some graphs χ(k n ) =?? χ(k m,n ) =?? χ(p n ) =?? χ(c n ) =?? χ(petersen) =?? Remark H G χ(h) χ(g) Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 7 / 6

Coloring, chromatic number Color-critical graphs G = (V, E) a graph; χ(g) = k Definition (Color-critical graph) G is k-critical if χ(h) < χ(g) for every proper subgraph H of G Observation For G without isolated vertex: G k-critical χ(g e) < χ(g) for all e E G -critical G K G -critical G an odd cycle Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 8 / 6

Coloring, chromatic number Proper coloring and independent sets G = (V, E) a graph Definition (Independent set (recap)) A set S V is independent if no two vertices of S are adjacent Observation c is a proper k-coloring of G each color class is independent 4 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 9 / 6

Coloring, chromatic number Multi-partite graphs G = (V, E) a graph; r a natural number Definition (Multi-partite graph) G is r-partite if a partition V V r of V s.t. {u, v} E {u, v} V i for any i Observation G k-colorable G k-partite a d g a f c g b c e f b d e Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 0 / 6

Coloring, chromatic number Deciding k-colorability Problem k-colorability Pre-input: A natural number k Input: A graph G Question: Is G k-colorable? Facts k k-colorability is poly-time solvable k k-colorability is NP-complete (Karp 7) Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Lower bounds, perfect graphs Today s contents Coloring, chromatic number Lower bounds, perfect graphs Upper bounds, greedy coloring Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Lower bounds, perfect graphs Easy lower bound () Definition (clique, clique number (recap)) A set S V is a clique if every pair of vertices of S are adjacent; ω(g) = the size of a largest clique of G Proposition 6. (Easy lower bound for the chromatic number) χ(g) ω(g) for every graph G 4 χ(g) = 4 ω(g) = Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Lower bounds, perfect graphs Easy lower bound () Definition (independence number (recap)) α(g) = the size of a largest independent set of G Proposition 6. (Easy lower bound for the chromatic number) χ(g) n(g)/α(g) for every graph G 4 χ(g) = 4 α(g) = n(g) = 7 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 4 / 6

Lower bounds, perfect graphs Is the lower bounds tight? Consider an odd cycle C k+ of length at least 5 n(c k+ ) = k+ ω(c k+ ) = α(c k+ ) = k χ(c k+ ) = We will see the bound χ(g) ω(g) can be arbitrarily bad (in the next lecture) Lesson Difficulty of optimization problems lies in certifying the optimality; Efficient algorithms require good lower bounds (for minimization problems) Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 5 / 6

Lower bounds, perfect graphs When is it tight? Graphs G with χ(g) = ω(g) Complete graphs, bipartite graphs, interval graphs,... Definition (Interval graph) G is an interval graph if a set I of (closed) intervals and a bijection φ: V (G) I s.t. u, v adjacent iff φ(u) φ(v) 4 5 6 φ() φ() φ() φ(4) φ(5) φ(6) Will prove later: G an interval graph χ(g) = ω(g) Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 6 / 6

Perfect graphs Lower bounds, perfect graphs Definition (Perfect graph) G is perfect if χ(h) = ω(h) for all induced subgraphs H of G Weak Perfect Graph Theorem (Lovász 7) G is perfect G is perfect Strong Perfect Graph Theorem (Chudnovsky, Robertson, Seymour, Thomas 06) G is perfect Both conjectured by Berge ( 6) G contains no induced subgraph iso. to an odd cycle of length at least 5 or its complement Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 7 / 6

Upper bounds, greedy coloring Today s contents Coloring, chromatic number Lower bounds, perfect graphs Upper bounds, greedy coloring Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 8 / 6

Greedy coloring Upper bounds, greedy coloring To give an upper bound for χ(g), we construct a proper coloring Definition (Greedy coloring) Fix a linear order on V (G); The greedy coloring of G with respect to is the following coloring c : V (G) {,,...} { v the min w.r.t. c(v) = min({,,...} \ {c(u) u v, {u, v} E}) otherwise Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 9 / 6

Upper bounds, greedy coloring An easy upper bound Proposition 6. (Greedy coloring) χ(g) (G) + for every graph G Proof idea. Look at an arbitrary vertex v # vertices preceding v wrt at least one color in {,..., +} is available for v Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 0 / 6

Upper bounds, greedy coloring Degenerate graphs Definition (Degenerate graph) A graph G is d-degenerate if δ(h) d for every subgraph H of G Proposition 6.4 (chromatic number of degenerate graph) G d-degenerate = χ(g) d + Prood idea. Consider the following linear order on V (G) The largest vertex wrt is one with min degree, denote it by v; Then, consider G v and the second largest vertex w.r.t. is one with min degree in G v, denote it by v ; Then, consider G {v, v },... On this order, try the greedy coloring Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 5 00 7 4 00 00 6 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 5 00 7 00 4 6 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 5 4 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 5 4 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 5 4 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 5 4 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 4 5 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 4 5 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 4 5 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Example of a proposed linear order In other words, the order satisfies: u v if d H (u) d H (v) where H is the subgraph induced by V (G) \ {w v w} 4 5 6 7 8 4 5 6 7 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Non-regular graphs If a graph G is not regular, we can improve (G)+ a bit Proposition 6.5 (An improvement of an easy upper bound) No component of G is regular = χ(g) (G) Proof idea. WLOG, G is connected G contains a spanning tree T (Prop..6) v a min degree vertex of G (Rem: δ(g) < (G)) 5 00 7 4 00 00 00 00 8 6 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Non-regular graphs If a graph G is not regular, we can improve (G)+ a bit Proposition 6.5 (An improvement of an easy upper bound) No component of G is regular = χ(g) (G) Proof idea. WLOG, G is connected G contains a spanning tree T (Prop..6) v a min degree vertex of G (Rem: δ(g) < (G)) 5 00 7 4 00 00 00 00 8 6 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Upper bounds, greedy coloring Non-regular graphs (cont d) Proof idea (continued). Define a linear order on V as the reverse order of the length of a unique path to v in T Property : u V \ {v} w V s.t. u w and {u, w} E(T ) ( E) Property : d(v) (G) These properties lead to our upper bound 5 00 7 4 00 00 00 8 6 4 5 7 6 8 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 4 / 6

Upper bounds, greedy coloring What about regular graphs?: Brooks theorem Theorem 6.6 (Brooks 4) No component of G is complete or an odd cycle χ(g) (G) Proof idea. WLOG G = (V, E) is -vertex-connected WLOG G is k-regular, k Use Exer 5. G non-complete -vtx-connected k-reg (k ) x, y, z V s.t. {x, y}, {x, z} E, {y, z} E and G {y, z} connected G 00 y 00 x z 00 x G {y, z} Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 5 / 6

Upper bounds, greedy coloring Brooks theorem (cont d) Proof idea (continued). A linear order : The smallest two are y and z Order the vertices of G {y, z} from a spanning tree (as before) But this time, consider paths to x (so x is the largest in ) Greedy coloring wrt gives the desired bound G 00 y 00 x z y z x Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 6 / 6

Upper bounds, greedy coloring Chromatic number of an interval graph Theorem 6.7 (Chromatic number of an interval graph) G an interval graph χ(g) = ω(g) Proof idea. φ: V (G) I a bijection to a set of intervals A linear order : An ascending order of the left endpoints of the corresponding intervals (tie is broken arbitrarily) 4 5 6 φ() φ() φ() φ(4) φ(5) φ(6) 4 5 6 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 7 / 6

Upper bounds, greedy coloring Chromatic number of an interval graph (continued) Proof idea (cont d). Consider a vertex v with the largest color k φ(v) intersects k other intervals at the left endpoint of φ(v); They form a clique ω(g) k = χ(g) 4 5 6 φ() φ() φ() φ(4) φ(5) φ(6) 4 5 6 Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 8 / 6

Today s contents Open problems Coloring, chromatic number Lower bounds, perfect graphs Upper bounds, greedy coloring Open problems Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 9 / 6

Open problems Coping with NP-completeness Fact Computing the chromatic number of a graph is NP-hard (Karp 7); Hence, no polynomial-time algorithm is unlikely to exist Question Then, what can we do for this problem? We need to compromise somehow Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 0 / 6

Open problems What to compromise (three-dimensional view) Basic ways to cope with NP-hardness Restriction Approach Require our algorithm to output the chromatic number in poly-time for a restricted class of graphs Exact Approach Require our algorithm to output the chromatic number for every graph, but not necessarily in poly-time Approximate Approach Require our algorithm to output a value close to the chromatic number for every graph in poly-time Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Open problems Chromatic number: Restriction approach Fact We can compute the chromatic number of a perfect graph in polynomial time (Grötschel, Lovász, Schrijver 84) A milestone in the history of combinatorial optimization Use of semidefinite programming and the ellipsoid method (from continuous optimization) Note: The ellipsoid method is inefficient Open problem Design a practical algorithm (that does not rely on techniques in continuous optimization too) to compute the chromatic number of a perfect graph Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Open problems Chromatic number: Exact approach Fact We can compute the chromatic number of a graph in O( n poly(n)) time (Björklund, Husfeldt, Koivisto 06) This is one of the milestones in the research of exponential-time exact algorithms The algorithm is based on a simple principle inclusion-exclusion Open problem Design a faster algorithm to compute the chromatic number; For example, can we do it in O(.7 n poly(n))? Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- / 6

Open problems Chromatic number: Approximate approach Definition (Approximation factor) An algorithm for the chromatic # problem is an r-approximation if it always outputs a value at most r times the chromatic # of the input; r is called an approximation ratio Facts for the chromatic number approximation a poly-time alg w/ apx ratio O(n(log log n) / log n) (Halldórsson 9) no poly-time alg w/ apx ratio n c for some const c > 0 if P NP (Lund, Yannakakis 94) n ε for any const ε > 0 if NP ZPP (Feige, Kilian 98) n O((log log n) /) if NP ZPTIME( O(log n(log log n)/) ) (Engebretsen, Holmerin 0) Remark: O(n(log log n) / log O(log log n/ log n) n) = n Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 4 / 6

Open problems Reed s ω- -χ conjecture Conjecture (ω- -χ conjecture; Reed 98) χ(g) (ω(g) + (G) + ) for every graph G Status True when ω(g) (G) True when ω(g) = (G) (easy) (Brooks) True when (G) = n(g) (Reed 98) Asympototically true (Reed 98) 0 0 ε < ω ( ε) : ω(g) ω χ(g) (ω(g) + (G) + ) True for line graphs (King, Reed, Vetta 07) Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 5 / 6

Open problems Alon-Saks-Seymour conjecture Conjecture (Alon, Saks, Seymour 94) G can be decomposed into k complete bipartite graphs χ(g) k+ 4 4 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 Status True when G complete (Graham, Pollak 7) using linear algebra (the spectral method) Y. Okamoto (Tokyo Tech) TCMSI Graph Theory (6) 008-05- 6 / 6