题目
n(6<=n<1e4，n是3的倍数)个人，其中k个人是好人，n-k个人是坏人
k是未知的，但保证1/3n<k<2/3n，你可以询问若干次，
每次你可以选择三个不同的人a,b,c，系统告诉你这三个人中好人更多还是坏人更多，
其中好人更多返回1，坏人更多返回0
easy：可以询问不超过2n次
hard：可以询问不超过n+6次
要求在给定询问次数内，回答出k的值
实际t(t<=100)组样例，保证sumn不超过2e4
思路来源
乱搞ac
题解
其实是两年前做的题了，当时没写题解，现在补一下
首先n是3的倍数，恰分成n/3堆，每堆询问一次
其中约束条件1/3n<k<2/3n，是保证这n/3次询问，不会出现答案全是0或全是1的情况
记录得到一个0的询问位置(huai,huai+1,huai+2)和得到一个1的询问位置(hao,hao+1,hao+2)
得到这六个位置后，每个询问中取出四个，这里是：
令a[1]=huai,a[2]=huai+1，a[3]=huai+2，a[4]=hao，a[5]=hao+1,a[6]=hao+2，
这里是取出a[2]、a[3]、a[5]、a[6]
然后再询问四次，即C(4,3)挑一下，
b[1]询问2、3、5，b[2]询问2、3、6，b[3]询问3，5，6，b[4]询问2、5、6
注意到a[1]-a[3]的询问结果是0，说明a[2]和a[3]要么一好一坏，要么两坏，
同理，a[5]和a[6]要么一好一坏，要么两好，即a[5]和a[6]至少有一个好
那么对于235(b[1])和236(b[2])这两次询问，
即，如果把a[1]替换成a[5]/a[6]导致出现了1，出现了翻转，
而a[2]和a[3]两坏情况是翻转不过来的，说明a[2]和a[3]只能是一好一坏，那么a[1]一定是坏
如果没出现翻转，由于a[5]和a[6]一好一坏，其中好的那次都没翻转，说明a[2]和a[3]只能是两坏
这样就能获得一定是坏的人的编号了，记为huai
类似地，对于b[3]和b[4]也这么讨论一下，也能获得一定是好的人的编号，记为hao
此时用了n/3+4次询问
easy：由于得到了一好一坏，对于n个位置，每次询问(hao,huai,i)，即可得出i是哪一边
总询问次数n/3+4+n，不超过2n
hard：根据之前询问的n/3次结果，在原来的结果基础上分类讨论，还是考虑这n/3堆，
（1）如果这一堆是hao或huai所在的堆，
那么有四个这样的位置未确认答案，暴力询问(hao,huai,i)即可
（2）如果之前这堆是huai，取出其中两个询问，不妨取出i和i+1，
询问(hao,i,i+1)，如果答案是hao，说明i+2一定是huai，而i和i+1中一好一坏，
再暴力询问(hao,huai,i)，得到这一个的值，即可得到另一个的值
（3）如果之前这堆是hao，和（2）对称，也能两次询问出这三个位置的值
所以，总的询问次数为n/3+4+n/3*2，即n+4次，符合条件
代码
cpp
#include<bits/stdc++.h>
using namespace std;
const int N=1e4+10;
int T,n;
int hao,huai,res[N];
vector<int>ans;
int one,two,a[7],b[5];
int ask(int a,int b,int c){
printf("? %d %d %d\n",a,b,c);
fflush(stdout);
int v;
scanf("%d",&v);
return v;
}
void solve(){
if(b[1] || b[2])huai=a[1];//被01翻了，说明a[2]和a[3]一个0一个1，a[1]是0
else huai=a[2];//01都翻不过来，说明a[2]和a[3]都是0
if(!b[3] || !b[4])hao=a[4];//被01翻了，说明a[5]和a[6]一个0一个1，a[4]是1
else hao=a[5];//01都翻不过来，说明a[5]和a[6]都是1
ans.clear();ans.push_back(huai);
for(int i=1;i<=n;i+=3){
if(i==one || i==two){
for(int j=i;j<i+3;++j){
if(j==huai || j==hao)continue;
int v=ask(huai,hao,j);
if(v==0)ans.push_back(j);
}
continue;
}
int x,y;
if(res[i]==0){
x=ask(i,i+1,hao);
if(x==0){
ans.push_back(i);
ans.push_back(i+1);
y=ask(i+2,hao,huai);
if(y==0)ans.push_back(i+2);
}
else{
ans.push_back(i+2);
y=ask(i+1,huai,hao);
if(y==1)ans.push_back(i);
else ans.push_back(i+1);
}
}
else{
x=ask(i,i+1,huai);
if(x==1){
y=ask(i+2,hao,huai);
if(y==0)ans.push_back(i+2);
}
else{
y=ask(i+1,huai,hao);
if(y==1)ans.push_back(i);
else ans.push_back(i+1);
}
}
}
printf("! ");
printf("%d",(int)ans.size());
for(auto &v:ans){
printf(" %d",v);
}
puts("");
fflush(stdout);
}
int main(){
scanf("%d",&T);
while(T--){
scanf("%d",&n);
one=two=-1;
for(int i=1;i<=n;i+=3){
int v=ask(i,i+1,i+2);
res[i]=v;
if(v==0 && one==-1)one=i;
if(v==1 && two==-1)two=i;
}
a[1]=one;a[2]=one+1;a[3]=one+2;
a[4]=two;a[5]=two+1;a[6]=two+2;
b[1]=ask(a[2],a[3],a[5]);
b[2]=ask(a[2],a[3],a[6]);
b[3]=ask(a[3],a[5],a[6]);
b[4]=ask(a[2],a[5],a[6]);
solve();
}
return 0;
}