Codeforces Round 682 (Div. 2)D. Powerful Ksenia（位运算，构造）

原题链接:D. Powerful Ksenia
题目大意:
给你一个由 n个数字组成的数组 a，每次操作是选三个不同的下标 i,j,k,让a_i,a_j,a_k都变成a_i⊕a_j⊕a_k,判断是否能在 n 次操作内，使这 n 个正整数的值变成相同的.
若能，第一行输出YES，第二行输出 m 表示操作次数，接下来 m 行每行三个整数，描述一次操作；
若不能，输出NO.
数据范围：3≤n≤10⁵，1≤a_i≤10⁹，0≤m≤n
解题思路：
一.当n为偶数时，由于操作后要使所有的数相等，所以所有数的异或和的结果为0，若异或和结果不为0，则直接输出NO
二.当n为奇数时，假设n为5时，原数组为[a,b,c,d,e],可以采取以下步骤构造，[a,b,c,d,e] -> [x,x,x,d,e] -> [x,x,y,y,y],此时由于x⊕x⊕y=y，可以选择索引1，2，5操作，使得所有数相等
把n扩大，可以先第一轮把数组构造成为[a,a,b,b,c,c, … ,y,y,z,z,z] 的形式，操作次数为(n-1)/2次，然后选择索引 i,i+1,n操作，每隔两个数操作一次，即可把所有数字变为相同，操作次数为(n-3)/2,
总操作次数为（n-2）

cout<<n-2<<'\n';
for(int i=1;i<=n-2;i+=2) cout<<i<<" "<<i+1<<" "<<i+2<<'\n';
for(int i=1;i<=n-4;i+=2) cout<<i<<" "<<i+1<<" "<<n<<'\n';

三：n为偶数有解时,可以先对前面n-1个数进行操作，把数组构造成[a,a,b,b,c,c,c,e]的形式，操作次数为（n-2）/2 次，然后同奇数把前n-1个数操作成相同的数，操作次数为(n-4)/2次，因为此时有解，所以此时最后一个数一定与前面n-1个数相等，不用考虑
总操作次数为(n-3)次

n--;
cout<<"YES"<<'\n';
cout<<n-2<<'\n';
for(int i=1;i<=n-2;i+=2) cout<<i<<" "<<i+1<<" "<<i+2<<'\n';
for(int i=1;i<=n-4;i+=2) cout<<i<<" "<<i+1<<" "<<n<<'\n';

AC代码：

#include<bits/stdc++.h>
using namespace std;
#define int long long 
int a[200005]; 
void solve()
{
	int n;
	cin>>n;
	for(int i=1;i<=n;i++)cin>>a[i];
	if(n&1)
	{
		cout<<"YES"<<'\n';
		cout<<n-2<<'\n';
		for(int i=1;i<=n-2;i+=2) cout<<i<<" "<<i+1<<" "<<i+2<<'\n';
		for(int i=1;i<=n-4;i+=2) cout<<i<<" "<<i+1<<" "<<n<<'\n';
	}
	else
	{
		int sum=0;
		for(int i=1;i<=n;i++)sum^=a[i];
		//判断异或和是否为0
		if(sum!=0)
		{
			cout<<"NO"<<'\n';
			return;
		}
		else
		{
			n--;
			cout<<"YES"<<'\n';
			cout<<n-2<<'\n';
			for(int i=1;i<=n-2;i+=2) cout<<i<<" "<<i+1<<" "<<i+2<<'\n';
			for(int i=1;i<=n-4;i+=2) cout<<i<<" "<<i+1<<" "<<n<<'\n';
		}
	}
}
signed main(){
	int t=1;
	//cin>>t;
	while(t--)solve();
	return 0;
}