Codeforce 1270 D. Strange Device（交互 + 构造）

题目大意：有一个两两值互不相同的数组，但是你不知道这个数组的值，有一个机器，你询问 k 个下标，他会返回这数组中这 k 个下标对应的数 按升序排序后的第 m 个的下标和值。你现在不知道 m，你可以通过问 不多于 n 个问题，每个问题的形式为 ：输出 ？ x_1 x_2 x_3 … x_k，机器会返回这些下标在数组中对应的数，排序后的第m个的下标和值。求 m。

---

第一次做交互题，构造的方法很简单，因为数组两两不相同，第一次先询问 1 ,…,k，得到第一组答案，设返回的是 a[x]。接下来每次用 k + 1依次换掉1,…,k。设当前换掉的是 i，若返回的答案和第一组相同，说明a[k + 1] 和 a[i] 在 a[x]的同一边，否则 a[i] 在 a[k + 1]的对立边。

如何确定a[k + 1] 在 a[x]哪一边：若返回的答案和第一组不相同，有两种情况：一是 你用一个比a[x] 大的数换掉一个比a[x]小的数，这种情况返回的答案一定偏大，即a[k + 1] > a[x]。 另外一种情况则是 a[k + 1] < a[x]。

因为你一定会换掉a[x]，这种情况至少发生一次，可以得知两个信息：a[k + 1] 和 a[x]的相对大小，和a[k + 1]在同一边的数字的个数。依靠这两个信息就可以求出 m。

---

代码：

#include<bits/stdc++.h>
using namespace std;
const int maxn = 5e2 + 10;
int n,k,m,t,g;
int vis[maxn];
int main() {
	int val,fir,pos,cnt = 0;
	g = 0;
	cin >> n >> k;
	if(k == 1) {
		cout << "! " << 1 << endl;
		return 0;
	}
	vis[k + 1] = 0;
	for(int cnt = 0; cnt <= k; cnt++) {
		cout << "? ";
		if(cnt == 0) {
			for(int i = 1; i <= k; i++)
				cout << i << " ";
		} else {
			for(int i = 1; i < cnt; i++) {
				cout << i << " ";
			}
			cout << k + 1 << " ";
			for(int i = cnt + 1; i <= k; i++) {
				cout << i << " ";
			}
		}
		cin >> pos >> val;
		if(cnt == 0) fir = val;
		else {
			if(val == fir) {
				g++;
			} else {
				if(val > fir) 	
					vis[k + 1] = 1;
			}
		}
	}
	if(vis[k + 1] == 1) {
		cout << "! " << k - g;
	} else {
		cout << "! " << g + 1;
	}
	cout.flush();
	return 0;
}