CF - G. Even-Odd XOR（异或，构造）

https://codeforces.com/problemset/problem/1722/G

题意
给定一个长度 n，构造长度为 n 的数列，满足：

• n 个位置上的数 a[i] 各不相同，$a[i]<2^{31}$；
• 所有奇数位置的异或和 = 所有偶数位置的异或和。

$3\le n\le 2\cdot 10^5$

思路
需要推出来结论：
如果奇数位置的异或和 = 偶数位置的异或和，那么所有位置的异或和为 0。

因为两个数只有相等时，异或值才能为 0，而奇数位置异或和 = 偶数位置异或和，所以两者再异或就是 0 了，即所有位置异或和为 0。

反过来同样成立，如果所有位置异或和为 0 了，那么其奇数位置的异或和 = 偶数位置的异或和。
证明：所有数异或和为 0 了，说明每种数都出现了偶数次。假设都出现了两次。那么对于一种数来说，如果一个在偶数位置，一个在奇数位置，那么正好；如果都在奇数位置或者都在偶数位置，那么异或值为 0，不用考虑这个数。所以最后奇数位置的异或值一定和偶数位置的异或值相同。

那么题目就转化为，构造一个数列，使得所有数的异或和为 0。

可以将前 n-1 个数随便放不同的数，然后最后一个位置放上前 n-1 个数的异或和。这样前 n-1 个数的异或和异或上其本身，刚好为 0。
但是还要注意一个问题，前 n-1 个数的异或和 sum 是否在前 n-1 个数中出现过。

为了解决这个问题，可以将第 n-1 个位置设置一个很大的数，比如 2^30，前面的数都设置成其位置 i，这样保证前 n-2 个位置的第 30 位始终不被占用，然后异或上 2^30 就能保证前 n-1 位置的异或和 sum 在前 n-2 个位置没有出现过。

然后进一步考虑前 n-1 的异或和 sum 可能与第 n-1 位相同，即等于 2^30，也就是前 n-2 位异或和为 0。当出现这种情况的时候，把第 n-2 位置上的数换成别的没出现的数，就行了，前 n-2 位异或和就不是 0 了。

Code

#include<bits/stdc++.h>
using namespace std;

#define Ios ios::sync_with_stdio(false),cin.tie(0)
#define int long long

const int N = 200010, mod = 1e9+7;
int T, n, m;
int a[N];

signed main(){
	Ios;
	
	cin >> T;
	while(T--)
	{
		cin >> n;
		
		vector<int> v;
		
		int sum = 0;
		for(int i=1;i<=n-3;i++)
		{
			v.push_back(i);
			sum ^= i;
		}
		if((sum ^ n - 2) == 0) sum ^= n - 1, v.push_back(n - 1);
		else sum ^= n - 2, v.push_back(n - 2);
		
		v.push_back(1<<30);
		sum ^= 1<<30;
		
		v.push_back(sum);
		
		for(int x : v) cout << x << ' ';
		cout << endl;
	}
	
	return 0;
}