设 ,若 中任意两个元素的和都不是 的幂次,则 最大为多少?
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
求上界不必同时用尽所有禁和值,可以先找一个能把母集完全配对的幂。
构造时再选择一种简单的奇偶类,并检查它排除的是所有禁和值,而不只是刚才用于上界的那一个。
把母集分为 共 对,每对之和为 。所以每对至多取一个,得 。 取 。其中任意两个元素之和是正偶数,不可能等于 的任何非负整数次幂,故构造可行。 因此 。
40个首尾对没有共同元素,确实把1到80全部用完;其中不存在一个元素等于其自身配对的情形,因为81是奇数。所选偶数的和全为偶数,与所有3的非负整数幂均不同,即使把零次幂1也算入也不会增加限制。
上界证明可只取原限制的一部分,使每个互斥小块至多选一个;达到性构造却必须核对原限制的全部情况。把这两个方向分清,能避免只防住一个禁和便宣称构造合法。
首尾和81给出配对上界,再利用3的幂为奇数构造全体偶数集合。
已记下,谢谢!