设 为 的子集,且 中任意两个不同的数之和所得的数两两不同,问: 中最多有多少个元素?
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先比较六元素产生的数对数与所有可能的和有多少个。
若两者恰相等,和的最小最大值会被迫出现,进而锁定几个元素;检查它们是否造成重复,就可反证上界,随后另给较小规模的构造。
若 ,取其中六个元素。它们的15个数对和两两不同,且均在整数区间 内,所以必须恰好取遍3至17。和为3要求1、2都在其中,和为17要求8、9都在其中。但 ,这是两个不同数对的相同和,矛盾。因此 。
取 ,十个数对和依次为 ,两两不同。因此最多有 个元素。
另一五元例子 的十个和为3、6、8、10、7、9、11、12、14、16,均不同,能独立核验五个确实可达。上界从任意六元素子集出发,所以同样排除了七个以上的集合;不能只证明六个“不好”便遗漏更大规模。
计数上界达到容量饱和时,有限值域的每个值都必须出现,尤其两端的唯一表示常能强制选入冲突元素。下界构造则须逐个核全部数对和,不能仅确认各元素互不相同。
数对数量只能给粗界6,需进一步追踪所有可能和都出现时的端点,推出重复和排除6。
已记下,谢谢!