Let be a family of subsets of an -element set. The family is called -wise -intersecting if the intersection of any three subsets in is of size at least . For a real number we define the measure of the family by the sum of over all . For example, if consists of all subsets containing a fixed -element set, then it is a -wise -intersecting family with the measure . Let , , and let be a -wise -intersecting family. It is known that the measure of is at most . Suppose, moreover, that has the measure at least . We show that, by choosing sufficiently large depending on , the structure of is one of (i) and (ii): (i) every subset in contains a fixed -element set, (ii) every subset in contains at least elements from a fixed -element set.

生成讲解博客的中文版本

生成AI智能校验的中文版本