同一骨架 2022 年吉林预赛 · P006863
双计数前先明确统计的是哪一批对象之间的同一种关系。把范围缩到选定顶点或关键子矩阵后,外部对象的贡献必须单独扣算,不能机械地把每条边或每次事件都按同一个倍数累计。
前题统计一元集到二元集的包含关系,内部边贡献两次而跨出边只贡献一次,等号还决定计数结构;后题只看及格学生与难题的子矩阵,从行上界和扣除外部贡献后的列下界推阈值。
两层包含条件下的极小集合族
记 。设集合族 由 的若干个元素个数不超过 的子集构成,且满足 。记
对 ,已知:若集合 ,则 中至少有 个不同集合 满足 。
(1)求 所含子集个数 的最小可能值 ;
(2)当 时,求不同集合族 的个数。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
先回想这道题的想法,再试试当前题。
关联双计数按两种方式数包含关系:每个选定一元集至少贡献规定次数,每个二元集最多包含两个选定一元集。跨出边只有一端被选,所以其贡献少一次。
想法从哪来:把一元集当成被选顶点、二元集当成无向边,包含条件就变成被选顶点至少连多少条边。先数顶点—边的关联次数,每条边最多贡献两次,给一个粗下界。但若恰好只选最少数量的顶点,它们内部的可能邻点少一个,必须连到外部;这种跨出边只贡献一次,需要把损失补进下界。 达到最小总数时,所有计数不等式都要取等,便能完整刻画结构:内部边全选,每个被选顶点恰有一个外部搭档,不能再加别的边。计数时外部搭档可以重复,但每个内部顶点的身份不同,因此应数从内部顶点到外部元素的函数,而非只数外部搭档的多重集合;交换搭档通常产生不同边集。
把一元集看成选定顶点、二元集看成边,条件就是每个选定顶点的度至少为 。先对顶点--边包含关系双计数;达到等号时,再精确刻画内部边与跨出边。
(1)显然 ,且由空集对应的条件知 。令 ,并计数
由题设,
而每个二元集至多含有两个 中的一元集,所以
若 ,则(1)(2)给出 ,从而 。
若 ,每个选定元素在另外十二个选定元素中至多有十二个搭档,故至少还需要一条连向未选元素的二元集。这样的跨出二元集至少有 个,且每个只贡献一次 中的包含关系。因此
结合 ,仍得 。于是总有
取 为某个 元集合的全部一元子集, 为包含它的一个 元集合的全部二元子集,即可达到
故
(2)达到 时必有 。设 对应的元素集合为 。上面的所有不等式均须取等号,因此 必须包含 内部的全部 个二元集,并且对每个 恰有一条跨出边
没有两个选定元素共用同一条跨出边,但不同的 可以选择同一个外部元素 。
先选 ,有 种;随后对每个有身份的 ,其外部搭档都可从 个元素中独立选择。因此不同集合族的个数为
每个已选元素 都有自己的外部搭档 ,所以要计数的是定义在这 个元素上的函数。不同的搭档分配会改变二元集族:在两个不同的 之间交换不同的外部搭档,就会改变对应的二元集。外部搭档可以重复,每个 均有 种独立选择,故所需因子为 。
分层集合族的包含条件可转成二部图度数条件。极值不仅要双计数得下界,还要追踪等号迫使的结构;计数时尤其要区分“外部元素的多重集”和“给每个已标识顶点分配外部邻点”。
需改进双计数以处理仅13个单元素集的缺口,并从取等条件刻画内部全连及逐点外配结构后计数。
同一骨架 2022 年吉林预赛 · P006863
双计数前先明确统计的是哪一批对象之间的同一种关系。把范围缩到选定顶点或关键子矩阵后,外部对象的贡献必须单独扣算,不能机械地把每条边或每次事件都按同一个倍数累计。
前题统计一元集到二元集的包含关系,内部边贡献两次而跨出边只贡献一次,等号还决定计数结构;后题只看及格学生与难题的子矩阵,从行上界和扣除外部贡献后的列下界推阈值。
已记下,谢谢!