Codeforces Round #563 (Div. 2) D - Ehab and the Expected XOR Problem （位运算性质，前缀）

🎏 🎏 🎏

1，区间----->单点，通过前缀异或和实现。设a为输出数组，b[i]为a中前i项的异或和。则有 i<=j,a[i] ^ a[i+1] ^ a[i+2] ^ … ^ a[j]=(a[j] ^ a[j-1] ^ … ^ a[1]) ^ (a[i] ^ a[i-1] ^ … ^ a[1])=b[j] ^ b[i-1]。
那我们可以把所有这样的判定都转换成异或前缀和的判定，题目可以转换成构造一个长度最大的数组使得其中任意两数异或和不为0或X。

2，位运算性质应用。要使两个数异或起来不为0，则这两数不相等。我们有观察到n的范围非常小，2的n次方小于等于262144(2的18次方)。

那么我们就可以把它枚举出来了因为对于一个数y，只有一个数z可以与其异或变为x(根据异或的定义，它也满足交换律和结合律。y ^ z = x , x ^ ( y ^ z ) = x ^ x = 0 , x ^ ( y ^ z ) = ( x ^ y ) ^ z = 0 = z ^ z ,则有y ^ x = z ) 。

我们可以通过穷举，选择i，否定i^x。就可以求出最后的前缀数组b，进而通过b的定义求出输出数组a。

#define int ll
signed main()
{
	int n,x;cin>>n>>x;
	vector<int>ans;
	map<int,int>vis;
	ans.push_back(0);
	vis[0]=1,vis[x]=1;//0，x不可选
	for(int i=1;i<(1<<n);++i)	if(vis[i]==0)  vis[i^x]=1,ans.push_back(i);
	cout<<ans.size()-1<<endl;
	for(int i=1;i<ans.size();++i) cout<<(ans[i-1]^ans[i])<<" ";
	cout<<endl;
	return 0;
}