arxiv: v2 [math.co] 22 May 2017

Transcription

1 Asymptotc multpartte verson of the Alon-Yuster theorem Ryan R. Martn a,1, Jozef Soan b arxv: v2 [math.co] 22 May 2017 a Department of Mathematcs, Iowa State Unversty, Ames, Iowa b Department of Mathematcs, London School of Economcs, London, WC2A 2AE, UK and Department of Mathematcs, Unversty of Illnos, 1409 W. Green Street, Urbana, IL Abstract In ths paper, we prove the asymptotc multpartte verson of the Alon-Yuster theorem, whch s a generalzaton of the Hajnal-Szemeréd theorem: If 3 s an nteger, H s a -colorable graph and γ > 0 s fxed, then, for every suffcently large n, where V (H) dvdes n, and for every balanced -partte graph G on n vertces wth each of ts correspondng ( 2) bpartte subgraphs havng mnmum degree at least ( 1)n/ + γn, G has a subgraph consstng of n/ V (H) vertex-dsjont copes of H. The proof uses the Regularty method together wth lnear programmng. Keywords: tlng, Hajnal-Szemeréd, Alon-Yuster, multpartte, regularty, lnear programmng 2010 AMS Subject Classfcaton: 05C35, 05C70 1. Introducton 1.1. Motvaton One of the celebrated results of extremal graph theory s the theorem of Hajnal and Szemeréd on tlng smple graphs wth vertex-dsjont copes of a gven complete graph K on vertces. Let G be a smple graph wth vertex-set V (G) and edge-set E(G). We denote by deg G (v), or smply deg(v), the degree of a vertex v V (G) and we denote by δ(g) the mnmum degree of the graph G. For a graph H such that V (H) dvdes V (G), we say that G has a perfect H-tlng (also a perfect H-factor or perfect H-pacng) f there s a subgraph of G that conssts of V (G) / V (H) vertex-dsjont copes of H. The theorem of Hajnal and Szemeréd can be then stated n the followng way: Emal addresses: rymartn@astate.edu (Ryan R. Martn), j.soan@lse.ac.u (Jozef Soan) 1 Ths author s research partally supported by NSF grant DMS , NSA grant H and by an Iowa State Unversty Faculty Professonal Development grant.

2 Theorem 1 (Hajnal, Szemeréd [10]). If G s a graph on n vertces, n, and δ(g) ( 1)n/, then G has a perfect K -tlng. The case of = 3 was frst proven by Corrád and Hajnal [5] before the general case. The orgnal proof n [10] was relatvely long and ntrcate. A shorter proof was provded later by Kerstead and Kostocha [16]. Kerstead, Kostocha, Mydlarz and Szemeréd [17] mproved ths proof and gave a fast algorthm for fndng K -tlngs n n-vertex graphs wth mnmum degree at least ( 1)n/. The queston of fndng a mnmum-degree condton for the exstence of a perfect H-tlng n the case when H s not a clque and n obeys some dvsblty condtons was frst consdered by Alon and Yuster [1]: Theorem 2 (Alon, Yuster [1]). Let H be an h-vertex graph wth chromatc number and let γ > 0. If n s large enough, h n and G s a graph on n vertces wth δ(g) ( 1)n/ + γn, then G has a perfect H-tlng. Komlós, Sárözy and Szemeréd [20] removed the γn term from the mnmum degree condton and replaced t wth a constant that depends only on H. Kühn and Osthus [23] determned that (1 1/χ (H)) n + C was the necessary mnmum degree to guarantee an H-tlng n an n-vertex graph for n suffcently large, and they also showed that ths was best possble up to the addtve constant. The constant C = C(H) depends only on H and χ s an nvarant related to the so-called crtcal chromatc number of H, whch was ntroduced by Komlós [18] Bacground In ths paper, we consder the multpartte varant of Theorem 2. Before we can state the problem, we need a few defntons. Gven a graph G, the blow-up of G by m, denoted by G(m), s the graph obtaned by replacng each vertex v V (G) wth a set U v of m vertces and replacng every edge {v 1, v 2 } E(G) wth the complete bpartte graph K m,m on vertex sets U v1 and U v2. A -partte graph G = (V 1,..., V ; E) s balanced f V 1 = = V. The natural bpartte subgraphs of G are those nduced by the pars (V, V j ), and whch we denote by G[V, V j ]. For a -partte graph G = (V 1,..., V ; E), we defne the mnmum bpartte degree, ˆδ (G), to be the smallest mnmum degree among all of the natural bpartte subgraphs of G, that s, ˆδ (G) = mn δ(g[v, V j ]). 1 <j Now we can state the conjecture that nspred ths wor, a slghtly weaer verson of whch appeared n [6]. Conjecture 3. Fx an nteger 3. If G s a balanced -partte graph on n vertces such that ˆδ (G) ( 1)n/, then ether G has a perfect K -tlng or both and n/ are odd ntegers and G s somorphc to the fxed graph Γ,n. 2

3 The exceptonal graphs Γ,n, where n s an nteger dvsble by, are due to Catln [3] who called them type 2 graphs. The graph Γ, has vertex set {h j :, j {1,..., }} and h j s adjacent to h j f and ether j = j { 1, } or j j and at least one of j, j s n {1,..., 2}. For n dvsble by, the graph Γ,n s the blow-up graph Γ, (n/). We notce that f G satsfes the mnmum bpartte degree condton n Conjecture 3, then ts mnmum degree δ(g) can stll be as small as ( 1) ( ) 1 n = ( 1 ) 2 (n), whch s not enough to apply Theorem 1 drectly. The case of = 2 of Conjecture 3 s an mmedate corollary of the classcal matchng theorem due to Köng [22] and Hall [11]. Fscher [8] observed that f G s a balanced -partte graph on n vertces wth ˆδ (G) (1 1/2( 1)) n, then G has a perfect K -tlng. Some partal results were obtaned, for = 3, by Johansson [13] and, for = 3, 4, by Fscher [8]. The case of = 3 was settled for n suffcently large by Magyar and the frst author [25], and the case of = 4 was settled for n suffcently large by Szemeréd and the frst author [26]. The results n [25, 26] each have as a ey lemma a varaton of the results of Fscher. However, t seems that such technques are mpossble for 5. An nterestng result toward provng Conjecture 3 for general s due to Csaba and Mydlarz [6] who proved that f G s a balanced -partte graph on n vertces, ˆδ (G) q q +1 n and n s large enough, then G has a perfect K -tlng. Here, q := = + O(log ). Recently, Keevash and Mycroft [14] proved that, for any γ > 0, f n s large enough, then ˆδ (G) ( 1)n/ + γn guarantees a perfect K -tlng n a balanced -partte graph G on n vertces. Ther result s a consequence of a more general theorem on hypergraph matchng, the proof of whch uses the hypergraph regularty method and a hypergraph verson of the Blow-up Lemma. Very shortly thereafter, Lo and Marström [24] proved the same result usng methods from lnear programmng and the so-called absorbng method. Ths effort culmnated n [15], n whch Keevash and Mycroft proved Conjecture 3. In ths paper, we are nterested n more general problem of tlng -partte balanced graphs by a fxed -colorable graph H. More precsely, f H s a - colorable graph and n obeys certan natural dvsblty condtons, we loo for a condton on ˆδ (G) to ensure that every balanced -partte graph G on n vertces satsfyng ths condton has a perfect H-tlng. Zhao [31] found that the mnmum degree requred to perfectly tle a balanced bpartte graph on 2n vertces wth copes of K h,h (h dvdes n) s n/2 + C(h), where C(h) dffers sharply as to whether n/h s odd or even. Zhao and the frst author [27, 28] showed smlar results for tlng wth K h,h,h. Hladý and Schacht [12] and then Czygrnow and DeBaso [7] mproved the results of [31] by fndng the mnmum degree for copes of K s,t, where s + t dvdes n. Bush and Zhao [2] proved a Kühn-Osthus-type result by fndng the asymptotcally best-possble mnmum degree condton n a balanced bpartte graph on 2n vertces n order to ensure ts perfect H-tlng, for any bpartte H. All results =1 3

4 are for n suffcently large Man Result We prove a multpartte verson of the Alon-Yuster theorem (Theorem 2). Let Kh denote a -partte graph wth h vertces n each partte set. For example, the complete bpartte graph K h,h would be denoted Kh 2. Snce the partte sets can be rotated, t s easy to see that any -chromatc graph H of order h perfectly tles the graph Kh. Hence, the followng theorem gves a suffcent condton for a perfect H-tlng. Theorem 4. Fx an nteger 2, an nteger h 1 and γ (0, 1). If n s suffcently large, dvsble by h, and G s a balanced -partte graph on n vertces wth ˆδ (G) ( 1 + γ ) n, then G has a perfect Kh -tlng. Our proof reles on the regularty method for graphs and lnear programmng and t dffers from approaches n [14, 24] Structure of the Paper In Secton 2, we prove a fractonal verson of the multpartte Hajnal-Szemeréd theorem. Ths s the man tool n provng Theorem 4. Secton 3 s the man proof and Secton 4 gves the proofs of the supportng lemmas. We fnsh wth Secton 5, whch has some concludng remars. 2. Lnear Programmng In ths secton, we shall prove a fractonal verson of Conjecture 3. Defnton 5. For any graph G, let T (G) denote the set of all copes of K n G. The fractonal K -tlng number τ (G) s defned as: τ (G) = max w(t ) (1) s.t. T T (G) T T (G) V (T ) v w(t ) 1, w(t ) 0, v V (G), T T (G). From the Dualty Theorem of lnear programmng (see [29, Secton 7.4]), we obtan that τ (G) = mn x(v) (2) s.t. v V (G) v V (T ) x(v) 1, x(v) 0, T T (G), v V (G). 4

5 Let w be a functon that acheves an optmal soluton to (1). If there exsts a vertex v V (G) such that T T (G),V (T ) v w (T ) < 1, then we call v a slac vertex or just say that v s slac. Smlarly, f x s a functon that acheves an optmal soluton to (2) and there exsts a T T (G) such that v V (T ) x (v) > 1, then we say that T s slac. Remar 6. Consder an optmal soluton to (1), call t w. We may assume that w (T ) s ratonal for each T T (G). To see ths, observe that the set of feasble solutons s a polyhedron for whch each vertex s the soluton to a system of equatons that result from settng a subset of the constrants of the program (1) to equalty. (For more detals, see [4, Theorem 18.1].) Snce the objectve functon acheves ts maxmum at such a vertex (See [9, Secton 3.2].) we may choose an optmal soluton w (T ) wth ratonal entres. Now we can state and prove a fractonal verson of the multpartte Hajnal- Szemeréd Theorem. Theorem 7. Let 2. If G s a balanced -partte graph on n vertces such that ˆδ (G) ( 1)n/, then τ (G) = n. Proof. Settng x(v) = 1/ for all vertces v V (G) gves a feasble soluton x to (2), and so τ (G) x(v) = n. We establsh that τ (G) n by nducton on. v V (G) Base Case. = 2. Ths case follows from the fact that Hall s matchng condton mples that a balanced bpartte graph on 2n vertces wth mnmum degree at least n/2 has a perfect matchng. Settng w(e) equal to 1 f edge e s n the matchng and equal to 0 otherwse, gves a feasble soluton to (1), thus establshng that τ 2 (G) n. Inducton step. 3. Now we assume 3 and suppose, for any balanced ( 1)-partte graph G on a total of ( 1)n vertces wth ˆδ 1 (G ) 2 1 n, that τ 1 (G ) n. Let w be an optmal soluton to (1). Let x be an optmal soluton correspondng to (2) such that x (z) = 0 whenever vertex z s slac. Ths s guaranteed by the Complementary Slacness Theorem [29, Secton 7.9]. Denote by S the set of slac vertces, and, for [], set S = S V. If some S =, then V havng no slac vertces gves that T v w (T ) = 1 for each v V. Snce each T T (G) has exactly one vertex n V (G), then τ (G) = n. Hence, we may assume that every S s non-empty. Denote [] := {1,..., }. For every [], fx some z S, choose exactly n := 1 n neghbors of z n each V j, j [] {}, and denote by G the subgraph of G nduced on these ( 1)n neghbors. Observe that the set of weghts {x (v) : v V (G )} must be a feasble soluton to the mnmzaton problem (2) defned by the ( 1)-partte graph G. Ths s because every copy of K 1 n G extends to a copy of K n G contanng 5

6 the vertex z and the sum of the weghts of the vertces on that K 1 must be at least 1 because x (z ) = 0. Hence, we have that x (v) τ 1 (G ). v V (G ) Each vertex of G has at most n n neghbors outsde of V (G ) n each of ts classes. Thus, ˆδ 1 (G ) n (n n ) = 2 ( ) 1 n + 1 n n 2 1 n. So, for every, we may apply the nductve hypothess to G and conclude that τ 1 (G ) = n. Combnng the prevous two observatons wth the fact that each vertex v s n at most 1 of the subgraphs G, we get ( 1)τ (G) = ( 1) n n. Ths concludes the proof of Theo- So, τ (G) rem 7. 1 n = v V (G) 1 x (v) 1 =1 v V (G ) x (v) τ 1(G ) = n. =1 3. Proof of Theorem 4 Frst, we wll have a sequence of constants and the notaton a b means that the constant b s suffcently small compared to a. We fx 2 and h 1 and let mn{ 1, h 1, γ} d ε ζ n 1, (3) We have an addtonal parameter ε and specfy that ε = (ε ) 5 / Applyng the Regularty Lemma We are gong to use a varant of Szemeréd s Regularty Lemma. Before we can state t, we need a few basc defntons. If G s a graph wth S V (G) and x V (G), then deg G (x, S) (or deg(x, S) f G s understood) denotes N(x) S. For dsjont vertex sets A and B n some graph, let e(a, B) denote the number of edges wth one endpont n A and the other n B. Further, let the densty of the par (A, B) be d(a, B) = e(a, B)/ A B. The par (A, B) s ε- regular f X A, Y B, X ε A and Y ε B mply d(x, Y ) d(a, B) ε. We say that a par (A, B) s (ε, δ)-super-regular f t s ε-regular and deg(a, B) δ B for all a A and deg(b, A) δ A for all b B. The degree form of Szemeréd s Regularty Lemma (see, for nstance, [21]) s suffcent here, modfed for the multpartte settng. 6

7 Theorem 8. For every nteger 2 and every ε > 0, there s an M = M(, ε) such that f G = (V 1,..., V ; E) s a balanced -partte graph on n vertces and d [0, 1] s any real number, then there s an nteger l, a subgraph G = (V 1,..., V ; E ) and, for = 1,...,, parttons of V nto clusters V (0), V (1),..., V (l) wth the followng propertes: (P1) ε 1 l M, (P2) V (0) εn for [l], (P3) V (j) = L εn for [] and j [l], (P4) deg G (v, V ) > deg G (v, V ) (d + ε)n for all v V,, and (P5) all pars (V (j), V (j ) ),, [],, j, j [l], are ε-regular n G, each wth densty ether 0 or exceedng d. We omt the proof of Theorem 8, whch follows from the proof gven n [30]. Gven a balanced -partte graph G on n vertces wth ˆδ (G) ( 1 + γ ) n, and gven d and ε, we construct the reduced graph G r on l vertces correspondng to the clusters V (j), 1, 1 j l, obtaned from Theorem 8. Each edge of G r corresponds to an ε-regular par wth densty at least d n G. Observe that G r s -partte and balanced. Lemma 9 shows that G r has a smlar mnmum-degree condton to that of G. Lemma ( 9. Let G be a balanced -partte graph G on n vertces wth ˆδ (G) 1 + γ ) n. Then, for the reduced graph G r defned as above, we have ˆδ (G r ) ( 1 + γ (( + 2)ε + d) ) l. Furthermore, f ( + 2)ε + d γ/2, then ( 1 ˆδ (G r ) ) + γ/2 l. The proof of Lemma 9 s mmedate (see [6]) Parttonng the clusters We frst apply the fractonal verson of the -partte Hajnal-Szemeréd Theorem (Theorem 7) to G r and obtan that the value of τ (G r) s equal to l. Consder a correspondng optmal soluton w to the lnear program (1) as t s appled to G r. By Remar 6, we may fx a correspondng soluton w (T ) that s ratonal for every T T (G r ). We wll call ths w a ratonal-entry soluton for G r and denote by D(G r ) the common denomnator of all of the entres of w. Snce the lnear program (1) depends only on G r and the number of such reduced graphs s only dependent on M(, ε), the number of possble lnear programs s only dependent only on and ε. For each possble lnear program we fx one ratonal-entry soluton. 7

8 Therefore, the least common multple of all of the common denomnators D(G r ) for these reduced graphs s a functon only of and ε. Call t D = D(, ε). In sum, D has the property that for every reduced graph G r, there s a ratonalentry soluton w of the lnear program (1) such that D w (T ) s an nteger for every T T (G r ). The next step s to partton, unformly at random, each set V (j) nto D parts of sze h L/(Dh) as well as a sngle (possbly empty) set of sze L Dh L/(Dh) < Dh. The vertces of the latter set of less than Dh vertces wll be added to the correspondng leftover set, V (0). The resultng leftover set Ṽ (0) has sze less than εn + Dhl < 2εn. Thus, for L = h L/(Dh), we obtan (Dl) clusters Ṽ (j), [], j [Dl], such that each of them has sze exactly L. Ths new partton has the followng propertes: (P1 ) l = Dl, (P2 ) Ṽ (0) 2εn for [], (P3 ) Ṽ (j) = L = h L/(Dh) for [] and j [l ], (P4 ) deg G (v, V ) > deg G (v, V ) (d + ε)n for all, [],, v V and Now we prove that a property smlar to property (P5) holds. (P5 ) all pars (Ṽ (j), Ṽ (j ) ),, [],, j, j [l ] are ε -regular n G, each wth densty ether 0 or exceedng d := d ε. Recall from (3) that ε = (ε ) 5 /16 and, consequently, ε = (16ε) 1/5. The upcomng Lemma 10, a slght modfcaton of a smlar lemma by Csaba and Mydlarz [6, Lemma 14], mples that, n fact, (P5 ) holds wth probablty gong to 1 as n. The proof follows easly from thers and so we omt t. Lemma 10 (Random Slcng Lemma). Let 0 < d < 1, 0 < ε < mn{d/4, (1 d)/4, 1/9} and D be a postve nteger. There exsts a C = C(ε, D) > 0 such that the followng holds: Let (X, Y ) be an ε-regular par of densty d wth X = Y = DL. If X and Y are randomly parttoned nto sets A 1,..., A D, and B 1,..., B D, respectvely, each of sze L, then, wth probablty at least 1 exp{ C DL }, all pars (A, B j ) are (16ε) 1/5 -regular wth densty at least d ε. ( Usng Lemma 10, the property (P5 ) holds wth probablty at least 1 2) l 2 exp{ CDL } = 1 ( 2) l 2 exp{ O(L)}. Snce l M = M(, ε) and L n(1 ε)/m, then for every suffcently large n, a partton satsfyng (P1 )- (P5 ) exsts (wth hgh probablty). We fx a partton that satsfes (P1 )-(P5 ). The sets Ṽ (j) j are called sub-clusters. To understand ths new partton, we defne ts reduced graph G r wth vertex set =1 {u(1),..., u (l ) }. The vertex u (j) corresponds to the cluster Ṽ (j). The 8

9 vertces u (j) and u (j ) are adjacent n G r f and only f the par (Ṽ (j), Ṽ (j ) ) s ε -regular wth densty at least d. The graph G r clearly has the followng propertes: G r s -partte and balanced on l vertces. We denote ts partte sets U = {u(1),..., u (l ) }, []. ˆδ (G r) ( 1 + γ/2 ) l. The usefulness of G r s that t has a K -tlng, whch s derved from the fractonal K -tlng of G r : Fact 11. The reduced graph G r has a perfect K -tlng. Proof of Fact 11. Observe frst that, by (P5) and (P5 ), G r s smply the blow-up graph G r (D). Let w be the prevously-chosen ratonal-valued soluton to the lnear program (1) as appled to G r. Consder some T T (G r ) wth vertces {v 1,..., v }. Observe that, by the defnton of D, Dw (T ) s an nteger. Then, we tae Dw (T ) of the vertces from U v1, Dw (T ) of the vertces from U v2 and so on untl tang Dw (T ) of the vertces from U v. Ths selecton produces Dw (T ) vertex-dsjont copes of K n G r. By the constrant nequaltes n (1), the total number of vertces used from U v s Dw (T ) D = U v, T T (G r),v (T ) v hence the process never fals. The total number of vertex-dsjont K -s that are created n ths way s T T (G r) Dw (T ) = Dl = l. Ths uses each of the l vertces of G r. Snce G r has a perfect tlng, we may re-ndex ts vertces so that vertces of G r (the vertces of G r correspond to the sub-clusters of G) wth the same upper-ndex are n the same copy of the tlng from Fact 11. More precsely, for j = 1,..., l, the -tuple (u (j) 1,..., u(j) ) forms a K n G r. We refer to the -tuples (Ṽ (j) 1,..., Ṽ (j) ) as columns Mang the clques super-regular In preparaton for usng the Blow-up Lemma (Lemma 18 below), we need to mae each -tuple (Ṽ (j) 1,..., Ṽ (j) ), j [l ], parwse super-regular by placng some vertces from the correspondng sub-clusters nto the respectve leftover set. Ths s easy to do by a smple fact whch s proven n Secton 4: 2 We vsualze the vertex sets V as beng horzontal, le rows n a matrx, so t s natural to thn of these -tuples as columns. 9

10 Fact 12. Let ε > 0 and ε < d /(2 + 2). Let (A 1,..., A ) be a -tuple that s parwse ε -regular of densty at least d wth A 1 = = A = L. There exst subsets A A for [] such that A = h (1 ( 1)ε )L /h and each par of (A 1,..., A ) s (2ε, d ε )-super-regular (wth densty at least d ε ). Fact 12 follows from well-nown propertes of regular pars. We apply t to each -tuple (Ṽ (j) 1,..., Ṽ (j) ), j [l ]. We do not rename the sets Ṽ (j) snce they only shrn n magntude only by ( 1)ε L. Consequently, the leftover sets Ṽ (0), 1, are of sze at most 2εn + ( 1)ε L l < ε n, each par (Ṽ (j), Ṽ (j) ),, s (2ε, d /2)-super-regular, and each par (Ṽ (j), Ṽ (j ) ) s 2ε -regular wth densty ether 0 or at least d ε, regardless of whether or not j = j. If we use the Blow-up Lemma (Lemma 18) at ths pont, we would obtan a Kh -tlng that covers every vertex of G except those n the leftover sets. The remander of the proof s to establsh that we can, n fact, ensure that the leftover vertces can be absorbed by the sub-clusters and we can obtan a Kh -tlng that covers all the vertces of G Preparng for absorpton In order to absorb the vertces from the leftover sets, we need to prepare some copes of Kh throughout G that may be ncluded n the fnal K h -tlng. Ther purpose s to ensure that, after nsertng vertces from the leftover sets to the sub-clusters, the number of vertces n each of the sub-clusters can be balanced so that the Blow-up Lemma (Lemma 18) can be used. These copes of Kh wll be specally desgnated and colored ether red or blue accordng to ther role. The Reachablty Lemma (Lemma 13) s how we transfer the mbalance of the szes of one column to the frst column. Lemma 13 (Reachablty Lemma). Let G r be a balanced -partte graph wth partte sets U = {u (j) : j [l ]}, []. Let ˆδ (G r) 1 l + 2. Then, for each [] and j {2,..., l }, there s a par (T 1, T 2 ) of copes of K such that ther symmetrc dfference s {u (1), u (j) } and T 1 and T 2 contan no addtonal vertces from {u (1) 1,..., u(1), u(j) 1,..., u(j) }. See Fgure 3.4. Proof of Lemma 13. Wthout loss of generalty, t suffces to prove the lemma for = 1 and j = l. The vertces u (1) 1 and u (l ) 1 have at least l 2(l ˆδ (G r)) l 2 ( l 1 l 2 ) = ( ) 2 l + 4 common neghbors n each of U 2,..., U. Hence, one can choose a sequence w 2,..., w of vertces so that, for = 2,...,, 10

11 u (1) 1 u (j) 1 u (1) 2 T T 1 2 u (j) u (1) u (j) Fgure 1: Dagram for T 1 and T 2 formed n reachng u (1) 1 from u (j) 1. w s n U {u(1), u (l ) } and s a common neghbor of u (1) 1, ) u(l 1, w 2,..., w 1. Note that at each stage, the number of avalable choces for w s at least ( 2 l + 4 ) ( 2) ( l 1 l 2 ) 2 = l Ths quantty s postve snce 1 and 2. In preparaton to nsert the vertces, we create a set of specal vertex-dsjont copes of Kh. Lemma 14. There exst dsjont sets X (j) Ṽ (1), [], j [l ] {1}, such that for every [], j [l ] {1}: (1) X (j) = 3hζn. (2) For every v X (j), there exst two vertex-dsjont copes of Kh, call them R(v) and B(v), such that () R(v) contans v, () R(v) contans h 1 vertces from Ṽ (j) and B(v) contans h vertces from Ṽ (j), and () for every, there exsts a j {1, j} such that both R(v) and B(v) each have h vertces from Ṽ (j ). (3) The 2 X (j) copes of K h, namely R(v) and B(v) for all v X (j), are all parwse-dsjont. Proof of Lemma 14. The proof wll proceed as follows: We wll have some arbtrary order on the pars {(, j) : [], j [l ] {1}} and dynamcally defne X = (V (R(v)) V (B(v))). (,j ) (,j) v X (j ) 11

12 That s, X s the set of all vertces belongng to a R(v) or a B(v) for all (, j ) that precede the current (, j). We wll show that, for all v X (j) the vertex-dsjont R(v) and B(v) can be found among vertces not n X, as long as X ζ 1/2 L. Fx [] and j [l ]. Let (T 1, T 2 ) be a par of K -s n G r from Lemma 13 for these values of and j. Consder the subgraph F of G nduced on the subclusters Ṽ (j ) such that ) u(j form V (T 2). Snce T 2 s a K n the reduced graph G r, every par of sub-clusters n ths subgraph s ε -regular wth densty at least d. Snce X ζ 1/2 L, Ṽ (j ) X 1 2 Ṽ (j ) and t follows from the defnton of regularty that each par of sub-clusters of F X s 2ε -regular wth densty at least d ε. By the Key Lemma (Lemma 2.1 from [21]), F X contans at least 3hζn vertex-dsjont copes of Kh as long as 3hζn ε L. Ths s satsfed because 3hζn (P2 ) 3hζ l L 1 2ε 4hζl L = 4hζlDL 4hζMDL (3) ε L. In the above nequalty, we use the fact that l = l D M D and M and D depend only on and ε. In addton, ζ ε. We refer to these 3hζn copes of Kh as blue copes of K h and we add ther vertces to X. In a smlar fashon, let F now be the graph nduced on the sub-clusters Ṽ (j ) such that ) u(j s n V (T 1) V (T 2 ). The graph F X also satsfes the assumptons of the Key Lemma and therefore we can fnd 3hζn copes of Kh n such a way that each copy has one vertex n Ṽ (1) X and h 1 vertces n Ṽ (j) X. The remanng vertces of Kh are n the sub-clusters of V (T 1) V (T 2 ). We refer to these 3hζn copes of Kh as red copes of K h and add ther vertces to X. For each red copy of Kh (1), we put ts unque vertex n V nto X (j) and call ths copy R(v). For each v X (j), let B(v) be a dstnct blue copy of Kh as found above. For ths process to wor, we need to ensure that X ζ 1/2 L at each step. Ths s true because each member of each X (j) corresponds to two Kh - s whch have a total of 2h vertces and, hence, X 2h j X (j) = 2h(l ) (3hζn) = 6h 2 2 l ζn ζ 1/2 L. We color the vertces of each R(v) red and the vertces of each B(v) blue Nearly-equalzng the szes of the sub-clusters Let us summarze where we are: We have a desgnated frst column (we call the frst column the receptacle column and ts sub-clusters receptacle subclusters) wth each sub-cluster of sze L and each sub-cluster havng the same number of red vertces, whch s at most ζ 1/2 L. Each such red vertex s n a dfferent vertex-dsjont red copy of Kh. In the remanng columns, each subcluster has L orgnal vertces, of whch at most ζ 1/2 L are colored red and at most ζ 1/2 L are colored blue. The total number of red vertces n each V s the same multple of h. Moreover, n every column, every par of sub-clusters s 12

13 (2ε, d /2)-super regular. Fnally, for each [], there s a leftover set Ṽ (0) of sze at most ε n. We shall now re-dstrbute the vertces from leftover sets Ṽ (0), [], to nonreceptacle sub-clusters n such a way that the sze of leftover sets becomes O(n) and each non-receptacle sub-cluster wll contan exactly h (1 d /4) (L /h) non-red vertces. These two propertes wll be essental for our procedure for fndng perfect Kh -tlng to wor. We say that a vertex v V belongs n the sub-cluster Ṽ (j) f v s adjacent to at least (d /2)L vertces n each of the other sub-clusters Ṽ (j),, n the j-th column. Fact 15. For every [], we can partton the leftover set Ṽ (0) Y (2),..., Y (l ) sub-cluster Ṽ (j) where, for every j {2,..., l }, the members of Y (j) and Y (j) ε n (1/ + γ/2)l 2 ε L. nto subsets belong n The number of red vertces n each sub-cluster may vary, but t s always less than ζ 1/2 L. Hence, after applyng Fact 15, the number of non-red vertces n each sub-cluster s n the nterval ( (1 ζ 1/2 )L, (1 + 2 ε )L ). Fact 15 s proved n Secton 4. Next, we wsh to remove copes of Kh n such a way that the number of non-red vertces n each non-receptacle sub-cluster s the same and there are new leftover sets of sze O(ζn). Ths s accomplshed va Lemma 16. After we nsert vertces va Fact 15 and remove some to create a (much smaller) leftover set va Lemma 16, the sets Ṽ (j) and j {0, 1,..., l }. wll be slghtly changed nto sets ˆV (j) for [] Lemma 16. For each [], there exst dsjont vertex sets n V such that the followng occurs: (0) (1) ˆV, ˆV,..., ˆV (l ) (0) ˆV 3hζn, (1) ˆV = Ṽ (1), has exactly (l 1)3hζn red vertces and exactly L vertces total, for j {2,..., l }, of Ṽ (j), for j {2,..., l }, and ˆV (j) ˆV (j) Ṽ (j) and the graph nduced by V (G ) =1 vertex-dsjont copes of Kh. ˆV (j) ( contans exactly h 1 d 4 l j=0 contans all red and blue vertces ˆV (j) ) L h non-red vertces, s spanned by the unon of 13

14 Proof of Lemma 16. In ths proof, we wll remove some copes of Kh to thn the graph so that the sub-clusters satsfy the condtons above. We shall do ths by tang the reduced graph G r and creatng an auxlary graph A r and then we apply Theorem 7 to A r. From the resultng fractonal K -tlng n A r, we wll produce a famly of vertex-dsjont Kh -s n G that we shall remove. From Secton 3.2, recall that D = D(, ε) was the least common multple of a common denomnator of a ratonal-valued soluton to lnear program (1) over all balanced -partte graphs wth at most M = M(, ε) vertces. In a smlar way, we may defne D 0 = D 0 (, ε, ζ) to be the least common multple of the common denomnator of a ratonal-valued soluton to lnear program (1) over d all balanced -partte graphs wth at most 3hζ l 1 3hζ D(, ε)m(, ε) vertces n each class. Now we wll defne the auxlary reduced graph A r by blowng up the vertces and edges of the subgraph of G r nduced by V (G r) {u (1) 1, u(1) 2,..., u(1) }. The number of copes of each vertex, however, wll not be the same. For [] and j {2,..., l }, defne ν(u (j) ) to be the number of non-red vertces n subcluster Ṽ (j). For V (A r ), replace each vertex u (j) ether the celng or the floor of ν(u (j) ) (1 d /4)L hd 0 ζl 1. /D 0 wth the followng number of copes: The choce of celng or floor s made arbtrarly, but only to ensure that the resultng graph s balanced. Ths s always possble because l j=2 ν(u(j) ) s the same for all []. For E(A r ), we replace each edge n G r by a complete bpartte graph and each nonedge by an empty bpartte graph. Frst, we need to chec that the number of vertces of A r s not too large. Snce (1 ζ 1/2 )L ν(u (j) ) (1+ 2 ε )L, the number of vertces n each partte set of A r s at most l ν(u (j) ) (1 d /4)L hd j=2 0 ζl 1 /D 0 (1 + (l 2 ε )L (1 d /4)L 1) hζl 1 < (l 1) d /4 + 2 ε. (4) hζ Ths quantty s at most d 3hζ l because ε d. Second, we need to chec that each vertex A r has suffcently large degrees n order to apply Theorem 7. We observe that f u were adjacent to u (j) n G r, then every copy of u n V (A r ) s adjacent to at least (1 ζ 1/2 )L (1 d /4)L hd 0 ζl 1 d /4 2ζ 1/2 /D 0 hζ 14

15 copes of u (j) n V (A r ). So, each vertex n V (A r ) s adjacent to at least [( 1 + γ ) ] d l /4 2ζ 1/2 ( 1 1 (l 1) + γ ) d 2 hζ 3 4hζ vertces n each of the other partte sets of V (A r ). By (4), every partte set of V (A r ) has sze at most (l 1) d /4+ 2 ε hζ. Usng (3), the proporton of neghbors of a vertex n V (A r ) n any other vertex class s at least ) d (l 1) ( 1 + γ 3 (l 1) d /4+ 2 ε hζ 4hζ 1. So, we can apply Theorem 7 to the auxlary reduced graph A r and obtan an optmal soluton to lnear program (1) wth the property that D 0 w(t ) s an nteger for every T T (A r ). As n Fact 11, ths mples that the blow-up graph A r (D 0 ) must have a perfect K -tlng. For each K n ths tlng, we wll remove ζl /D 0 vertexdsjont copes of Kh from the uncolored vertces of the correspondng subclusters of G r. It s easy to fnd such vertex-dsjont copes of Kh n a -tuple. Observe that every sub-cluster has at most 2 ε L uncolored vertces added to the subcluster. Moreover, a set of hd 0 ζl /D 0 vertces wll be removed from a subcluster at most d /(2ζ) tmes as long as ε d. So, there wll always be at least (1 d /4)L 2 ε L hd L /2 (1 d )L uncolored vertces from the orgnal sub-cluster. Usng the Slcng Lemma (Fact 19), any par of them form a 2(2ε )-regular par. As long as ζ ε d, we could apply, say, the Key Lemma from [21] to ensure the exstence of at most ζl /D 0 vertex-dsjont copes of Kh n the -tuple. So, the total number of vertces removed from sub-cluster V (j) s hd 0 ζl /D 0 ν(u (j) ) (1 d /4)L hd 0 ζl 1 /D 0 where s ether the floor or celng of ts argument. Removng these copes of Kh has the effect of mang the number of uncolored vertces n each sub-cluster nearly dentcal, that s, wthn hζl of each other. For [], place nto the new leftover set of V at most hd 0 ζl /D 0 1 uncolored vertces from each sub-cluster to ensure that every sub-cluster retans ether (1 d /4)L or (1 d /4)L + hd 0 ζl /D 0 uncolored vertces, dependng on whether the celng or floor functon was chosen for roundng. In the latter case, place an addtonal hd 0 ζl /D 0 uncolored vertces from the sub-cluster to the leftover set. Summarzng: We placed nto each leftover set at most 2hD 0 ζl /D 0 vertces from (0) each sub-cluster, so each new leftover set ˆV has a sze of at most l 2hD 0 ζl /D 0 3hζn., 15

16 The sets Ṽ (1) are unchanged. For j {2,..., l }, ˆV (j) s formed by removng uncolored vertces from Ṽ (j). For j {2,..., l }, the number of non-red vertces n s explctly prescrbed to be h (1 d /4) (L /h) because later we need t to be dvsble by h. ˆV (j) The vertces that are removed are all n vertex-dsjont copes of K h Insertng the leftover vertces and constructon of perfect K h -tlng We frst nsert the leftover vertces from =1 to non-receptacle subclusters n such a way that we shall be able to fnd a perfect Kh -tlng n every column usng the Blow-up Lemma. That s, each sub-cluster n the column wll have the same number of vertces (dvsble by h) and each par of sub-clusters ˆV (0) wll be super-regular. (0) Suppose that vertex w ˆV belongs n the sub-cluster Ṽ (j), j {2,..., l }. We then tae any v X (j) and the red and blue copes R(v), B(v) of Kh guaranteed by Lemma 14. We uncolor the vertces of R(v), remove the vertces of B(v) from ther respectve sub-clusters and place B(v) asde to be ncluded n the fnal tlng of G. We also add w to the sub-cluster Ṽ (j) and remove v from X (j). Each tme ths procedure s undertaen, the number of non-red vertces n each non-receptacle sub-cluster does not change and t s equal to h (1 d /4) (L /h). After dong ths procedure for every vertex n the leftover sets, we remove all the remanng (unused) red copes of of Kh and place them asde to be ncluded n the fnal tlng of G. The sub-clusters n the frst (receptacle) column have the same number of non-red vertces as each other and the number of non-red vertces n each receptacle sub-cluster has the same congruency modulo h as n does. That s, f we remove n h n/h non-red vertces from each receptacle sub-cluster, the remanng number of non-red vertces s dvsble by h. The non-red vertces n each receptacle sub-cluster form parwse (4ε, d /4)- super-regular pars, ths follows from the Slcng Lemma (Fact 19) because no vertces were added to these sub-clusters. So we focus on the non-receptacle sub-clusters. Throughout ths proof, n every non-receptacle sub-cluster, at most ε L vertces were colored red and at most ε L red vertces wll be uncolored (.e., they become non-red). In addton, the non-red vertces n any non-receptacle sub-cluster wll have cardnalty exactly h (1 d /4)L /h. Recall that the orgnal sub-clusters formed (2ε, d )-super-regular pars n each column. There were at most 2 ε L new vertces added to each sub-cluster, each of whch were adjacent to at least (d /2)L vertces n each of the orgnal sub-clusters of the 16

17 column. The next lemma wll mply that the non-red vertces n every nonreceptacle column wll form super-regular pars. Fact 17. Let (A, B) be an (ε 1, δ 1 )-super-regular par. Furthermore, let A A and B B be such that A A ε 2 A and B B ε 2 B. If every vertex n A A has at least δ 2 B neghbors n B and every vertex n B B has at least δ 2 A neghbors n A, then the par (A, B ) s (ε 0, δ 0 )-super-regular, where δ 0 = mn{δ1,δ2} (1+ε 2) 2 and ε 0 = ε 1 + ε 2. We apply Fact 17 wth ε 1 = 2ε, δ 1 = d, ε 2 = ε and δ 2 = d /2. Consequently, we use ε 1 + ε 2 ( + 2)ε ε and mn{δ1,δ2} (1+ε 2) = d /2 2 (1+ε ) d /3 to 2 conclude that the augmented pars n each column are ( ε, d /3)-super-regular. Fnally, to fnsh the tlng, apply the Blow-up Lemma to non-red vertces n each non-receptacle column (recall that the number of such vertces s the same and s dvsble by h). We can also apply the Blow-up Lemma to the non-red vertces n the receptacle column as well, because the szes of those sets are dvsble by h. Lemma 18 (Blow-up Lemma, Komlós-Sárözy-Szemeréd [19]). Gven a graph R of order r and postve parameters δ,, there exsts an ε BL > 0 such that the followng holds: Let N be an arbtrary postve nteger, and let us replace the vertces of R wth parwse dsjont N-sets V 1, V 2,..., V r (blowng up). We construct two graphs on the same vertex-set V = V. The graph R(N) the graph whch s the blow-up of R by N and a sparser graph G s constructed by replacng the edges of R wth some (ε BL, δ)-super-regular pars. If a graph H wth maxmum degree (H) can be embedded nto R(N), then t can be embedded nto G. Our Kh -tlng conssts of () the copes of Kh Lemma 16, (j) that are outsde of the sets ˆV, as establshed n () the red copes of Kh that were not uncolored n the process of absorbng vertces from the leftover sets to non-receptacle sub-clusters, and ˆV (0) () the copes of Kh found by applyng the Blow-up Lemma to the non-red vertces n each column. Ths s the tlng of G wth n/h copes of K h. What remans to show s that we can choose our constants to satsfy (3) so that all nequaltes n our proof wll be satsfed for suffcently large n. Indeed, for gven γ > 0 and h, we let d = γ/4. We also set R = K, r =, = ( 1)h and δ = γ/12 and apply Lemma 18 to obtan ε BL. Now we defne ε = mn{ε 2 18, d/(12 2 )} and we let ε = mn{(ε ) 5 /16, d/4( + 2)}. Fnally, we 17

18 set ζ = 1/(12h 2 2 M(, ε) 2 D(, ε) 2 ), where M(, ε) comes from the Regularty Lemma (Theorem 8) and D(, ε) s defned n Secton 3.2. Ths concludes the proof of Theorem Proofs of Facts For convenence, we restate the facts to be proven. Fact 15. For every [], we can partton the leftover set Ṽ (0) nto subsets Y (2),..., Y (l ) where, for every j {2,..., l }, the members of Y (j) belong n sub-cluster Ṽ (j) and Y (j) ε n (1/+γ/2)l 2 ε L. Proof of Fact 15. Frst, we show that each vertex belongs n at least (1/ + γ/2)l sub-clusters. To see ths, let x be the number of sub-clusters n V, such that v s adjacent to less than (d /2)L vertces of that sub-cluster. Then, snce n l L 2εn, x d 2 L + (l x)l + (n l L ) ( 1 ) + γ n. From ths t s easy to derve that wth d, ε small enough relatve to γ, t s the case that x < (1/ γ/2)l. By a smple unon bound, the number of sub-clusters n whch v belongs s greater than l ( 1)(1/ γ/2)l (1/ + γ/2)l. Hence, there are at least (1/ + γ/2)l sub-clusters outsde of the receptacle column n whch v belongs. Sequentally and arbtrarly assgn v Ṽ (0) to Y (j) f both v belongs n Ṽ (j) and Y (j) ε < n (1/+γ/2)l. Snce the sze of Ṽ (0) s at most ε n, we can always fnd a place for v. Fact 12. Let ε > 0 and ε < d /(2 + 2). Let (A 1,..., A ) be a -tuple that s parwse ε -regular of densty at least d wth A 1 = = A = L. There exst subsets A A for [] such that A = h (1 ( 1)ε )L /h and each par of (A 1,..., A ) s (2ε, d ε )-super-regular (wth densty at least d ε ). Proof of Fact 12. We use the so-called Slcng Lemma [21, Fact 1.5]. Fact 19 (Slcng Lemma [21]). Gven ε, α, d such that 0 < ε < α < 1 and d, 1 d max{2ε, ε/α}. Let (A, B) be an ε-regular par wth densty d, A A wth A α A and B B wth B α B. Then (A, B ) s ε 0 -regular wth ε 0 = max{2ε, ε/α} and densty n [d ε, d + ε]. It follows from the ε -regularty of (A, A j ) that all but at most ε A vertces of A have at least (d ε ) A j neghbors n A j. So, there s a set A A of sze (1 ( 1)ε ) A such that each vertex of A has at least (d ε ) A j neghbors n A j for every j and, consequently, at least (d ε ) A j ( 1)ε A j = (d ε ) A j neghbors n A j for every j. 18

19 Snce ε < d /(2 +2) and (1 ( 1)ε ) > 1/2, the Slcng Lemma (Fact 19) wth α = 1/2 and ε < d /(2 + 2) gves that each par (A, A j ) s (2ε, d ε )- super-regular. Fact 17. Let (A, B) be an (ε 1, δ 1 )-super-regular par. Furthermore, let A A and B B be such that A A ε 2 A and B B ε 2 B. If every vertex n A A has at least δ 2 B neghbors n B and every vertex n B B has at least δ 2 A neghbors n A, then the par (A, B ) s (ε 0, δ 0 )-super-regular, where ε 0 = ε 1 + ε 2 and δ 0 = mn{δ1,δ2} (1+ε 2) 2. Proof of Fact 17. Frst we establsh the mnmum degree condton. Each of B the vertces n A s adjacent to at least δ 1 B = δ 1 B B vertces n B. Each of the vertces n A B A s adjacent to at least δ 2 B = δ 2 B B neghbors n B. Smlar condtons hold for vertces n B. Snce δ 0 mn{δ { } 1, δ 2 } A (1 + ε 2 ) 2 mn δ 1 A, δ A 2 A, δ B 1 B, δ B 2 B, each vertex a A has at least δ 0 B neghbors n B and each vertex b B has at least δ 0 A neghbors n A. Now, consder any X A and Y B such that X ε 0 A and Y ε 0 B. Consder X = X (A A) and Y = Y (B B). Note that X X ε 2 A ε 0 A ε 2 A ε 1 A. Smlarly, Y ε 1 B and so d(x, Y ) δ 1. Consequently, d(x, Y ) d(x, Y ) X Y X Y δ 1 (1 + ε 2 ) 2 δ 0, and the par s (ε 0, δ 0 )-super-regular. 5. Concludng Remars The common denomnator D = D(, ε) used n Secton 3.2 can, n prncple, be astronomcally large, as t s the common denomnator of values of ratonalvalued solutons for all balanced -partte graphs on at most M = M(, ε) vertces. We chose ths value for the convenence of the proof. Indeed, the constant M s qute large tself and so D s not so large, relatvely speang. We could utlze a much smaller nteger value of D by choosng a D such that f w s the ratonal-valued soluton of (1), then for every v V (G r ) and every T T (G r ) for whch V (T ) v, we assgn Dw (T ) vertces of G r to copes of T. Because Dw (T ) s not necessarly an nteger, we end up wth D V (T ) v Dw (T ) unused vertces. Choose D large enough to ensure that 19

20 ths s always small (O(εM 1 ) suffces), and they can be placed n the leftover set. We should also note that, asymptotcally, Conjecture 3 s stronger than the Hajnal-Szemeréd Theorem. That s, f G s a graph on n vertces wth + γ ) n, then a random partton of the vertex set nto equal parts gves a -partte graph G wth ˆδ ( G) ( 1 + γ ) n O( n log n) and applyng Conjecture 3 would gve a K -tlng n G and, hence, G tself. mnmum degree at least ( 1 6. Acnowledgements The authors would le to than the London School of Economcs and Poltcal Scence. Part of ths research had been done as part of a vst by the frst author. We express our apprecaton to Hong-Jan La who has made the publcatons of Paul Catln avalable onlne ( Thans also to Bernhard von Stengel for helpful comments on lnear programmng and to Rchard Mycroft for useful conversatons. Specal thans to an anonymous referee whose comments mproved the paper. References [1] N. Alon and R. Yuster, H-factors n dense graphs. J. Combn. Theory Ser. B 66 (1996), no. 2, [2] A. Bush and Y. Zhao, Mnmum degree thresholds for bpartte graph tlng. J. Graph Theory 70 (2012), no. 1, [3] P.A. Catln, On the Hajnal-Szemeréd theorem on dsjont clques. Utltas Math. 17 (1980), [4] V. Chvátal, Lnear Programmng. A seres of Boos n the Mathematcal Scences. W. H. Freeman and Company, New Yor, x+478 pp. [5] K. Corrád and A. Hajnal, On the maxmal number of ndependent crcuts n a graph. Acta Math. Acad. Sc. Hungar. 14 (1963), [6] B. Csaba and M. Mydlarz, Approxmate multpartte verson of the Hajnal- Szemeréd theorem. J. Combn. Theory Ser. B 102 (2012), no. 2, [7] A. Czygrnow and L. DeBaso, A note on bpartte graph tlng, SIAM J. Dscrete Math., 25 (2011), no. 4, [8] E. Fscher, Varants of the Hajnal-Szemeréd theorem, J. Graph Theory 31 (1999), no. 4, [9] S. I. Gass, Lnear programmng. Methods and applcatons. Thrd edton, McGraw-Hll Boo Co., New Yor-London-Toronto, Ont x+358 pp. 20

21 [10] A. Hajnal and E. Szemeréd, Proof of a conjecture of P. Erdős, Combnatoral theory and ts applcatons, II (Proc. Colloq. Balatonfüred, 1969), pp North-Holland, Amsterdam, [11] P. Hall, On representaton of subsets. J. London Math. Soc. 10 (1935), [12] J. Hladý and M. Schacht, Note on bpartte graph tlngs. SIAM J. Dscrete Math. 24 (2010), no. 2, [13] R. Johansson, Trangle factors n a balanced blown-up trangle. Dscrete Math. 211 (2000), no. 1 3, [14] P. Keevash and R. Mycroft, A geometrc theory for hypergraph matchng, Mem. Amer. Math. Soc. 233 (2015), no v+95 pp. [15] P. Keevash and R. Mycroft, A multpartte Hajnal-Szemeréd theorem, J. Combn. Theory Ser. B 114 (2015), [16] H.A. Kerstead and A.V. Kostocha, A short proof of the Hajnal-Szemeréd theorem on equtable colourng. Combn. Probab. Comput. 17 (2008), no. 2, [17] H.A. Kerstead, A.V. Kostocha and M. Mydlarz and E. Szemeréd, A fast algorthm for equtable colorng, Combnatorca 30 (2010), no. 2, [18] J. Komlós, Tlng Turán theorems. Combnatorca 20 (2000), no. 2, [19] J. Komlós, G. Sárözy and E. Szemeréd, Blow-up lemma. Combnatorca 17 (1997), no. 1, [20] J. Komlós, G. Sárözy and E. Szemeréd, Proof of the Alon-Yuster conjecture. Combnatorcs (Prague, 1998). Dscrete Math. 235 (2001), no. 1 3, [21] J. Komlós and M. Smonovts, Szemeréd s regularty lemma and ts applcatons n graph theory, Combnatorcs, Paul Erdős s eghty, Vol. 2 (Keszthely, 1993), pp , Bolya Soc. Math. Stud., 2, János Bolya Math. Soc., Budapest, [22] D. Köng, Graphen und Matrzen, Mat. Lapo 38 (1931), [23] D. Kühn and D. Osthus, The mnmum degree threshold for perfect graph pacngs. Combnatorca 29 (2009), no. 1, [24] A. Lo and K. Marström, A multpartte verson of the Hajnal-Szemeréd theorem for graphs and hypergraphs, Combn. Probab. Comput. 22 (2013), no. 1,

22 [25] Cs. Magyar and R. Martn, Trpartte verson of the Corrád-Hajnal theorem, Dscrete Math. 254 (2002), no. 1 3, [26] R. Martn and E. Szemeréd, Quadrpartte verson of the Hajnal-Szemeréd theorem, Dscrete Math. 308 (2008), no. 19, [27] R. Martn and Y. Zhao, Tlng trpartte graphs wth 3-colorable graphs, Electron. J. Combn. 16 (2009), no. 1, Research Paper 109, 16pp. [28] R. Martn and Y. Zhao, Tlng trpartte graphs wth 3-colorable graphs: The extreme case. Preprnt. [29] A. Schrjver, Theory of lnear and nteger programmng. Wley-Interscence Seres n Dscrete Mathematcs. John Wley & Sons, Ltd., Chchester, x+471 pp. [30] E. Szemeréd, Regular parttons of graphs. Problèmes combnatores et théore des graphes (Colloq. Internat. CNRS, Unv. Orsay, Orsay, 1976), pp , Colloq. Internat. CNRS, 260, CNRS, Pars, [31] Y. Zhao, Bpartte graph tlng, SIAM J. Dscrete Math. 23 (2009), no. 2,