異或

jzoj 2298

題目大意：

定義$nb$數對$a,b$為$gcd(a,b)=a^b$的數對，問不大于$n$的$nb$數對有多少對

輸入樣例#1

12

輸出樣例#1

8

輸入樣例#2

123456

輸出樣例#2

214394

數據范圍

測試點數據規模

1	10
2	100
3	1000
4	5000
5	10000
6	100000
7	500000
8	1000000
9	5000000
10	20000000

解題思路：

我們第一個想到的就是暴力枚舉每一個數對，然后判斷，時間復雜度$o(n^{2}lo{g}_n)$會TLE
因為$axorb=c$，則$axorc=b$，所以我們可以枚舉c，然后在枚舉a是c的幾倍，然后用公式求出b，然后再求gcd，判斷是否和c一樣，時間復雜度$o(n(lo{g}_n{)}^2)$,也會TLE
我們可以經過證明得知b=a-c
證明：
首先$a?b?axorb$
我們距離兩個二進制數：
$10110$
$11000$
他們相減是$2$
$xor$是14
我們可以發現$xor$是不同位的和
而相減是加某些不同位，再減某些不同位，最大就是所有不同位加，也不大于$xor$
所以$a?b?axorb$
然后我們可以發現$a?b?c$
我們也列兩個例子:
$a=12$
$b=9$
$c=3$
我們設$as=a/c=4$
$bs=b/c=3$
因為a,b都是c的倍數，所以$a?b=as?c?bs?c=(as?bs)?c$
因為$a$不等于$b$
所以$as?bs?1$
所以$(as?bs)?c?c$
所以$a?b?c$
假設存在$c<a?b$
則$c<a?b?axorb$
不滿足$c=axorb$
所以$c=a?b$
所以$b=a?c$
因此$gcd（a,b）=gcd(a,a?c)=c$
所以我們只需判斷是否有$c=axorb$即可

代碼：

#include<cstdio> using namespace std; int n,a,b,ans; int main() {scanf("%d",&n);for (int i=1;i<=(n>>1);++i)for (int j=2;i*j<=n;++j){a=i*j;//求出ab=a-i;//相減得到bif (i==(a^b))//判斷c是否等于a^bans++;}printf("%d",ans); }

總結

以上是生活随笔為你收集整理的【数学】异或（jzoj 2298）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。