COdeforces 835E The penguin's game （二进制）

给定n(2<=n<=1000)个数，有n-2个数是x，2个数是y，x与y非0且x与y不相等。每次向测评机询问一些位置，测评机返回这些位置的数的异或值。最多可以询问19次，要求输出两个y的位置。

解法：题目给出的19次询问次数上限是严格的。即能构造数据使得不得不询问19次才能出答案。

先讨论出询问的集合元素个数的奇偶性和y个数的奇偶性返回的答案分别是什么。一共有四种情况，用（集合个数，y的个数，答案）表示的话，即有：

（偶数，偶数，0），（偶数，奇数，x xor y），（奇数，偶数，x），（奇数，奇数，y），因为x与y非零且互不相等，故0，x，y，x xor y互不相等。观察到，如果返回x xor y或者y的时候，代表询问的集合里一定有且仅有一个y。

假设y的两个位置为posa和posb，因为posa!=posb，故这两个数的二进制数中至少有一位是不同的。因此，我们可以花费至多10次询问，第i次询问第i位为1的位置组成的集合，若其异或值为x xor y或者y，则代表这个集合里有且仅有一个y；否则，代表这个集合里有0个或者2个y。任取一次返回异或值是x xor y或y的询问所代表的那一位。这样我们就能通过该位把整个集合分成两个集合，每个集合都有且仅有一个y，且集合个数变成了2^9数量级，问题变成了原始的多猪试毒问题，只需要花费9次询问就可以得到这个集合里y的位置。这样最坏一共花费了19次询问，已经用完了题目所给的询问次数。

那么，另一个集合怎么办呢？其实，不需要再花9次询问就可以解出另一个集合y的位置，甚至不需要再询问了。因为，第一轮询问中我们知道了posa和posb所不同的位数，显然，剩下的那些位数就是相同的位数。我们用一个数bit来记录这个信息，若posa与posb的第i位相同，则bit的第i位为0；否则，bit的第i位为1。这样，posb=bit xor posa，即可以直接通过第一轮询问得到的bit以及第二轮询问得到的posa求出posb。

#include<cstdio>
#include<cstring>
#include<vector>
#include<set>
#include<queue>
#include<map>
#include<iostream>
#include<stack>
#include<cctype>
#include<algorithm>
using namespace std;
typedef long long LL;
const int maxn = 5000 + 10;
int differ_bit, bit;
int n, x, y, posa, posb;
inline int query(vector<int> &ask)
{
    if (!ask.size())
        return 0;
    putchar('?');
    printf(" %d ",ask.size());
    for (int i=0;i<(int)ask.size();++i)
        printf("%d%c",ask[i],i+1==(int)ask.size()?'\n':' ');
    fflush(stdout);
    int ret;
    scanf("%d",&ret);
    return ret;
}

int main()
{

    cin >> n >> x >> y;
    for(int i = 0; i < 10; i++) {
        vector<int> ask;
        for(int j = 1; j <= n; j++)
           if((j>>i)&1)
              ask.push_back(j);
        int ret = query(ask);
        if(ret == y || ret == (x^y)) {
            bit ^= (1<<i);
            differ_bit = i;
        }
    }
    vector<int> left, right;
    for(int i = 1; i <= n; i++) {
        if(i & (1<<differ_bit)) left.push_back(i);
        else right.push_back(i);
    }
    for(int i = 0; i < 9; i++) {
        vector<int> ask;
        for(int j = 0; j < left.size(); j++)
            if(j & (1<<i)) ask.push_back(left[j]);
        int ret = query(ask);
        if(ret == y || ret == (x ^ y)) posa ^= (1<<i);
    }
    posa = left[posa];
    printf("! %d %d\n",min(posa,bit^posa),max(posa,bit^posa));
    return 0;
}