【Codeforces Round 847】E. Vlad and a Pair of Numbers

题目翻译

思路

打表找规律

其实我看了题解才知道还可以这么做（下次就知道了），对于这种数学题，无从下手的时候可以先打表找一找规律，或许就能找到解法。

打表代码：

int main()
{	
	for(int x = 1; x <= 100; x ++)
	{
		for(int a = 1; a < 2 * x; a ++)
		{
			int b = 2 * x - a;
			if(x == (a ^ b)) cout << x << ' ' << a << ' ' << b << endl;
		}
	}
	return 0;
}

运行结果

2 1 3
2 3 1
4 2 6
4 6 2
8 4 12
8 12 4
10 5 15
10 7 13
10 13 7
10 15 5
16 8 24
16 24 8
18 9 27
18 11 25
18 25 11
18 27 9
20 10 30
20 14 26
20 26 14
20 30 10

观察运行结果不难发现，如果存在这样一组数据，则应该满足      == 因此，对于每组输入数据，如果有这样的数据成立，就说明存在，没有则不存在。

在所有输出数据当中，x并没有奇数的数据存在，这点更验证了我们的猜想。

ac代码

int main()
{	
	int t;
	scanf("%d", &t);
	while(t --)
	{
		int x;
		scanf("%d", &x);
		int a = x / 2, b = 2 * x - a;
		if((a ^ b) == x) printf("%d %d\n", a, b);
		else printf("-1\n");
	}
}

构造证明

可以先构造, ,此时结果为 ,然后我们需要的是在不改变的结果的前提下，将变为,最好想的方法就是将  和  二进制表示为0的位置都变成1， 此时异或结果不变，且  和 都得到扩大，按照这个思路，应该将  和  都扩大，但注意，加上的的每一位的1都只能替换  或 相应位置的0，即如果  或 在该位置原本为1，则无法替换。