易混 2009 年黑龙江预赛 第 9 题 · P009367
把不相邻位置压缩成普通子集,只处理了最小间距;若还要求每侧空位有上限,就不能继续沿用无上界空隙模型。先分清无身份的位置集合与有身份的人,再核两端空隙。
前题的计数部分可用按次序减去固定间距的双射,另一个代表选择问题则用损失可控的贪心;后题同时有内部空隙下界和所有空隙上界,先数有界空隙数组,最后排列不同观众。
设,。 若中任意两个元素都满足,则称为“完美集”。
在中任取个元素组成,求为完美集的概率。
设。若有个大小都为的完美集(可相同),证明:存在一种从每个集合中各取1个元素的取法,使所得个元素构成完美集。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
第一问把不相邻位置压缩为普通子集;第二问按全体集合中的最小元素贪心,独立性保证每次每个剩余集合最多损失一个候选。
(1)按通常取子集的整数范围 。若 完美,令 ,则 ,反之也成立。因此概率为
其中无可行位置时分子为零, 时空集概率为一。 (2)证明更强命题: 个内部无相邻数、每个至少含 个元素的有限整数集合,总能各选一元素,所选仍无相邻或重复。对 归纳, 显然。取全部集合中的最小元素 ,从含它的一个集合选 并删去该集合。从其他每个集合删去 ;内部不相邻保证最多删一个,而且全局最小性排除了任何小于 的元素。于是余下 个集合各至少有 个元素,且所有剩余元素大于 。用归纳从它们各取一元素,再加 ,仍无相邻或重复。取 即得题目结论。
每次只删一个所属集合,其他集合即使与它相同也仍作为不同待选集合保留;删除规则最多损一不依赖集合互不相交。反向压缩 的端点和间距都正确。
顺序位置的间距限制可压缩;对一批独立候选集求兼容代表,可先选全局最小值,让每个剩余集合的损失可控并递归。
通常不同元素及等可能子集语义:先压缩间隔建立计数双射,再独立构造最小首元删行删列归纳,还原间隔并确保每集合取一次。
易混 2009 年黑龙江预赛 第 9 题 · P009367
把不相邻位置压缩成普通子集,只处理了最小间距;若还要求每侧空位有上限,就不能继续沿用无上界空隙模型。先分清无身份的位置集合与有身份的人,再核两端空隙。
前题的计数部分可用按次序减去固定间距的双射,另一个代表选择问题则用损失可控的贪心;后题同时有内部空隙下界和所有空隙上界,先数有界空隙数组,最后排列不同观众。
已记下,谢谢!