Given two k-graphs (k-uniform hypergraphs) F and H, a perfect F-tiling (or F-factor) in H is a set of vertex-disjoint copies of F that together cover the vertex set of H. For all complete k-partite k-graphs K, Mycroft proved a minimum codegree condition that guarantees a K-factor in an n-vertex k-graph, which is tight up to an error term o(n). In this paper we improve the error term in Mycroft’s result to a sublinear term that relates to the Turán number of K when the differences of the sizes of the vertex classes of K are co-prime. Furthermore, we find a construction which shows that our improved codegree condition is asymptotically tight in infinitely many cases, thus disproving a conjecture of Mycroft. Finally, we determine exact minimum codegree conditions for tiling K(k)(1, … , 1, 2) and tiling loose cycles, thus generalizing the results of Czygrinow, DeBiasio and Nagle, and of Czygrinow, respectively.

Two graphs G1 and G2 on n vertices are said to pack if there exist injective mappings of their vertex sets into [n] such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that if (Δ(G1) + 1)(Δ(G2) + 1) ⩽ n + 1, then G1 and G2 pack. We consider the validity of this assertion under the additional assumption that G1 or G2 has bounded codegree. In particular, we prove for all t ⩾ 2 that if G1 contains no copy of the complete bipartite graph K2,t and Δ(G1) > 17t · Δ(G2), then (Δ(G1) + 1)(Δ(G2) + 1) ⩽ n + 1 implies that G1 and G2 pack. We also provide a mild improvement if moreover G2 contains no copy of the complete tripartite graph K1,1,s, s ⩾ 1.

Given hypergraphs F and H, an F-factor in H is a set of vertex-disjoint copies of F which cover all the vertices in H. Let K−4 denote the 3-uniform hypergraph with four vertices and three edges. We show that for sufficiently large n ∈ 4ℕ, every 3-uniform hypergraph H on n vertices with minimum codegree at least n/2−1 contains a K−4-factor. Our bound on the minimum codegree here is best possible. It resolves a conjecture of Lo and Markström [15] for large hypergraphs, who earlier proved an asymptotically exact version of this result. Our proof makes use of the absorbing method as well as a result of Keevash and Mycroft [11] concerning almost perfect matchings in hypergraphs.

Let C63 be the 3-uniform hypergraph on {1, . . ., 6} with edges 123,345,561, which can be seen as the analogue of the triangle in 3-uniform hypergraphs. For sufficiently large n divisible by 6, we show that every n-vertex 3-uniform hypergraph H with minimum codegree at least n/3 contains a C63-factor, that is, a spanning subhypergraph consisting of vertex-disjoint copies of C63. The minimum codegree condition is best possible. This improves the asymptotic result obtained by Mycroft and answers a question of Rödl and Ruciński exactly.

An old conjecture of Z. Tuza says that for any graph G, the ratio of the minimum size, τ3(G), of a set of edges meeting all triangles to the maximum size, ν3(G), of an edge-disjoint triangle packing is at most 2. Here, disproving a conjecture of R. Yuster, we show that for any fixed, positive α there are arbitrarily large graphs G of positive density satisfying τ3(G) > (1 − o(1))|G|/2 and ν3(G) < (1 + α)|G|/4.

Let $G$ be a graph of order $n\geq 6$ with minimum degree ${\it\delta}(G)\geq 4$. Arkin and Hassin [‘Graph partitions with minimum degree constraints’, Discrete Math. 190 (1998), 55–65] conjectured that there exists a bipartition $S,T$ of $V(G)$ such that $\lfloor n/2\rfloor -2\leq |S|,|T|\leq \lceil n/2\rceil +2$ and the minimum degrees in the subgraphs induced by $S$ and $T$ are at least two. In this paper, we first show that $G$ has a bipartition such that the minimum degree in each part is at least two, and then prove that the conjecture is true if the complement of $G$ contains no complete bipartite graph $K_{3,r}$, where $r=\lfloor n/2\rfloor -3$.

Let H be a k-uniform hypergraph on n vertices where n is a sufficiently large integer not divisible by k. We prove that if the minimum (k − 1)-degree of H is at least ⌊n/k⌋, then H contains a matching with ⌊n/k⌋ edges. This confirms a conjecture of Rödl, Ruciński and Szemerédi [13], who proved that minimum (k − 1)-degree n/k + O(log n) suffices. More generally, we show that H contains a matching of size d if its minimum codegree is d < n/k, which is also best possible.

It is well known that a graph with m edges can be made triangle-free by removing (slightly less than) m/2 edges. On the other hand, there are many classes of graphs which are hard to make triangle-free, in the sense that it is necessary to remove roughly m/2 edges in order to eliminate all triangles.

We prove that dense graphs that are hard to make triangle-free have a large packing of pairwise edge-disjoint triangles. In particular, they have more than m(1/4+cβ) pairwise edge-disjoint triangles where β is the density of the graph and c ≥ is an absolute constant. This improves upon a previous m(1/4−o(1)) bound which follows from the asymptotic validity of Tuza's conjecture for dense graphs. We conjecture that such graphs have an asymptotically optimal triangle packing of size m(1/3−o(1)).

We extend our result from triangles to larger cliques and odd cycles.

Let G be a graph of order n, and let a and b be two integers with 1≤a≤b. Let h:E(G)→[0,1] be a function. If a≤∑ e∋xh(e)≤b holds for any x∈V (G), then we call G[Fh] a fractional [a,b] -factor of G with indicator function h, where Fh ={e∈E(G):h(e)>0}. A graph G is fractional independent-set-deletable [a,b] -factor-critical (in short, fractional ID-[a,b] -factor-critical) if G−I has a fractional [a,b] -factor for every independent set I of G. In this paper, it is proved that if n≥((a+2b)(a+b−2)+1 )/b and δ(G)≥((a+b)n )/(a+2b ) , then G is fractional ID-[a,b] -factor-critical. This result is best possible in some sense, and it is an extension of Chang, Liu and Zhu’s previous result.

Let G be a graph of order n, and let k≥1 be an integer. Let h:E(G)→[0,1] be a function. If ∑ e∋xh(e)=k holds for any x∈V (G), then we call G[Fh] a fractional k-factor of G with indicator function h where Fh ={e∈E(G):h(e)>0}. A graph G is called a fractional (k,m) -deleted graph if for every e∈E(H) , there exists a fractional k-factor G[Fh ] of G with indicator function h such that h(e)=0 , where H is any subgraph of G with m edges. The minimum degree of a vertex in G is denoted by δ(G) . For X⊆V (G), NG(X)=⋃ x∈XNG(x) . The binding number of G is defined by In this paper, it is proved that if then G is a fractional (k,m) -deleted graph. Furthermore, it is shown that this result is best possible in some sense.

Let G be a graph, and k a positive integer. Let h:E(G)→[0,1] be a function. If ∑ e∋xh(e)=k holds for each x∈V (G), then we call G[Fh] a fractional k-factor of G with indicator function h where Fh={e∈E(G)∣h(e)>0}. In this paper we use neighbourhoods to obtain a new sufficient condition for a graph to have a fractional k-factor. Furthermore, this result is shown to be best possible in some sense.

A graph H decomposes into a graph G if one can write H as an edge-disjoint union of graphs isomorphic to G. H decomposes into D, where D is a family of graphs, when H can be written as a union of graphs each isomorphic to some member of D, and every member of D is represented at least once. In this paper it is shown that the d-dimensional cube Qd decomposes into any graph G of size d each of whose blocks is either an even cycle or an edge. Furthennore, Qd decomposes into D, where D is any set of six trees of size d.