5k-sync-closer

摘要： 发个严谨点的证明罢。 引理 $$ x|y≤x+y $$ 先搞个真值表出来： $a$ $b$ $a\vert b$ $a+b$ 1 1 1 2 1 0 1 1 0 1 1 1 0 0 0 0 可以看出，对于任意二进制位 $a,b$，$a|b≤a+b$。 设 $x$ 的第 $k$ 个二进制位为 $x_k 阅读全文