浅说连续区间异或和

前言：
本文的讨论范围仅限于自然数集；
本文中，记$f(x,y)$为区间$[x,y]$的异或和。

准备·其一

首先，让我们观察如下的一些示例

1 = 2-1
[0, 0] 00
[1, 1] 01

3 = 4-1
[0, 1] 00 01
[2, 3] 10 11

7 = 8-1
[0, 3] 000 001 010 011
[4, 7] 100 101 110 111

15 = 16-1
[0,  7] 0000 0001 0010 0011 0100 0101 0110 0111
[8, 16] 1000 1001 1010 1011 1100 1101 1110 1111

想必诸君不难看出，对于$2^k-1(k\ge 2)$，将其二分，于其二进制，可发现某种对称性。

显然，有

$$f(0,2^{k-1}-1)=f(2^{k-1},2^k-1)(k\ge 2)\text{\hspace{1em}(1)}$$
不过，上述式子对于 $2^1$并不成立。

有意思的是，
$$\{\begin{array}{l}f(0,2^{k-1}-1)=f(2^{k-1},2^k-1)=1(k=2)\\ f(0,2^{k-1}-1)=f(2^{k-1},2^k-1)=0(k>2)\end{array}$$
各位可在阅读结束后再回看此处，这对于后文并无实质性帮助。

让我们先忽略这个特例，那么由$(1)$式，我们可证一个对后文证明有利的式子，即

$$f(0,2^k)=2^k(k\ge 2)\text{\hspace{1em}(2)}$$
前式等价于
$$f(0,2^k-1)=0(k\ge 2)\text{\hspace{1em}(2*)}$$
这是因为$f(0,2^k)=f(0,2^k-1)\oplus 2^k.$

此时不妨先回头看看$(1)$式，接着，我们便可以轻松地来证明此等价命题$(2^{\ast })$，
且看：
$$f(0,2^k-1)=f(0,2^{k-1}-1)\oplus f(2^{k-1},2^k-1)=f(0,2^{k-1}-1)\oplus f(0,2^{k-1}-1)=0$$
由此，(2)式得证.

---

准备·其二

接下来是另外一个对这个问题具有重要意义的式子。

显然有

$$f(2^k+1,2^k+2^m)=f(1,2^m)=f(0,2^m)(m\le k)\text{\hspace{1em}(3)}$$

这是因为，自然数集$[2^k+1,2^k+2^m]$ 的势为$2^m$，这$2^m$个自然数二进制下的前导1在异或和后无贡献。

---

推导·其一

现在，我们已经获得了两个重要式子，$(2)$与$(3)$。

显而易见，一些偶数可以写做一系列二次幂和的形式，如$28=16+8+4$、$12=8+4$。
沿着这一思考，可考虑计算一系列二次幂$2^k(k\ge 2)$加和的数$N$，来看看$f(0,N)$的值为何。

前述的二次幂不取$k=1$的理由是，$k$为1时$(2)$式不成立。
也就是说，尽管$14=8+4+2$也满足上面的描述，但我期望诸君能暂时将这些数不予考虑，而仅在目前思考那些最小二次幂数为4的数字们。

那么必然有$N=4n$。

若一个数可表示为若干二次幂的加和，且最小二次幂数不低于$2^2$，那么这些数一定能表示为$4n$。

取$N=4n$，则有
$$4n=\sum _{i=1}^n{2}^{a_i}\text{\hspace{1em}(4)}$$
其中， { a i } \{a_i\} {ai​}是一个单调递减的数列且 m i n { a i } ≥ 2 min\{a_i\} \ge 2 min{ai​}≥2。

据(3)(4)可得

$f(0,4n)$

$=f(0,2^{a_1})\oplus f(2^{a_1}+1,2^{a_1}+2^{a_2})\oplus ...\oplus f(2^{a_1}+2^{a_2}+...+2^{a_{n-1}}+1,2^{a_1}+2^{a_2}+...+2^{a_{n-1}}+2^{a_n})$

$=f(0,2^{a_1})\oplus f(0,2^{a_2})\oplus ...\oplus f(0,2^{a_n})$

$={\sum }_{i=1}^n{2}^{a_i}$

$=4n$

当$4n=0$时，显然有$f(0,0)=0$, 所以$f(0,4n)=4n(n\ge 0)$。

---

推导·其二

既得$f(0,4n)=4n$，下面，我们很自然地想到要来计算$f(0,4n+k)(0\le k\le 3)$.

计算如下：
由$4n={\sum }_{i=1}^n{2}^{a_i}(a_i\ge 2)$知$(4n{)}_2=1(...)00$
而$(4n+1{)}_2=1(...)01$
故$f(0,4n+1)=1$
又$(4n+2{)}_2=1(...)10$
故$f(0,4n+2)=1(...)11=4n+3$
故$f(0,4n+3)=0$
于是，
$$\{\begin{array}{l}f(0,4n)=4n\\ f(0,4n+1)=1\\ f(0,4n+2)=4n+3\\ f(0,4n+3)=0\end{array}$$
其中，$n\ge 0$

在上述计算的过程中，这些数的二进制末两位我们必可确定。

---

推导·其三

现在，我们已经知道了如何求得$f(0,x)(x\ge 0)$，那么自然会思考，能不能给定任意两个自然数$x,y$而立即得出$f(x,y)$呢？

可以类比「连续区间代数和」，应当有
$$f(x,y)=f(0,x)\oplus f(0,y)\oplus x(0\le x\le y)$$
或写为
$$f(x,y)=f(0,x-1)\oplus f(0,y)(0<x\le y)$$

需要指出，上下两式并不等价，请诸君留意。

---

后记

诸君览阅至此，余不胜感激。

鄙人才疏学浅，难免纰漏之处，还望阁下不吝赐教。