UVA12716 GCD等于XOR GCD XOR 题解

题目传送门

题目大意： 给出 $n$，求${\sum }_{1\le b\le a\le n}[\gcd (a,b)=axorb]$。

题解

有一个很重要的性质：当满足 $\gcd (a,b)=axorb$ 时，有 $\gcd (a,b)=axorb=a-b$

证明

首先证明 $axorb\ge a-b$。

考虑将$a,b$转成二进制。

分类讨论：

1. 假如满足$a_i=b_i(a_i,b_i指a的第i位和b的第i位)$，那么这一位显然满足$axorb=a-b$。
2. 假如满足$a_i\ne b_i$，那么有两种情况：
   1、$a_i=1,b_i=0$，那么这种情况显然也满足$axorb=a-b$。
   2、$a_i=0,b_i=1$，那么这种情况满足$axorb>a-b$。

综上，$axorb\ge a-b$。

得证。

然后证明 $axorb=a-b$。

设$c=\gcd (a,b)=axorb$

$\because axorb\ge a-b$
$\therefore a-b\le c$
$\because c=\gcd (a,b)=gcd(a-b,b)$
$\therefore a-b\ge c$
$\therefore a-b=c$
$\therefore a-b=axorb=\gcd (a,b)$

得证

于是可以将 $\gcd (a,b)=axorb$ 这个限制拆开成$\gcd (a,b)=a-b\wedge axorb=a-b$这两个限制，因为$\gcd (a,b)=a-b$移项得$b+gcd(a,b)=a$，$b$一定是$\gcd (a,b)$的倍数，于是就可以枚举$\gcd (a,b)$和$b$，然后判断是否满足$axorb=a-b$即可。

可以证明该做法时间复杂度严格小于$O(nlogn)$，然后题目也很良心给了$5s$，所以完美AC。

代码如下：

#include <cstdio>
#include <cstring>
#define maxn 30000010
#define ll long long

int t,n;
ll f[maxn];
int lowbit(int x){return x&(-x);}

int main()
{
	for(int i=1;i<=maxn-10;i++)//枚举gcd
	for(int j=2;j*i+i<=maxn-10;j++)//枚举b,(i*j)等于b，(i*j+i)等于a
	if(((i*j)^i)==i*j+i)f[i*j+i]++;
	for(int i=1;i<=maxn-10;i++)//统计前缀和，这样可以O(1)出解
	f[i]+=f[i-1];
	scanf("%d",&t);
	int tot=0;
	while(t--)
	{
		tot++;
		scanf("%d",&n);
		printf("Case %d: %lld\n",tot,f[n]);
	}
}