MathLabs

第4题

设 nn、bb 为正整数。若存在由 nn 个互不相同且小于 bb 的正整数组成的集合,使不同子集 UU、VV 中元素在 UU 中的和与在 VV 中的和从不相等,则称 nn 是 bb-可辨的。(a) 证明 88 是 100100-可辨的。(b) 证明 99 不是 100100-可辨的。
第 2/4 步:计算所有子集和
63+64+64+64=255=28−163+64+64+64=255=2^8-1
详细分析

四族位于互不相交的同余类或数值区间中,分别有 63、64、64、64 个和。因此有 255 个不同的和,正好是八元素集合的非空子集数,(a) 得证。