ON COLORING CLAW-FREE GRAPHS

Similar documents
COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

Mean Ramsey-Turán numbers

An inequality for the group chromatic number of a graph

On Integer Additive Set-Indexers of Graphs

Odd induced subgraphs in graphs of maximum degree three

Cycles and clique-minors in expanders

The degree, size and chromatic index of a uniform hypergraph

Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor

Total colorings of planar graphs with small maximum degree

Introduction to Graph Theory

On three zero-sum Ramsey-type problems

The chromatic spectrum of mixed hypergraphs

Cycles in a Graph Whose Lengths Differ by One or Two

Definition Given a graph G on n vertices, we define the following quantities:

Minimum degree condition forcing complete graph immersion

A 2-factor in which each cycle has long length in claw-free graphs

On an anti-ramsey type result

The positive minimum degree game on sparse graphs

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

A Turán Type Problem Concerning the Powers of the Degrees of a Graph

Triangle deletion. Ernie Croot. February 3, 2010

Labeling outerplanar graphs with maximum degree three

On the independence number of graphs with maximum degree 3

Exponential time algorithms for graph coloring

All trees contain a large induced subgraph having all degrees 1 (mod k)

Graph Theory Problems and Solutions

Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

8. Matchings and Factors

On-line Ramsey Theory for Bounded Degree Graphs

Midterm Practice Problems

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Graphs without proper subgraphs of minimum degree 3 and short cycles

Small Maximal Independent Sets and Faster Exact Graph Coloring

Large induced subgraphs with all degrees odd

Non-Separable Detachments of Graphs

Every tree contains a large induced subgraph with all degrees odd

Analysis of Algorithms, I

The minimum number of distinct areas of triangles determined by a set of n points in the plane

each college c i C has a capacity q i - the maximum number of students it will admit

Clique coloring B 1 -EPG graphs

Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

Ramsey numbers for bipartite graphs with small bandwidth

A threshold for the Maker-Breaker clique game

Connectivity and cuts

3. Eulerian and Hamiltonian Graphs

A NOTE ON OFF-DIAGONAL SMALL ON-LINE RAMSEY NUMBERS FOR PATHS

The Independence Number in Graphs of Maximum Degree Three

Cycle transversals in bounded degree graphs

Finding and counting given length cycles

BOUNDARY EDGE DOMINATION IN GRAPHS

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE

CONTRIBUTIONS TO ZERO SUM PROBLEMS

On the maximum average degree and the incidence chromatic number of a graph

Stationary random graphs on Z with prescribed iid degrees and finite mean connections

Class One: Degree Sequences

On the crossing number of K m,n

Collinear Points in Permutations

Markov random fields and Gibbs measures

Math 55: Discrete Mathematics

Determination of the normalization level of database schemas through equivalence classes of attributes

Single machine parallel batch scheduling with unbounded capacity

Graphical degree sequences and realizations

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

Short Cycles make W-hard problems hard: FPT algorithms for W-hard Problems in Graphs with no short Cycles

Reductions & NP-completeness as part of Foundations of Computer Science undergraduate course

Minimally Infeasible Set Partitioning Problems with Balanced Constraints

High degree graphs contain large-star factors

Removing Even Crossings

Tree-representation of set families and applications to combinatorial decompositions

6.2 Permutations continued

Split Nonthreshold Laplacian Integral Graphs

Generalized Induced Factor Problems

Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, Chapter 7: Digraphs

3. Linear Programming and Polyhedral Combinatorics

Approximation Algorithms

Distributed Computing over Communication Networks: Maximal Independent Set

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

On end degrees and infinite cycles in locally finite graphs

Lecture 1: Course overview, circuits, and formulas

SOLUTIONS TO ASSIGNMENT 1 MATH 576

The Clar Structure of Fullerenes

5 Directed acyclic graphs

A simpler and better derandomization of an approximation algorithm for Single Source Rent-or-Buy

Transcription:

ON COLORING CLAW-FREE GRAPHS JED YANG Final Report October 29, 2007 Abstract. A graph G is k-claw-free if no vertex has k pairwise nonadjacent neighbors. A proper k-coloring of G is a map from the vertex set to a set of k colors such that no two adjacent vertices map to the same color. The chromatic number χ(g is the minimal k such that a proper k-coloring of G exists. The clique number ω(g is the maximum size of a set of vertices in G that are all pairwise adjacent. The independence number α(g is the maximum size of a set of vertices in G that are all pairwise nonadjacent. A theorem of Erdős implies that we can make χ(g arbitrarily large while fixing ω(g = 2. Therefore in general we cannot bound χ(g above by a function of ω(g. In 2005, Chudnovsky and Seymour showed that if G is 3-claw-free with α(g 3, then χ(g 2ω(G. We extend this result to k-claw-free graphs. A 4-hole is four vertices joined together in a square, but neither of the diagonals is joined. We show that if G is k-claw-free, and 4-hole-free, with α(g k, then χ(g ( k ω(g 1. We also exhibit a bound for the case where we admit 4-holes. 1. Introduction Let G be a finite simple graph. The set of vertices and edges of G are denoted V (G and E(G, respectively. For an integer k, a function c : V (G {1,...,k} is a k-coloring of G. A proper coloring of G is a coloring such that no two adjacent vertices have the same color. The chromatic number χ(g of a graph G is the minimal k such that a proper k-coloring of G exists. Similarly, a proper k-edge-coloring of G is a function c : E(G {1,..., k} such that no two distinct edges that share a vertex have the same color. The girth of a graph is the length of its shortest cycle. The following is a well-known result due to Erdős in 1959. Theorem 1. Given any positive numbers g and k, there exists a graph with girth at least g and chromatic number at least k. 1

2 JED YANG A clique in G is a set of vertices that are all pairwise adjacent. The clique number ω(g is the maximum size of a clique in G. If G is a graph with girth g 4, then ω(g 2. By Theorem 1, however, the chromatic number χ(g can be taken to be arbitrarily large. Therefore, in general, we cannot bound χ(g above by a function of ω(g. In light of this, it is interesting to establish any bound of this form for specific classes of graphs. The family of line graphs is a class for which a bound of χ(g by a function of ω(g from above is known. The line graph L(G of a graph G is the graph with vertex set V (L(G := E(G and where a, b E(G are adjacent as vertices of L(G if and only if, as edges in G, a and b have a common incident vertex. The degree d(v of a vertex v V (G is the number of neighbors of v. The maximum degree (G is the maximum of the degrees of the vertices of G. Shannon [3] proved that the edges of any graph can be properly colored using no more than 3 (G colors. This implies that if G is a line graph, then 2 χ(g 3 2 ω(g. This result is tight as witnessed by a pentagon C 5. Another example for which a linear bound is known is the class of claw-free graphs. A vertex set is stable if the vertices are pairwise nonadjacent. The independence number α(g is the maximum size of a stable set. We say that X V (G is a k-claw if the subgraph of G induced on X is the complete bipartite graph K 1,k. A graph G is k-claw-free if no subset of V (G is a k-claw. We may refer to a 3-claw simply as a claw, and 3-claw-free as claw-free. Claw-free graphs are well-known generalizations of line graphs. Chudnovsky and Seymour [1] in 2005 proved the following. Theorem 2. Let G be a connected claw-free graph with α(g 3. Then χ(g 2ω(G, and this is asymptotically best possible. 2. On 4-Hole-Free, k-claw-free Graphs We attempt to generalize this linear bound to k-claw-free graphs. However, we need to require an additional constraint. We say that X V (G is a 4-hole if the subgraph of G induced on X is a 4-cycle. A graph G is 4-hole-free if no subset of V (G is a 4-hole. For v V (G, we denote the set of neighbors of v in G by N G (v.

ON COLORING CLAW-FREE GRAPHS 3 Theorem 3. Let G be k-claw-free, 4-hole free, and connected, with α(g k 3. Then (G ( k ω(g 1, and consequently χ(g ω(g 1. ( k 2 Proof. Brook s Theorem states that χ(g (G as long as G is not complete nor an odd cycle. It is clear that G cannot be complete, and that for an odd cycle, the second result hold. Therefore the second statement follows from the first statement by Brook s Theorem. To prove the first statement, we perform induction on V (G. Let v be a vertex of degree (G. Suppose all vertices besides v are joined to v. Then since α(g k, there are k neighbors of v that are pairwise nonadjacent. Then we have a k-claw, a contradiction. Therefore there is u V, u v, such that u is nonadjacent to v. We may choose u such that G\u is connected (by choosing one that has maximum distance from v, say. If α(g\u k, then the induction hypothesis gives (G\u ( k ω(g\u 1. Since u and v are nonadjacent, (G = (G\u, and also ω(g\u ω(g, hence the desired result follows. Now we may assume that α(g\u = k 1. Let A = {a 1,...,a } V (G\u be stable. Let N i = N G\u (a i for i = 1, 2,..., k 1. Let M i = N i \( j i N j for i = 1, 2,..., k 1, and let M ij = N i N j for 1 i, j k 1, i j. Since α(g\u = k 1, all vertices are either in A or are in N i for some i. If x, y M i are nonadjacent, then {x, y} A\a i is a stable set of size k, a contradiction. Therefore M i {a i } is a clique. If x, y M ij is nonadjacent, then {x, y, a i, a j } is a 4-hole, a contradiction. Therefore M ij is a clique. Since the union of the M i and the M ij equals the union of the N i, we have V (G\u = A M i M ij. 1 i 1 i,j i j Therefore V (G\u 1 i M i {a i } + 1 i,j i j M ij. There are k 1 summands in the first sum and ( 2 in the second. Each summand is bounded by ω(g\u; therefore we get V (G\u ( k ω(g\u.

4 JED YANG Recall that ω(g\u ω(g. Furthermore, (G V (G 2 because u is not adjacent to v. Therefore as desired. (G V (G\u 1 ( k ω(g 1, 3. On General k-claw-free Graphs In the previous section, we generalized Theorem 2 to k-claw-free graphs by requiring the absence of 4-holes. In this section, we shall generalize Theorem 2 to k-claw-free graphs without adding this constraint. However, the bound we obtain here is not linear in the clique number. We shall employ Ramsey theory in our proof. We denote a complete graph on n vertices as K n. Theorem 4 (Ramsey. There exists a minimal positive integer R(p, q with the following property. Let G be a complete graph on n vertices. Each edge is colored red or blue. If n R(p, q, then G contains a red K p or a blue K q. Moreover, ( p + q 2 R(p, q. p 1 Ramsey s Theorem is very well known; the bound for R(p, q can be found, for example, in Theorem 3.4 of [2]. Lemma 5. Let G be a graph. If α(g < k, then ( ω(g + k 1 V (G <. k 1 Proof. Let H be a complete graph on the vertex set V (H = V (G. Color an edge of H red if it is an edge in G, and blue otherwise. By Theorem 4, if V (H R(ω(G+1, α(g+1, then H either has a red K ω(g+1 or a blue K α(g+1. So G either has a clique of size ω(g + 1 or a stable set of size α(g + 1, a contradiction. Therefore V (G = V (H < R(ω(G + 1, α(g + 1 ( ( ω(g+α(g α(g ω(g+. Theorem 6. Let G be k-claw-free. Then χ(g ( ω(g+ Proof. If k = 1, then we have isolated vertices. If k = 2, then we have a disjoint union of complete graphs. Both of these cases are trivial to check. Now assume k 3. We will prove a slightly stronger result, that χ(g ( ω(g+ 2. Without loss of generality, we may assume that G is connected..

ON COLORING CLAW-FREE GRAPHS 5 Brook s Theorem states that χ(g (G as long as G is not complete nor an odd cycle. It is easy to check that if G is complete or an odd cycle, the desired result hold. Therefore it remains to show that (G ( ω(g+ 2. To prove this, we consider two cases. If α(g < k, then by Lemma 5, 2, (G V (G 1 ( ω(g+ as desired. We may assume α(g k. We proceed by induction on V (G. Let v be a vertex of degree (G. Suppose all vertices besides v are joined to v. Then since α(g k, there are k neighbors of v that are pairwise nonadjacent. Then we have a k-claw, a contradiction. Therefore there is u V, u v, such that u is nonadjacent to v. We may choose u such that G\u is connected (by choosing one that has maximum distance from v, say. If α(g\u < k, then by the first case we have 2. (G\u ( ω(g\u+ If α(g\u k, the induction hypothesis gives the same result. Since u and v are nonadjacent, (G = (G\u, and also ω(g\u ω(g, the desired result follows. Acknowledgements The author would like to thank Richard M. Wilson of the California Institute of Technology for his support in supervising this research. We also gratefully acknowledge the support by the Summer Undergrad Research Fellowships program of the same institute. This research is funded in part by the Richter Memorial Funds. References [1] M. Chudnovsky and P. Seymour, The structure of claw-free graphs, Surveys in Combinatorics, London Math Soc Lecture Note Series 327 (2005, 153 172. [2] J. H. van Lint and R. M. Wilson, A Course in Combinatorics, Cambridge University Press (1993. [3] C. Shannon, A theorem on coloring the lines of a network, J Math Physics 28 (1949, 148 151.