Codeforces Round #742 (Div. 2) B. MEXor Mixup（异或性质）

题目链接

题目大意：

构造一个非负数的数组，使得数组中最小的不属于这个数组的非负数（MEX）为 $a$，数组中所有数的异或值等于 $b$，输出构造的这个数组的最短长度

解题思路：

根据第一个条件，很容易能够想到从 0~ $(a-1)$ 构造，然后避免数组中出现 $a$ 。
假设前a项的异或值等于 $sum$
如果 $sum==b$ ,那么数组构造结束；如果不等于，就得再凑其他数，此时要知道异或的一个性质：
$A\oplus B=C,则有A\oplus C=B,B\oplus C=A$
所以，如果 $sum$ 要异或 $a$ 才能等于 $b$，那么就得找另外两个数使它们异或值等于$a$；如果 $sum$ 异或其他值等于 $b$，那么直接加上该值就行了。

代码：

#include <bits/stdc++.h>
#include <iostream>
#include <string.h>
#include <algorithm>
#define ll long long
#define qc ios::sync_with_stdio(false); cin.tie(0);cout.tie(0)
using namespace std;
const int MAXN = 3e5 + 7;
const int inf = 0x3f3f3f3f;
const ll INF = 0x3f3f3f3f3f3f3f3f;
int n,a,b,t;
int pre[MAXN];

int main()
{
	qc;
	cin>>t;
	for(int i=1;i<MAXN;i++)
		pre[i]=pre[i-1]^i;
	while(t--)
	{
		cin>>a>>b;
		if(pre[a-1]==b)
			cout<<a<<endl;
		else if((pre[a-1]^b) == a)
			cout<<a+2<<endl;
		else
			cout<<a+1<<endl;
	}
	return 0;
}