易混 2023 年上海高中数学竞赛(高三卷) · P006755
两题都把数字或元素的取舍编码成位置集合,但“不相邻”与“没有孤立元素”要求相反。前者将特殊位置隔开,可用压缩位置的双射;后者要求每个极大连续段至少包含两个位置,必须按段长及段间空隙分类。
前题允许特殊数字一次也不出现,并给普通数字另配选择数;后题固定选择个数,连续段的合并与分离决定重数。
若 且 ,则称 为集合 的孤立元素。那么,集合 的无孤立元素的 元子集有 个。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
没有孤立元素,意味着每个选中的数都属于至少两个连续整数构成的一段,所以先按极大的连续段分块。
四个元素只能是一段四个或两段各两个;后一类还须在两段之间留至少一个没选的整数,否则其实属于前一类。
把四元子集按相邻整数分成极大的连续段。无孤立元素等价于每段长度至少为 , 故各段长度只能是 或 ,两类互斥且穷尽。 一段长度为 时,其起点可为 ,共有 个。 两段长度为 时写为 ,极大性要求 ,且 。 于是 时分别有 个选择,共 个。 总数为 。
按极大连续段分类,无孤立元素只允许一段四连或两段二连;两段间必须真有空位,才能保证分类不重复。
易混 2023 年上海高中数学竞赛(高三卷) · P006755
两题都把数字或元素的取舍编码成位置集合,但“不相邻”与“没有孤立元素”要求相反。前者将特殊位置隔开,可用压缩位置的双射;后者要求每个极大连续段至少包含两个位置,必须按段长及段间空隙分类。
前题允许特殊数字一次也不出现,并给普通数字另配选择数;后题固定选择个数,连续段的合并与分离决定重数。
已记下,谢谢!