[交互题] ARC070 F - HonestOrUnkind

$Solution$

有一句话叫作人多力量大。
所以真的人多就能判断出来qwq
一个简单的想法是找出真的人。
一个办法可以构造一条有向的链，如果这条链中有真的人，那么就可以得到链头是真的人。
发现$a$说$b$是假的说明$a$和$b$之间必有一个假的。可以把他们消掉。
具体的操作的话可以维护一个栈，每次询问栈顶和当前枚举到的。
这样剩下$m$个人。
因为$a\lt b$，所以$a - k\lt b - k$。这$m$个人里一定有真的人。再根据前面的操作得到的是每个人都说栈中在他上面的人是真的，那么就从真的人开始，之后说的都是真话。
所以栈顶一定是真人。
然后$n$次询问得出答案。

#include <bits/stdc++.h>
using namespace std;

const int N = 10101;

inline void Guess(int x, int y) {
    printf("? %d %d\n", x - 1, y - 1);
    fflush(stdout);
}
inline int Receive(void) {
    static char c;
    for (c = getchar(); c != 'Y' && c != 'N'; c = getchar()) {
        swap(c, c);
    }
    return c == 'Y';
}

int a, b, n, top;
int sta[N], ans[N];
vector<int> q;

int main(void) {
    freopen("1.in", "r", stdin);
    freopen("1.out", "w", stdout);
    cin >> a >> b;
    n = a + b;
    if (a <= b) {
        printf("Impossible");
        return 0;
    }
    for (int i = 1; i <= n; i++) {
        if (!top) {
            sta[++top] = i;
        } else {
            Guess(sta[top], i);
            if (Receive()) sta[++top] = i;
            else --top;
        }
    }
    for (int i = 1; i <= n; i++) {
        Guess(sta[top], i);
        ans[i] = Receive();
    }
    putchar('!'); putchar(' ');
    for (int i = 1; i <= n; i++)
        putchar('0' + ans[i]);
    putchar('\n');
    return 0;
}