第一篇题解说答案就是k xor floor(k/2),但是没给证明过程，翻了一下好像也没有人写证明。

所以有没有大佬证明一下？（我自然是不会的）