以 表示集合 的元素个数。若有限集合 满足 ,,,则 的最大可能值为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
三重交包含于 B,所以可先从三个已知并集给 B 的大小找上界。
把两个包含 B 的并集再作容斥,它们的并包含第三个已知并集,而交也包含 B,便能得到有效限制;最后用互不相交的小块拼出满足三个总数的例子。
下面给出证明与取等构造。对两个并集使用容斥原理,注意其交集为 ,得到
又 ,所以 ,即 。 由于 ,所求三重交至多有 个元素。
取两两不交的有限集合 ,使 ,并令
此时三个并集的基数依次为 ,且 有 个元素。 所以上界可达,答案为 。
先用并集容斥压住一个集合的基数,三重交因包含关系随之受界;另给互不相交原子集合构造,才能证明上界可达。
已记下,谢谢!