Codeforces Round #682 (Div. 2) Powerful Ksenia

题意：
给出一个长度为n的数组a，每次可以选择三个下标 i j k，令ai=aj=ak=ai⊕aj⊕ak,⊕为异或，最多进行n次操作，问是否存在方案使得最后数组每个数都相等。
题解：
不难发现：x x y 异或会变成 y y y
先考虑n为奇数：
可以有a b c d e->x x x d e->x x y y y->y y y y y
因此对于奇数答案一定存在。
再考虑偶数：
我们可以先对前 n-1 个数 按照奇数那样操作，还剩下一个数，若这个数等于前n-1个数，那么答案存在，否则不存在，为什么呢？
若不相等，n-1又为奇数，那么我们不管怎么操作，都会剩一个数不相等。并且在一开始即便不选择前n-1个，选择其他n-1个数，情况也是一样的。
代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#include<map>
#include<stack>
#include<set>
#define iss ios::sync_with_stdio(false)
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
typedef pair<int ,int > pii;
const int MAXN=1e5+5;
const int mod=998244353;
int a[MAXN];
void solve(int n)
{
    n--;
    printf("%d\n",(n-3)/2+1+(n-3)/2);
    printf("%d %d %d\n",1,2,3);
    int pos=3;
    for(int i=1;i<=(n-3)/2;i++)
    {
        printf("%d %d %d\n",pos,pos+1,pos+2);
        pos=pos+2;
    }
    pos=n-2;
    for(int i=1;i<=(n-3)/2;i++)
    {
        printf("%d %d %d\n",pos-2,pos-1,pos);
        pos=pos-2;
    }
}
int main()
{
    int n;
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        scanf("%d",&a[i]);
    }
    if(n&1)
    {
        printf("YES\n");
        printf("%d\n",(n-3)/2+1+(n-3)/2);
        printf("%d %d %d\n",1,2,3);
        int pos=3;
        for(int i=1;i<=(n-3)/2;i++)
        {
            printf("%d %d %d\n",pos,pos+1,pos+2);
            pos=pos+2;
        }
        pos=n-2;
        for(int i=1;i<=(n-3)/2;i++)
        {
            printf("%d %d %d\n",pos-2,pos-1,pos);
            pos=pos-2;
        }
    }
    else
    {
        int sum=0;
        for(int i=2;i<=n;i++)
        {
            sum=sum^a[i];
        }
        if(a[1]!=sum)
        {
            printf("NO\n");
        }
        else
        {
            printf("YES\n");
            solve(n);
        }
    }
}