Let distinct sets have every -fold intersection of size . Either all contain a common set of size , or , where is the minimum size of a -fold intersection. Fix such a minimum intersection and restrict the remaining sets to it. Equal traces give the common set; distinct traces satisfy the constant-intersection family bound. The qualification excludes vacuous counterexamples.
The sets have every -fold intersection of size and every -fold intersection of size . For , their common intersection is empty and they attain in the constant t-wise intersection dichotomy.
Articles by others on the same topic
There are currently no matching articles.