【数学】异或（jzoj 2298）

最新推荐文章于 2020-11-04 10:02:24 发布

ssllyf

最新推荐文章于 2020-11-04 10:02:24 发布

阅读量409

点赞数

分类专栏：数学&数论文章标签：数学 jzoj

本文链接：https://blog.csdn.net/ssllyf/article/details/98989106

版权

数学&数论专栏收录该内容

28 篇文章 0 订阅

订阅专栏

异或

jzoj 2298

题目大意：

定义 $n b$ 数对 $a, b$ 为 $gcd(a,b)=a^b$ 的数对，问不大于 $n$ 的 $n b$ 数对有多少对

输入样例#1

输出样例#1

输入样例#2

输出样例#2

数据范围

测试点	数据规模
1	10
2	100
3	1000
4	5000
5	10000
6	100000
7	500000
8	1000000
9	5000000
10	20000000

解题思路：

我们第一个想到的就是暴力枚举每一个数对，然后判断，时间复杂度 $o(n^2log_n)$ 会TLE
因为 $a\ xor\ b=c$ ，则 $a\ xor\ c=b$ ，所以我们可以枚举c，然后在枚举a是c的几倍，然后用公式求出b，然后再求gcd，判断是否和c一样，时间复杂度 $o(n(log_n)^2)$ ,也会TLE
我们可以经过证明得知b=a-c
证明：
首先 $a-b\leqslant a\ xor\ b$
我们距离两个二进制数：
$10110$
$11000$
他们相减是 $2$
$x o r$ 是14
我们可以发现 $x o r$ 是不同位的和
而相减是加某些不同位，再减某些不同位，最大就是所有不同位加，也不大于 $x o r$
所以 $a-b\leqslant a\ xor\ b$
然后我们可以发现 $a-b\leqslant c$
我们也列两个例子:
$a = 12$
$b = 9$
$c = 3$
我们设 $a s = a / c = 4$
$b s = b / c = 3$
因为a,b都是c的倍数，所以 $a - b = a s * c - b s * c = (a s - b s) * c$
因为 $a$ 不等于 $b$
所以 $as-bs\geqslant 1$
所以 $(as-bs)*c\geqslant c$
所以 $a-b\geqslant c$
假设存在 $c < a - b$
则 $c<a-b\leqslant a\ xor\ b$
不满足 $c=a\ xor\ b$
所以 $c = a - b$
所以 $b = a - c$
因此 $g c d （ a, b ） = g c d (a, a - c) = c$
所以我们只需判断是否有 $c=a\ xor \ b$ 即可

代码：

#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;//求出a
			b=a-i;//相减得到b
			if (i==(a^b))//判断c是否等于a^b
				ans++;
		}
	printf("%d",ans);
}