还是自己水平不够，想了两天没想出来……（然后我就被其他人吊打了）
这种题目看了题解就秒会，自己想就想不出来……
下面是我的心路历程（我就在想出来又叉掉的不断循环中度过……）
开始把题目看成了查询限制 \(2N\) 长度，然后怎么也不会做，看看题，发现是 \(4N\) （然而还是不会做）
首先一个很显然的想法，就是先两步找出第一个，然后后面的每个都用一步。最后一位可能要多耗费一个。此时总步数正好是 \(N + 2\)。
然后重点就在中间的了。
我们记剩下来的字符为 \(A, B, C\)，当前处理好的字符串为 \(S\)。
首先很容易有一个想法：在一个串后面加一堆同一个字符，然后看增加了多少，这样有概率一下子增加多个。
如果把所有连续的长度求出来，那么每次枚举只有两种情况，貌似很优秀。
于是构造 \(\{ S + A + \dots, S + B + \dots\}\)，发现没填满，应该不对，于是改成 \(\{ S + A + A + \dots, S + A + B +\dots, S + B + A + \dots, S + B + B + \dots \}\) 。
然后发现对于下面是 \(A\) 和 \(B\) 的都很好求，只要分类讨论增加了几个。
但是一旦有 \(C\) 就会有额外枚举量，所以这种想法放弃了。
接着考虑如果不求最长连续的，对三种情况暴力算的也许可以。比如说可以改成不断的求子问题的模型。
仔细分析发现这样做本质和每次只增加 \(O(1)\) 个字符是相同的。
所以考虑每次增加那么多。
接下来我类似地考虑了这个加同一个字符。
也就是询问 \(\{ S + A + A + A, S + A + B + B, S + B + A + A, S + B + B + B \}\)
显然也可以通过分类讨论加了多少个的情况。
对于没加的；显然是 \(C\)，对于加了 \(1\) 的，枚举第一位就可以知道第 \(2\) 位；对于加了 \(3\) 的，显然可以查询两次得到。对于这几种情况，得到每一个的耗费都是 \(1\)。
然而这个做法还是挂在加了 \(2\) 的，冷静分析，发现直接确定第三位还是更优的，但是马上发现你要用两步确定 \(8\) 种情况，然后GG。
所以发现我的做法对于只增加了两个的都凑不出来（总会多一步）。
凑了那么多，发现最后还是要找一个对于所有位数，情况平均少一点的。但是有一个 \(3\) 就显得难做了。
直到我看了题解：
我的做法太贪了，一次确定多位不太行，没有去想一次只确定一位……（这个故事告诉我们，做题尽量由浅入深，从简单的开始考虑）
和分类讨论加了多少个的思想类似，这个十分的暴力……
直接把下一个是 \(A\) 就 \(+2\)， 是 \(B\) 就 \(+1\)， 是 \(C\) 就 \(+0\)，显然这个很好构造 \(\{ S + A + A, S + A + B, S + A + C, S + B\}\)
显然满足。
然后注意对剩下的只有一个的特判，正好补上最后的多的一个。
然后我把 \(<\) 写成 \(\leq\)，WA了一发……
#include "combo.h"
const char sx[] = {'A', 'B', 'X', 'Y'};
std::string S, li[3];
std::string d(int at) {
return at == 3 ? S : li[at];
}
template<typename ... T>
std::string d(int at, T ... args) {
return (at == 3 ? S : li[at]) + d(args...);
}
std::string guess_sequence(int N) {
char fir = press("AB") >= 1 ? (press("A") ? 'A' : 'B') : (press("X") ? 'X' : 'Y');
S += fir; int bx = 0;
for (int i = 0; i < 4; ++i)
if (sx[i] != fir) li[bx++] = std::string(1, sx[i]);
for (bx = 1; bx < N; ) {
std::string qry;
if (bx + 1 == N) {
S += press(d(3, 0)) == N ? li[0] : (press(d(3, 1)) == N ? li[1] : li[2]);
break;
}
int res = press(d(3, 0, 0, 3, 0, 1, 3, 0, 2, 3, 1)) - bx;
if (!res) S += li[2];
else if (res == 1) S += li[1];
else if (res == 2) S += li[0];
++bx;
}
return S;
}