解析

你CF还是你CF

省选刷到2017再往前不是很想做了，就来CF玩一玩。
再次感受到被CF浅颜色构造虐的快感。
本题靠着各种乱搞特判在WA了无数次之后艹过去了。
根本没有什么正确性的玄学做法，但是看CF数据似乎把 $n$ 较小的所有情况全都pia到数据里了，小数据全都能正确，这题大数据也没有什么hack的优势，那它可能真的是对的…

还是来看看优美简洁的正解吧。
不难发现操作前后异或和不变，因此如果整体异或和为1必然无解。
考虑奇数怎么做。
分别对 $(n-2,n),(n-4,n-2),(n-6,n-4)...(1,3)$ 操作一次，这样序列就变成了 $0aabbcc...$ 的样子。
然后再对 $(1,3)(3,5)...(n-2,n)$ 做一次即可。

如果是偶数，就找到一段异或和为0的前缀，然后前后分别做即可。
如果找不到，序列就一定长成 $10000...0001$ 的样子，这个时候是无解的（样例也已经给出）。

代码

尽管正解非常好写，但还是懒得写了…
贴上我艰苦奋战出的乱搞代码：

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define ull unsigned long long
#define debug(...) fprintf(stderr,__VA_ARGS__)
#define ok debug("OK\n")
using namespace std;const int N=3e5+100;
const int M=2e5+100;
const int inf=2e9+100;inline ll read(){ll x(0),f(1);char c=getchar();while(!isdigit(c)) {if(c=='-')f=-1;c=getchar();}while(isdigit(c)) {x=(x<<1)+(x<<3)+c-'0';c=getchar();}return x*f;
}int n,m;
int a[N],ans[N],num;
int s[N];
bool flag;
inline int calc(int l,int r){assert(r-l+1==3);return a[l]^a[l+1]^a[r];
}
inline void rev(int l,int r){int o=calc(l,r);for(int i=l;i<=r;i++) a[i]=o;ans[++num]=l;	
}void workl(int p){if(p==0) return;if(a[p]){if(a[p-1]) rev(p-1,p+1);else if(a[p-2]) rev(p-2,p);else{rev(p-2,p);rev(p-1,p+1);}}workl(p-1);	
}
void workr(int p){if(p==n+1) return;if(a[p]){if(a[p+1]) rev(p-1,p+1);else if(a[p+2]) rev(p,p+2);else{rev(p,p+2);rev(p-1,p+1);}}workr(p+1);
}bool find(int l,int r){if(calc(l,r)) return false;//debug("%d %d\n",l,r);if(s[l-1]%2==0){rev(l,r);workl(l-1);workr(r+1);return true;}int x=l,y=r;while(l>1&&a[l-1]==0) l--;while(r<n&&a[r+1]==0) r++;if((r-l+1)%2==1){rev(x,y);while(l<=r){rev(l-1,l+1);l+=2;}workl(r-2);workr(r+2);return true;}//debug("1");if((r-l+1)%2==0&&l-2>=1){if(a[l-2]==0){rev(l-2,l);l++;}}if((r-l+1)%2==0&&r+2<=n){if(a[r+2]==0){rev(r,r+2);r--;}}if((r-l+1)%2==1){while(l<=r){rev(l-1,l+1);l+=2;}workl(r-2);workr(r+2);return true;}//debug("2");return false;
}
void work(){num=0;flag=0;int cnt(0);n=read();for(int i=1;i<=n;i++){a[i]=read(),cnt+=a[i];//s[i]=s[i-1]+a[i];//debug("%d ",a[i]);}//debug("\n");if(cnt&1){puts("NO");return;}for(int i=1;i+2<=n;i++){if(find(i,i+2)){flag=1;break;}else if(a[i]&&!a[i+1])rev(i,i+2);s[i]=s[i-1]+a[i];}if(!flag){for(int i=1;i+2<=n;i++){if(find(i,i+2)){flag=1;break;}s[i]=s[i-1]+a[i];}}if(flag){puts("YES");printf("%d\n",num);//assert(num<=n);for(int i=1;i<=num;i++) printf("%d ",ans[i]);puts("");}else puts("NO");
}
int clo;
signed main(){
#ifndef ONLINE_JUDGEfreopen("a.in","r",stdin);freopen("a.out","w",stdout);
#endifint T=read();while(T--){//debug("%d\n",++clo);work();}return 0;
}
/*
*/