【原创】UOJ 350 新年的XOR

新年的XOR

题目描述

在动物行为学中，Alpha对应动物群体中等级最高的个体，简而言之，就是人赢，那么AlphaGo自然就是人赢狗了。

但是狗群中还有众多的SingleDog，平日里他们和AlphaGo和谐相处，忍受着酸臭味自得其乐的活下去。但在2月14日这天，当AlphaGo在SingleDog们最后的防线——朋友圈秀恩爱的时候，他们实在按耐不住，决定密谋用FFF团的黑暗力量，打败AlphaGo。

但是AlphaGo的智商很高，很快便拦截了SingleDog们传输消息的异或值。为了让AlphaGo相信，SingleDog们只是在数朋友圈里的狗粮数，你，勇敢无畏的跳蚤，决定编造一个弥天大谎。

AlphaGo截获的是一个整数 $n$，你需要构造一个长度大于 $1$ 的区间 $[L,R]$使得区间中所有整数的异或和恰好为 $n$。

输入格式

第一行输入一个整数 $t$ 表示数据组数。

接下来 $t$ 行每行一个整数$n$。

输出格式

每组数据输出两个空格隔开的整数 $L,R$，表示你构造的区间。要求 $1\le L<R\le 10^{1}8$。

输入保证存在这样的区间。

样例

input

3
0
4
12

output

8 67
97 100
87 90

限制与约定

测试点编号	$n$的规模	其他
1,2	$n\le 100$	无
3,4	$n\le 2\times 10^3$	无
5,6	$n\le 10^6$	无
7,8	$n\le 10^{18}$	存在$\Vert R-n\Vert \le 100$的合法解
9,10	$n\le 10^{18}$	无

对于 $100$ 的数据，$n\ge 0,1\le t\le 100$、
时间限制：$1s$
空间限制：$256MB$

分析

一点一点来。
我们可以枚举区间，然后暴力求异或和。$\Theta (n^3)$。
我们可以求前缀异或和，于是枚举对于每个区间就可以$\Theta (1)$计算异或和了，$\Theta (n^2)$。
于是我们想到用个桶之类的东西，一边求前缀异或和，一边存对于每个异或前缀和值在哪个位置出现过了，如果$S[i]\oplus n$已经出现了，就找到了。
因为$a\oplus b=c⟺a\oplus c=b$，而我们求前缀异或和（记$S[x]$为1~x的前缀异或和）$n=S[r]\oplus S[l-1]$就$⟺S[l-1]=S[r]\oplus n$了。
于是现在优化到了$\Theta (n)$。

---

打了个表发现惊奇的规律，$\{\begin{array}{l}n\%4=0时，S[n]=n。\\ n\%4=1时，S[n]=1。\\ n\%4=2时，S[n]=n+1。\\ n\%4=3时，S[n]=0。\end{array}$
这也非常容易证明，因为$(2k)\oplus (2k+1)=1$，如果n是奇数，后面的若干对奇偶双双异或起来，都抵消成了1，总共$\frac{n-1}{2}$个，然后把这些个1和最前头的孤单的1异或起来，就得到了$S[n]=\frac{n+1}{2}个1的异或和=\frac{n+1}{2}\&1$；如果n是偶数，你既可以把后面的若干对奇偶双双异或起来再异或起1和2，也可以$S[n]=S[n-1]\oplus n$，所以$S[n]=n+(\frac{n+1}{2}\&1)$。
（去年的NOIp2030模拟赛用了这个结论但没有证明，看来我比去年强了一些。）
（因为去年是N合1，这个东西不是重点）
P.S.：
$(2k)\oplus (2k-1)\ne 1$
$S[5]=1\oplus 2\oplus 3\oplus 4\oplus 5=1\oplus (2\oplus 3)\oplus (4\oplus 5)=1\oplus 1\oplus 1=1$
$S[6]=S[5]\oplus 6=1\oplus 2\oplus 3\oplus 4\oplus 5\oplus 6=1\oplus (2\oplus 3)\oplus (4\oplus 5)\oplus 6=1\oplus 6=7$

---

这个结论有什么用呢？
如果$n\%4=0$，那就输出[1,n]；
如果$n\%4=2$，那就输出[2,n]；
如果$n\%4=3$，那就输出[1,n-1]；
如果$n\%4=1$，因为$S[n-1]=n-1=S[n-4]\oplus (n-3)\oplus (n-2)\oplus (n-1)=1\oplus (n-3)\oplus (n-2)\oplus (n-1)$，于是发现$(n-3)\oplus (n-2)\oplus (n-1)=n$，所以输出[n-3,n-1]。
（$(n-3)\oplus (n-2)\oplus (n-1)=偶\oplus 奇\oplus 偶=奇，奇\oplus 1=奇-1$）。

然后对于0、1、2特判一下。
于是A了。

翻了翻排名前几（十）名的代码，发现他们都是对于n是奇数输出$[n-3,n-1]$，对于n是偶数输出$[n-4,n]$，然后特判0~4。
也是对的，挺好证明，可以按照n%4的余数分类，每一类就用上面的结论就好了。

代码

#include<cstdio>
#include<iostream>
using namespace std;

long long T,n;
int main()
{
	cin>>T;
	while(T--)
	{
		cin>>n;
		if(n==1) puts("2 3");
		else if(n==0) puts("1 3");
		else if(n==2) puts("3 5");
		else if(n%4==0) cout<<1<<" "<<n<<endl;
		else if(n%4==2) cout<<2<<" "<<n<<endl;
		else if(n%4==3) cout<<1<<" "<<n-1<<endl;
		else cout<<n-3<<" "<<n-1<<endl;
	}
}