题目大意是每次在数组a中取3个数 使这3个数都变为 ai ^ (ai + 1) ^ (ai + 2)
首先知道^是相同位为0 不同位为 1 所以数相等的时候 异或为0;
所以三个数中 有两个异或为 0 那必然三个数都等于第三个数;
解题思路:
每三个数相乘就可以获得3个相同的数;
当n & 1 == 1的时候即可这样处理
此时发现数组变程了XXYYY x有偶数个 所以可以变成YYYYY
所以当n & 1 == 1是铁定 YES 的;
当n & 1 == 0的时候
必有一个数是单个的所以必须这个数要和其他数最后组成的异或和要想等
n为偶数的时候
由于一个性质
他们总体的每个进制位的奇偶性是不会变的 所以不管怎么变 a1 ^ a2 ^ a3 …^ an = k 这个 k是不会变的 所以只有当k为0时 这个才存在;
#include<iostream>
using namespace std;
const int N = 1e5 + 10;
int a[N];
int main(){
int n;
cin >> n;
int sum = 0;
for(int i = 1; i <= n; i++){
cin >> a[i];
sum ^= a[i];
}
if(n == 3){
cout << "YES" << endl;
cout << 1 << endl;
cout << 1 << " " << 2 << " " << 3 << endl;
return 0;
}
if(n == 4){
if(sum != 0){
cout << "NO" << endl;
}else{
cout << "YES" << endl;
cout << 1 << endl;
cout << 1 << " " << 2 << " " << 3 << endl;
}
return 0;
}
if(n & 1){
cout << "YES" << endl;
cout << (n - 1) << endl;
for(int i = 1; i <= n - 1; i += 2){
cout << i << " " << i + 1 << " " << i + 2 << endl;
}
for(int i = 1; i <= n - 1; i += 2){
cout << i << " " << i + 1 << " " << n << endl;
}
}else{
if(sum != 0){
cout << "NO" << endl;
}else{
cout << "YES" << endl;
cout << n - 2 << endl;
for(int i = 1; i <= n - 2; i += 2){
cout << i << " " << i + 1 << " " << i + 2 << endl;
}
for(int i = 1; i <= n - 2; i += 2){
cout << i << " " << i + 1 << " " << n << endl;
}
}
}
return 0;
}