On the maximum of the sum of the sizes of non-trivial cross-intersecting families

Peter Frankl
DOI: https://doi.org/10.48550/arXiv.2209.01826
2022-09-05
Abstract:We consider families of k-subsets of the standard n-set. Two families F, G are said to be cross-intersecting if every member of F has non-empty intersection with every member of G. A family is called non-trivial if the intersection of all its members is empty. Supposing that F and G are non-trivial and cross-intersecting, we determine the maximum of |F|+|G|. For the proof a strengthened version of the so-called shifting technique is introduced. The corresponding problem for families of different uniformities is solved as well.
Combinatorics
What problem does this paper attempt to address?