【CF1747D】Yet Another Problem【位运算，思维】

分析

题面有两个关键词：“异或”和“奇数”。

要按位来考虑吗？还是利用异或操作的特性？为什么要求操作区间的长度是“奇数”？ 1次操作后区间中某一段变成了相同的数字，那么再对它们异或一次，不就变成全0（当长度为偶数时）或者保持不变（当长度为奇数）吗？

原来当$R-L+1$和 $r-l+1$（两个区间的长度）为偶数的时候，我们只需要2次操作就可以将所有数字变成0。如果所有数字本身异或结果就是0，那就只需要1次操作。如果所有数字本身是0，那就需要0次操作。

题目设置区间长度为奇数，必然有更多含义。

下面推理无解情况与清零方案

结论：如果满足上述条件，总有可能在小于或等于2次运算中使所有元素都为0。

解法

对同一个奇数长度区间无论进行多少次操作，其异或和都不会改变，所以如果询问的区间长度为奇数，那其实很好判断；
但如果询问的区间长度为偶数，可以想到应该是将其分为两奇数长度区间，然后分别进行操作使其为0。

所以现在问题就是对于偶数区间找一个断点，然后判断断点两侧是否异或起来都为0。

具体实现就是先求下整个偶数区间的异或和，如果非0那说明一定无解。
如果为0的话只需要找到一个区间 $[l,i]$ 或者一个区间 $[i,r]$ 异或和为0即可。
这里找的是$[i,r]$异或和为0的情况，只需要map维护一下每个位置左侧第一个异或值相同的位置，就可以O(1)判断$[i,r]$异或和为0是否存在了。
(此处参考CCloth的博客，原文链接：CF1747D）

上代码

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<map>
using namespace std;
 
int n,m,a[200010],x[200010],s[200010],L[200010];
map<int,int> mpL0, mpL1;
 
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&a[i]);
		x[i]=x[i-1]^a[i];//异或前缀和 
		s[i]=s[i-1]+a[i];//前缀和 
	}
	for(int i=1;i<=n;i++)
	{
		if(i&1)
		{
			L[i]=mpL0[x[i]];
			mpL1[x[i]]=i;
		}	
		else
		{			
			L[i]=mpL1[x[i]];
			mpL0[x[i]]=i;
		}
	}
	for(int i=1;i<=m; i++)
	{
		int l,r;
		scanf("%d%d",&l,&r);
		if(x[r]^x[l-1])
		{
			puts("-1");
			continue;
		}
		if((r-l+1)%2==1)
		{
			if(s[r]-s[l-1]==0) puts("0");
			else puts("1");
		}
		else
		{
			if(s[r]-s[l-1] == 0) puts("0");
			else if(L[r]>=l)
			{
				if(s[r]-s[L[r]]==0||a[l]==0) puts("1");
				else puts("2");
			}
			else puts("-1");
		}
	}
	return 0;
}