培玉 · 一试

专题地图 › 集合与简易逻辑

一试训练题

F3解答题集合与简易逻辑

求所有正整数 ,使得存在一个集合 ,满足:

  1. (1)

    由 个都小于 的正整数组成;

  2. (2)

    对 的任意两个不同的非空子集 , 中元素之和不等于 中元素之和。

作答

这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。

解析

为什么评为 F3(会透露解法方向)

须排除三个小参数、找到非平凡的四元基例,并识别倍增旧元素后加入 1 的奇偶编码递推。

用到的方法(会透露解法方向)

核心工具:剩余类、幂周期与局部排除

专题卡:参数很多的生成集合:证明不重复、不留缝,再计数求和