On matchings in hypergraphs (Q456292)

Summary: We show that if the largest matching in a \(k\)-uniform hypergraph \(G\) on \(n\) vertices has precisely \(s\) edges, and \(n>2k^2s/\log k\), then \(H\) has at most \(\binom{n}{k} - \binom{n-s}{k}\) edges and this upper bound is achieved only for hypergraphs in which the set of edges consists of all \(k\)-subsets which intersect a given set of \(s\) vertices.