Proving the optimality of the product construction for the intersection--union problem

Fan Chang, Peter Frankl, Jian Wang

Let $m(n,p,q)$ be the largest size of a family of subsets of $[n]$ whose members pairwise intersect in at least $p$ vertices and omit at least $q$ common vertices. We prove that a…