Destroying non-complete regular components in graph partitions

Similar documents
Coloring Graphs from Almost Maximum Degree Sized Palettes. Landon Rabern

On DP-coloring of graphs and multigraphs

Improved lower bounds on the number of edges in list critical and online list critical graphs

Cographs; chordal graphs and tree decompositions

Painting Squares in 2 1 Shades

On the Local Colorings of Graphs

Discrete Mathematics. The average degree of a multigraph critical with respect to edge or total choosability

Tiling on multipartite graphs

Dirac s Map-Color Theorem for Choosability

On the Turán number of forests

Discrete Mathematics

and critical partial Latin squares.

Graphs with chromatic number close to maximum degree

On uniquely 3-colorable plane graphs without prescribed adjacent faces 1

Conditional colorings of graphs

BROOKS THEOREM AND BEYOND

On the chromatic number and independence number of hypergraph products

R(p, k) = the near regular complete k-partite graph of order p. Let p = sk+r, where s and r are positive integers such that 0 r < k.

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

arxiv: v2 [math.co] 19 Jun 2018

Near-colorings and Steinberg conjecture

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

On Brooks Coloring Theorem

Nordhaus-Gaddum Theorems for k-decompositions

Jacques Verstraëte

Coloring square-free Berge graphs

Combined degree and connectivity conditions for H-linked graphs

Upper Bounds of Dynamic Chromatic Number

arxiv: v1 [math.co] 21 Sep 2017

On colorability of graphs with forbidden minors along paths and circuits

On a list-coloring problem

The Theorem of R.L. Brooks

AN IMPROVED ERROR TERM FOR MINIMUM H-DECOMPOSITIONS OF GRAPHS. 1. Introduction We study edge decompositions of a graph G into disjoint copies of

THE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1

Chromatic Ramsey number of acyclic hypergraphs

Group Colorability of Graphs

Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights

Equitable coloring of corona products of cubic graphs is harder than ordinary coloring

Fractional coloring and the odd Hadwiger s conjecture

Tree-width. September 14, 2015

Eulerian Subgraphs in Graphs with Short Cycles

Multi-coloring and Mycielski s construction

Graphs and Combinatorics

List-coloring the Square of a Subcubic Graph

Decompositions of graphs into cycles with chords

The concentration of the chromatic number of random graphs

arxiv: v1 [math.co] 25 Dec 2017

Injective colorings of sparse graphs

Coloring claw-free graphs with 1 colors

Even Cycles in Hypergraphs.

arxiv: v2 [math.co] 19 Aug 2015

Equitable Colorings of Corona Multiproducts of Graphs

Graph coloring, perfect graphs

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

Size and degree anti-ramsey numbers

Ring Sums, Bridges and Fundamental Sets

Graphs with large maximum degree containing no odd cycles of a given length

Ore s Conjecture on color-critical graphs is almost true

Saturation numbers for Ramsey-minimal graphs

12.1 The Achromatic Number of a Graph

Supereulerian planar graphs

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

Cycles in 4-Connected Planar Graphs

EQUITABLE COLORING OF SPARSE PLANAR GRAPHS

k-tuple Domatic In Graphs

Some results on incidence coloring, star arboricity and domination number

Packing and decomposition of graphs with trees

Packing of Rigid Spanning Subgraphs and Spanning Trees

Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles

HW Graph Theory SOLUTIONS (hbovik) - Q

Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS

arxiv: v1 [math.co] 12 Jul 2017

On S-packing edge-colorings of cubic graphs

Discrete Mathematics

Zero-Sum Flows in Regular Graphs

A lower bound on the order of the largest induced linear forest in triangle-free planar graphs

Average degrees of edge-chromatic critical graphs

4 Packing T-joins and T-cuts

The structure of bull-free graphs II elementary trigraphs

The Algorithmic Aspects of the Regularity Lemma

{2, 2}-Extendability of Planar Graphs

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

Turán s Theorem and k-connected Graphs

THE (2k 1)-CONNECTED MULTIGRAPHS WITH AT MOST k 1 DISJOINT CYCLES

Negative results on acyclic improper colorings

The Turán number of sparse spanning graphs

DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE

Oriented vertex and arc colorings of outerplanar graphs

The Singapore Copyright Act applies to the use of this document.

Properties of θ-super positive graphs

A simplified discharging proof of Grötzsch theorem

CLIQUES IN THE UNION OF GRAPHS

ON THE VERTEX FOLKMAN NUMBERS

Ramsey-nice families of graphs

Hamilton cycles and closed trails in iterated line graphs

Graph Classes and Ramsey Numbers

Planar Ramsey Numbers for Small Graphs

Tree-width and algorithms

3-coloring triangle-free planar graphs with a precolored 8-cycle

Independent Transversals in r-partite Graphs

Transcription:

Destroying non-complete regular components in graph partitions Landon Rabern landon.rabern@gmail.com June 27, 2011 Abstract We prove that if G is a graph and r 1,..., r k Z 0 such that k i=1 r i (G) + 2 k then V (G) can be partitioned into sets V 1,..., V k such that (G[V i ]) r i and G[V i ] contains no non-complete r i -regular components for each 1 i k. In particular, the vertex set of any graph G can be partitioned into (G)+2 sets, each of which induces a disjoint union of triangles and paths. 1 Introduction In [5] Kostochka modified an algorithm of Catlin to show that every trianglefree graph G can be colored with at most 2 ( (G) + ) colors. In fact, his modification proves that the vertex set of any triangle-free graph G can be partitioned into (G)+2 sets, each of which induces a disjoint union of paths. We generalize this as follows. Main Lemma. Let G be a graph and r 1,..., r k Z 0 such that k i=1 r i (G) + 2 k. Then V (G) can be partitioned into sets V 1,..., V k such that (G[V i ]) r i and G[V i ] contains no non-complete r i -regular components for each 1 i k. Setting k = (G)+2 and r i = 2 for each i gives a slightly more general form of Kostochka s theorem. 1

Corollary 1. The vertex set of any graph G can be partitioned into (G)+2 sets, each of which induces a disjoint union of triangles and paths. For coloring, this actually gives the bound χ(g) 2 (G)+2 for triangle free graphs. To get 2 ( (G) + ), just use r k = 0 when 2(mod ). Similarly, for any r 2, setting k = (G)+2 and r i = r for each i gives the following. Corollary 2. Fix r 2. The vertex set of any K -free graph G can be partitioned into (G)+2 sets each inducing an (r 1)-degenerate subgraph with maximum degree at most r. For the purposes of coloring it is more economical to split off + 2 (r + 1) +2 parts with rj = 0. Corollary. Fix r 2. The vertex set of any K -free graph G can be partitioned into (G)+2 sets each inducing an (r 1)-degenerate subgraph with maximum degree at most r and (G)+2 (r +1) (G)+2 independent sets. In particular, χ(g) (G) + 2. (G)+2 For r, the bound on the chromatic number is only interesting in that its proof does not rely on Brooks Theorem. In [7] Lovász proved a decomposition lemma of the same form as the Main Lemma. The Main Lemma gives a more restrictive partition at the cost of replacing (G) + 1 with (G) + 2. Lovász s Decomposition Lemma. Let G be a graph and r 1,..., r k Z 0 such that k i=1 r i (G) + 1 k. Then V (G) can be partitioned into sets V 1,..., V k such that (G[V i ]) r i for each 1 i k. For r, combining this with Brooks Theorem gives the following better bound for a K -free graph G (first proved in [1], [] and [6]): (G) + 1 χ(g) (G) + 1. r + 1 2

2 The proofs Instead of proving directly that we can destroy all non-complete r-regular components in the partition, we prove the theorem for the more general class of what we call r-permissible graphs and show that non-complete r-regular graphs are r-permissible. Definition 1. For a graph G and r 0, let G r be the subgraph of G induced on the vertices of degree r in G. Definition 2. Fix r 2. A collection T of graphs is r-permissible if it satisfies all of the following conditions. 1. Every G T is connected. 2. (G) = r for each G T.. δ(g r ) > 0 for each G T. 4. If G T and x V (G r ), then G x T. 5. If G T and x V (G r ), then there exists y V (G r ) ({x} N G (x)) such that G y is connected. 6. Let G T and x V (G r ). Put H := G x. Let A V (H) with A = r. Let y be some new vertex and form H A by joining y to A in H; that is, V (H A ) := V (H) {y} and E(H A ) := E(H) {xy x A}. If H A T, then A N G (x) V (G r ). For r = 0, 1 the empty set is the only r-permissible collection. Lemma 4. Fix r 2 and let T be the collection of all non-complete connected r-regular graphs. Then T is r-permissible. Proof. Let G T. We have G r = G and (1), (2), () and (4) are clearly satisfied. That (6) holds is immediate from regularity. It remains to check (5). Let x V (G). First, suppose G is 2-connected. If (5) did not hold, then x would need to be adjacent to every other vertex in G. But then G (G) + 1 = r + 1 and hence G = K r violating our assumption. Otherwise G has at least two end blocks and so we can pick some y in an end block not containing x such that G y is connected. Hence (5) holds. Therefore T is r-permissible.

Now to prove the Main Lemma we just need to prove the following result. For a graph G, x V (G) and D V (G) we use the notation N D (x) := N(x) D and d D (x) := N D (x). Lemma 5. Let G be a graph and r 1,..., r k Z 0 such that k i=1 r i (G) + 2 k. If T i is an r i -permissible collection for each 1 i k, then V (G) can be partitioned into sets V 1,..., V k such that (G[V i ]) r i and G[V i ] contains no element of T i as a component for each 1 i k. Proof. For a graph H, let c(h) be the number of components in H and let p i (H) be the number of components of H that are members of T i. For a partition P := (V 1,..., V k ) of V (G) let f(p ) := k ( E(G[V i ]) r i V i ), i=1 c(p ) := p(p ) := k c(g[v i ]), i=1 k p i (G[V i ]). i=1 Let P := (V 1,..., V k ) be a partition of V (G) minimizing f(p ), and subject to that c(p ), and subject to that p(p ). Let 1 i k and x V i with d Vi (x) r i. Since k i=1 r i (G) + 2 k there is some j i such that d Vj (x) r j. Moving x from V i to V j gives a new partition P with f(p ) f(p ). Note that if d Vi (x) > r i we would have f(p ) < f(p ) contradicting the minimality of P. This proves that (G[V i ]) r i for each 1 i k. Now suppose that for some i 1 there is A 1 T i1 which is a component of G[V i1 ]. Plainly, we may assume that r i1 2. Put P 1 := P and V 1,i := V i for 1 i k. Take x 1 V (A r i 1 1 ) such that A 1 x 1 is connected (this exists by condition (5) of r-permissibility). By the above we have i 2 i 1 such that moving x 1 from V 1,i1 to V 1,i2 gives a new partition P 2 := (V 2,1, V 2,2,..., V 2,k ) such that f(p 2 ) = f(p 1 ). By the minimality of c(p 1 ), x 1 is adjacent to only one component C 2 in G[V 2,i2 ]. Let A 2 := G[V (C 2 ) {x 1 }]. Since (by condition (4)) we destroyed a T i1 component when we moved x 1 out of V 1,i1, by the minimality of p(p 1 ), it must be that A 2 T i2. Now pick x 2 A r i 2 2 not adjacent to x 1 such that A 2 x 2 is connected (again by condition (5)). Continue 4

on this way to construct sequences i 1, i 2,..., A 1, A 2,..., P 1, P 2, P,... and x 1, x 2,.... Since G is finite, this process cannot continue forever. At some point we will need to reuse a destroyed component; that is, there is a smallest t such that A t+1 x t = A s x s for some s < t. Put B := V (A s x s ). Notice that A t+1 is constructed from A s x s by joining the vertex x t to N B (x t ). By condition (6) of r is -permissibility, we have z N B (x t ) N B (x s ) A r is s. We now modify P s to contradict the minimality of f(p ). At step t + 1, x t was adjacent to exactly r is vertices in V t+1,is. This is what allowed us to move x t into V t+1,is. Our goal is to modify P s so that we can move x t into the i s part without moving x s out. Since z is adjacent to both x s and x t, moving z out of the i s part will then give us our desired contradiction. So, consider the set X of vertices that could have been moved out of V s,is between step s and step t + 1; that is, X := {x s+1, x s+2,..., x t 1 } V s,is. For x j X, since x j A r is j and x j is not adjacent to x j 1 we see that d Vs,is (x j ) r is. Similarly, d Vs,it (x t ) r it. Also, by the minimality of t, X is an independent set in G. Thus we may move all elements of X out of V s,is to get a new partition P := (V,1,..., V,k ) with f(p ) = f(p ). Since x t is adjacent to exactly r is vertices in V t+1,is and the only possible neighbors of x t that were moved out of V s,is between steps s and t + 1 are the elements of X, we see that d V,is (x t ) = r is. Since d V,it (x t ) r it we can move x t from V,it to V,is to get a new partition P := (V,1,..., V,k ) with f(p ) = f(p ). Now, recall that z V,is. Since z is adjacent to x t we have d V,is (z) r is + 1. Thus we may move z out of V,is to get a new partition P with f(p ) < f(p ) = f(p ). This contradicts the minimality of f(p ). Question. Are there any other interesting r-permissible collections? Question. The definition of r-permissibility can be weakened in various ways and the proof will still go through. Does this yield anything interesting? Acknowledgments Thanks to Dieter Gernert for finding and sending me a copy of Kostochka s paper. 5

References [1] O.V. Borodin and A.V. Kostochka. On an upper bound of a graph s chromatic number, depending on the graph s degree and density. Journal of Combinatorial Theory, Series B, 2, 1977, 247-250. [2] R.L. Brooks. On colouring the nodes of a network. Math. Proc. Cambridge Philos. Soc., 7, 1941, 194-197. [] P.A. Catlin. A bound on the chromatic number of a graph. Discrete Math, 22, 1978, 81-8. [4] P.A. Catlin. Another bound on the chromatic number of a graph. Discrete Math, 24, 1978, 1-6. [5] A.V. Kostochka. A modification of a Catlin s algorithm. Methods and Programs of Solutions Optimization Problems on Graphs and Networks, 2, 1982, 75-79 (in Russian). [6] J. Lawrence. Covering the vertex set of a graph with subgraphs of smaller degree. Discrete Math, 21, 1978, 61-68. [7] L. Lovász. On decomposition of graphs. Studia Sci. Math Hungar., 1, 1966, 27-28. 6