[atARC070F]HonestOrUnkind

考虑当$a\le b$时，构造两种方案，满足诚实的人不交，接下来要求对于任意询问，这两种方案的答案都有可能相同

考虑询问$(i,j)$，若$i$在两种方案中有一种不诚实，那么总可以让答案相同，又因为诚实的人不交，因此一定可行

当$a>b$，我们只需要找到一个诚实的人就可以做了，考虑如何找到这个诚实的人：

对于询问$(i,j)$，若结果为不诚实，至少存在一个人不诚实，考虑同时删去$i$和$j$，显然最终不可能只剩下不诚实的人

维护一个栈（初始为空），从1到$n$遍历所有人，并询问$(栈顶,i)$，考虑结果：

1.结果为不诚实，同时删去（弹出）栈顶和$i$即可

2.结果为诚实，将$i$加入栈中，并继续此过程

当我们询问完之后，可以发现栈中若栈顶不诚实，由于栈顶的下一个元素认为栈顶诚实，因此其也不诚实，以此类推，整个栈中所有人都不诚实，即矛盾

通过栈顶再$n$次询问即可确定剩余的人

#include<bits/stdc++.h>
using namespace std;
#define N 4005
stack<int>st;
int a,b,ans[N];
char s[11];
int query(int x,int y){
    printf("? %d %d\n",x-1,y-1);
    fflush(stdout);
    scanf("%s",s);
    return s[0]=='Y';
}
int main(){
    scanf("%d%d",&a,&b);
    if (a<=b){
        printf("Impossible");
        return 0;
    }
    for(int i=1;i<=a+b;i++)
        if (st.empty())st.push(i);
        else{
            if (query(st.top(),i))st.push(i);
            else st.pop();
        }
    for(int i=1;i<=a+b;i++)ans[i]=query(st.top(),i);
    printf("! ");
    for(int i=1;i<=a+b;i++)printf("%d",ans[i]);
}