[51nod异或约数和] 整除分块+打表找规律

• emm。首先我想到一个$n\ast lo{g}_{2}n$的算法，就是对于每一个数，枚举它的倍数，然后筛一下。35分get。
• 诶，在计算总答案的公式中，一个数被异或的时候，肯定是被作为约数的时候。那么一个数被异或的次数肯定是$\frac{n}{i}$。如果为奇数，就把它异或上，不然就不管。$O(n)$算法，45分美滋滋。
• 嗯？$\frac{n}{i}？$整除分块搞一下是不是就$\sqrt{n}$了啊。哦，但是它好像涉及到一个求连续区间的异或和问题，我们需要$O(1)$。转化一下，$l到r$的区间异或和等于$1$到$l-1$的异或和^$1$到$r$的异或和。从1到n的异或和怎么$O(1)$求？打表找规律！
• 设$f(n)$为1到n的异或和，则：
  $$if(nmod4=1),f(n)=1$$
  $$if(nmod4=2),f(n)=n+1$$
  $$if(nmod4=3),f(n)=0$$
  $$if(nmod4=0),f(n)=n$$
• 盗一下某人的证明：
  证明：

我们先来考虑$f(2^k,2^{k+1}-1)$

从$2^k$到$2^{k+1}-1$这$2^k$个数，最高位的一个数为$2^k$；

若有$k>=1$,则$2^k$为偶数，将这$2^k$个数的最高位去掉，异或和不变

因此$f(2^k,2^{k+1}-1)=f(2^k-2^k,2^{k+1}-2^k-1)=f(0,2^k-1)$

因而存在$f(0,2^{k+1}-1)=f(0,2^k-1)xorf(2^k,2^{k+1}-1)=0$

即$f(0,2^k-1)=0$

对于$，f(0,n)，n\ge 4$设n二进制表示的最高位1在第k位k>=2;

$f(0,n)=f(0,2^k-1)xorf(2^k,n)=f(2^k,n)$

对于$2^k$到$n$这$n-2^k+1$个数，最高位共有$m=n-2^k+1$个1，去除最高位的1

当n为奇数时，m为偶数此时有$f(0,n)=f(2^k,n)=f(0,n-2^k)|2^k$

由于$n-2^k$与n奇偶性相同，递推上面的公式可得$f(0,n)=f(0,n-2^k-2^{k-1}-2^{k-2}\cdots -2^2)=f(0,n\%4)$

当$n\%4=1$时$f(0,n)=f(0,1)=1$

当$n\%4=3$时$f(0,n)=f(0,3)=0$

当n为偶数时，m为奇数，因而$f(0,n)=f(2^k,n)=f(0,n-2^k)xor{2}^k$

也相当于最高位不变，递推公式可得

$f(0,n)=f(0,n\%4)xor{2}^{k}xor$ $n[k]\ast 2^k-1xor\cdots$ $n[2]\ast 2^2$

n[k]表示n的二进制表示的第k位

显然当n为偶数时 $f(0,n)$的二进制从最高位到第3位和n的二进制表示相同

此时我们只需要判断第二位

当$n\%4=0$时$f(0,n)=n$

当$n\%4=2$时$f(0,n)=n+1$

综上所述：

$$f(0,n)=f(1,n)\{\begin{array}{l}nn\%4=0\\ 1n\%4=1\\ n+1n\%4=2\\ 0n\%4=3\end{array}$$