码迷,mamicode.com
首页 > 其他好文 > 详细

连续数字异或和

时间:2018-03-23 19:57:13      阅读:326      评论:0      收藏:0      [点我收藏+]

标签:去掉   区间   span   lin   post   推导   inline   lock   表示   

求[1,n]所有数的异或和

如果加以打表,我们会发现其异或和有一定的规律

我们设f(x,y)表示区间[x,y]的异或和
那么有
对于k>=1
\(f(2^k,2^{k + 1} - 1)\)中,最高位\(2^k\)的1出现了\(2^k\)次,异或和为0,所以最高位可以去掉
\(f(2^k,2^{k + 1} - 1) = f(2^k - 2^k,2^{k + 1} - 1 - 2^k) = f(0,2 ^ k - 1)\)
所以
\(f(0,2^{k + 1} - 1) = f(0,2^k - 1) Xor f(2^k,2^{k + 1} - 1) = 0\)

由此,对于所有\(k>=2\),有\(f(0,2^k - 1) = 0\)
所以,对于\(f(0,n)\),设其最高位为\(2^k\)
那么\(f(0,n) = f(0,2^k - 1) Xor f(2^k,n) = f(2^k,n)\)
\([2^k,n]\)中,最高位出现的次数取决与n的奇偶

1、若n为奇数,那么最高位出现了\(n + 1\)次为偶数,可以去掉
\(f(2^k,n) = f(0,n - 2^k)\),可以发现\(n - 2^k\)与n具有相同的奇偶性,可以利用同样的推导去掉
最后\(f(0,n)\)的就取决于<4的部分,即mod 4后的异或和

那么我们有:
如果n为奇数
\(n \equiv 1 \pmod{4}\)\(f(0,n) = 1\)
\(n \equiv 3 \pmod{4}\)\(f(0,n) = 0\)

2、若n为偶数,那么最高位出现了\(n + 1\)次为奇数,一定可以保留
同样的,\(f(2^k,n) = f(0,n - 2^k)\),可以发现\(n - 2^k\)与n具有相同的奇偶性,可以利用同样的推导去掉
最后\(f(0,n)\)的后两位就取决于<4的部分

那么我们有:
如果n为偶数
\(n \equiv 0 \pmod{4}\)\(f(0,n) = n\)
\(n \equiv 2 \pmod{4}\)\(f(0,n) = n + 1\)

这样,我们就get了一个\(O(1)\)求连续数字异或和的方法

\(n \equiv 0 \pmod{4}\)\(f(0,n) = n\)
\(n \equiv 1 \pmod{4}\)\(f(0,n) = 1\)
\(n \equiv 2 \pmod{4}\)\(f(0,n) = n + 1\)
\(n \equiv 3 \pmod{4}\)\(f(0,n) = 0\)

连续数字异或和

标签:去掉   区间   span   lin   post   推导   inline   lock   表示   

原文地址:https://www.cnblogs.com/Mychael/p/8633365.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!