看完题解之后懂了一点,写一下自己的理解。
首先审题,随意两个相邻的数取异或,异或得到的值取代原来的两个值,要求最终得到的数组里的值都相等,元素个数大于等于2.
思路:
首先要知道前缀和是什么:
那数学中的数组来打比方,a[n]代表一个数组,s[n]代表a[n]的前n项和,那么前缀和就是:s[1]+s[2]+s[3]+…+s[n]。
那么把这个式子中的‘+’改成‘^’就变成的异或前缀和。
分两种情况:
第一种:最终结果为刚好两个数,根据异或性质可以知道,两个相等的数异或后为0,所以只要判断数组异或和是否为0即可,为0,则说明这个数组最终可以变成只有两个数,且这两个数相等。
第二种:最终结果为三个相等的数,这种情况麻烦一点,根据异或的性质,三个相等的数a的异或和为a,那么这种情况该怎么判断呢?
既然是最终为三个数,那么我们就可以看作是将给出的数组分成三个区间,三个段,这三个区间(段)分别取异或和,这里就需要用到异或前缀和,设a=b=c,取前缀s[i],s[j],s[n],
那么
s[ i ]=a ,s[ j ]=a ^ b, s[ n ]=a ^ b ^ c,
s[ i ]=s[ i ] ^ s[ j ]=a ^ a ^ b=b; //即a=b;
s[ i ]=s[ j ] ^ s[ n ]=a ^ b ^ a ^ b ^ c=c;//即a=c;
借助这个性质,我们就可以将给定的数组以i,j,n为界限,分成:1-i,i-j,j-n 三组,这三组分别取异或和后,如果三个值相等,则说明满足条件,即能够通过异或得到最终三个相等的数。
举个例子:
1 2 3 4 5
s[ i ] = 1 , 2
s[ j ] =1 , 2 , 3 , 4
s[ n ] = 1, 2 , 3 , 4 , 5
s[ i ] = s[ i ] ^ s[ j ]
即判断 1,2 的异或 = 3,4 的异或
s[ i ] = s[ j ] ^ s[ n ]
即判断 1,2 的异或 = 5
可以看出: 1,2为第一段,3,4为第二段,5为第三段。
这只是这个数组分为三段的其中一种情况,不一定能满足这三段分别取异或后能相等,所以需要一个双重循环来遍历出所有可能的分段情况。
代码实现:
#include<iostream>
using namespace std;
int m;
int b[2020];
int a[2020];
int main()
{
int n;
cin>>n;
while(n--)
{
cin>>m;
int sum=0;
for(int i=1;i<=m;i++)
{
cin>>a[i];
sum^=a[i];
b[i]=b[i-1]^a[i];
}
if(sum==0){
cout<<"YES"<<endl;
continue;
}
int flag=0;
for(int i=1;i<=m;i++)
{
for(int j=i+1;j<=m;j++)
{
if(b[i]==(b[i]^b[j])&&b[i]==(b[j]^b[m]))
{
cout<<"YES"<<endl;
flag=1;
break;
}
}
if(flag==1)break;
}
if(flag!=1)cout<<"NO"<<endl;
}
return 0;
}