Fix positive integers with . We seek the minimum number of members of size at least in a finite family of finite sets closed under union and containing exactly distinct sets of size . This problem is a specialization of the Leck–Roberts–Simpson weighted conjecture: assign weight one to sets of size at least and zero to smaller sets. The predicted minimizer consists of the unions of nonempty subfamilies of the first -subsets of the natural numbers, ordered by their largest elements and, when these agree, by their increasing lists lexicographically. For an integer , call the range the -th strip. We prove the layered conjecture throughout the first strip, and throughout the second strip for . For arbitrary , we prove the second strip for families of subsets of an -element set. For , we prove the -th strip for families of subsets of an -element set whenever . With no restriction on the ground set, we prove it for and whenever . For sufficiently large , we obtain a sufficient bound of order , uniformly in .

生成讲解博客的中文版本

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