MathLabs

第2题

若正整数可写成 2a1+2a2+⋯+2a1002^{a_1}+2^{a_2}+\cdots+2^{a_{100}} 的形式(其中 a1,a2,…,a100a_1,a_2,\ldots,a_{100} 是不必互异的非负整数),则称其为「fancy」数。求最小的正整数 nn,使得 nn 的任何倍数都不是 fancy 数。
第 2/5 步:每个更小的 kk 都有 fancy 倍数
2sk=2a1+s+⋯+2ar+s,s=100−r;2j=2j−1+2j−1 increases the number of powers by one2^s k=2^{a_1+s}+\cdots+2^{a_r+s},\quad s=100-r;\quad 2^j=2^{j-1}+2^{j-1}\text{ increases the number of powers by one}
详细分析

先令 s=100−rs=100-r,把 kk 的二进制展开乘以 2s2^s。若 s=0s=0,所得已经是恰好 100100 个二的幂之和。若 s>0s>0,反复利用 2j=2j−1+2j−12^j=2^{j-1}+2^{j-1} 拆分一个指数为正的项;从 2ar+s2^{a_r+s} 开始可拆分 ss 次,在不改变数值的情况下把项数从 rr 增至 r+s=100r+s=100。因此 kk 有一个 fancy 倍数,故没有 fancy 倍数的最小 nn 必须满足 n≥2101−1n\ge2^{101}-1。