CF1270D Strange Device

思路：

对数组的前k + 1个元素询问k + 1次，结果会出现两个数字，分别是第m大的数和第m + 1大的数。并且，第m + 1大的数将出现m次，第m大的数将出现k + 1 - m次。因此，统计较大的那个数出现的次数即是答案。

实现：

#include <bits/stdc++.h>
using namespace std;
int main()
{
    int n, k;
    cin >> n >> k;
    set<int> st;
    for (int i = 1; i <= k + 1; i++) st.insert(i);
    int x, p;
    map<int, int> mp;
    for (int i = 1; i <= k + 1; i++)
    {
        if (i > 1) st.insert(i - 1);
        st.erase(i);
        cout << "? ";
        for (auto it: st) cout << it << " ";
        cout << endl;
        cout.flush();
        cin >> x >> p;
        mp[p]++;
    }
    cout << "! " << mp.rbegin()->second << endl;
    return 0;
}