不妨先从无解的情况下手,不难发现当 \(A \le B\) 时是一定无解的。

因为不诚实的 \(B\) 个人可以装作是诚实的,全部说自己这一方是诚实的对方是不诚实的我们就无法判断了。

下面我们就可以在 \(A > B\) 的情况下来处理这个交互问题了。

一个最基本最靠谱的方法是先找到一个诚实的人,然后用他把所有人全部问一遍。

因此下面我们的目的就是在 \(n\) 次询问以内找到一个诚实的人。

首先需要一个基于操作的观察:

若回答为 \(F\) 则两者之中必然存在一个人不诚实。

那么我们可以考虑使用这一条性质,将不诚实的人排除开来这样剩下的就是诚实的人了。

于此同时,因为我们只知道两者其一必不诚实,因此我们只能一次将两人一起排除。

并且,由于一次排除至多排除一个诚实的人,又 \(A > B\) 所以最终剩下的人一定是诚实的。

那么接下来的目的就是在 \(n\) 次内快速找到 \(B\) 组回答为 \(F\) 的人。

首先不难发现一个查询次数 \(n ^ 2\) 的暴力,每次取出一个没有被排除的人,用所有人询问他一次,正确性显然。

但是给予我们的询问上限是 \(n\) 次,但同时因为每个点至少要被询问一次,因为至少要保证每个不诚实的人都被至少查询一次(因为问不诚实的人的答案是不确定的)。

同时上限是 \(n\),所以我们只能让每个点被恰好被询问一次。

考虑用每个点恰好被询问一次来优化上面哪个暴力的做法。

首先还是先取出一个人来,用另一个人来询问他,如果询问结果为 \(F\) 那么把两人删去,继续递归这个操作;否则我们只能选择让这两个人都留下来,因为无法确定两者中是否存在不诚实的人,再往下递归。

同时因为每个点只能被查询一次,因此递归的时候只能让后面的人查询之前的查询者。

那么最终必然剩下的就是一条查询链,其中每个查询答案均为 \(T\)。

再来观察一下这条查询链,其中必然存在至少一个诚实的人,因为弹出次数最多为 \(B\) 显然 \(A > B\) 所以必然至少有一个诚实的人。

同时,你会发现这个查询链的最前端必然是诚实的人。

否则找到最靠前的哪个诚实的人,他必然能带走之前哪个不诚实的人并一起弹走。

这样我们就在 \(n\) 次查询内找到了一个诚实的人。

可以发现的是上面的这个做法本质上就是一个弹栈和入栈的过程,用栈实现即可。

复杂度 \(O(n)\)。

#include <bits/stdc++.h>
using namespace std;
#define rep(i, l, r) for (int i = l; i <= r; ++i)
const int N = 4000 + 5;
char s[5];
int n, A, B, top, st[N], ans[N];
int read() {
char c; int x = 0, f = 1;
c = getchar();
while (c > '9' || c < '0') { if(c == '-') f = -1; c = getchar();}
while (c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
return x * f;
}
int main() {
A = read(), B = read(), n = A + B;
if(A <= B) { puts("Impossible"); return 0;}
rep(i, 1, n) {
if(!top) st[++top] = i;
else {
printf("? %d %d\n", i - 1, st[top] - 1), cout.flush();
scanf("%s", s + 1);
if(s[1] == 'Y') st[++top] = i;
else --top;
}
}
rep(i, 1, n) {
printf("? %d %d\n", st[1] - 1, i - 1), cout.flush();
scanf("%s", s + 1);
ans[i] = (s[1] == 'Y');
}
printf("! ");
rep(i, 1, n) printf("%d", ans[i]);
return 0;
}

AT2348 [ARC070D] HonestOrUnkind的更多相关文章

  1. AT2348 HonestOrUnkind

    传送门 显然\(a>b\)的情况下才有解 考虑先找出一个诚实的人,然后剩下的都可以在\(n\)次以内问出来了 发现如果一个人说另一个人是说谎的那么这两个人必有一个是说谎的,由于诚实的人严格多于不 ...

  2. [atARC070F]HonestOrUnkind

    考虑当$a\le b$时,构造两种方案,满足诚实的人不交,接下来要求对于任意询问,这两种方案的答案都有可能相同 考虑询问$(i,j)$,若$i$在两种方案中有一种不诚实,那么总可以让答案相同,又因为诚 ...

  3. AtCoder瞎做第二弹

    ARC 067 F - Yakiniku Restaurants 题意 \(n\) 家饭店,\(m\) 张餐票,第 \(i\) 家和第 \(i+1\) 家饭店之间的距离是 \(A_i\) ,在第 \( ...

  4. AtCoder刷题记录

    构造题都是神仙题 /kk ARC066C Addition and Subtraction Hard 首先要发现两个性质: 加号右边不会有括号:显然,有括号也可以被删去,答案不变. \(op_i\)和 ...

  5. 【AtCoder】ARC070

    ARC070 C - Go Home 题目大意:一只袋鼠第i秒可以向左或向右跳i步或者不跳,问从0跳到x的最小时间 就是1,2,3,4...k总和超过x的最小的k,因为如果超过了x的那部分需要减掉的那 ...

随机推荐

  1. RabbitMQ学习笔记二:Java实现RabbitMQ

    本地安装好RabbitMQ Server后,就可以在Java语言中使用RabbitMQ了. RabbitMQ是一个消息代理,从"生产者"接收消息并传递消息至"消费者&qu ...

  2. Conditional Generative Adversarial Nets

    目录 引 主要内容 代码 Mirza M, Osindero S. Conditional Generative Adversarial Nets.[J]. arXiv: Learning, 2014 ...

  3. [Open Source]基于YOLOv3与Django框架的Web应用-YOLOv3_Detect_Web

    YOLOv3_Detect_Web Use Yolov3 detect on Web 使用 YOLOv3(PyTorch 和 Django 实现)的对象检测应用程序. 网页和 REST API由Dja ...

  4. 【jvm】02-手写自己的类加载器

    [jvm]02-手写自己的类加载器 欢迎关注b站账号/公众号[六边形战士夏宁],一个要把各项指标拉满的男人.该文章已在github目录收录. 屏幕前的大帅比和大漂亮如果有帮助到你的话请顺手点个赞.加个 ...

  5. JavaWeb项目作业 Market商品管理系统

    目录 一.语言和环境 二.实现功能 三.数据库设计 四.实现代码 一.语言和环境 实现语言:Java语言. 环境要求:MyEclipse(Eclipse)+MySQL. 实现方式:JBDC.jsp/s ...

  6. Pycharm的界面修改与基本设置

    Pycharm的一些基本设置 设置字体大小与字体样式 首先我们打开Pycharm,点击左上角File,找到sitting 点击后就能进入设置界面 xdm,我将介绍两种更改字体的设置 方法一 设置界面找 ...

  7. [学习笔记] Oracle基础增删改查用法

    查询 select *|列名|表达式 from 表名 where 条件 order by 列名 select t.* from STUDENT.STUINFO t where t.stuname = ...

  8. List<FieldModelBase> 转 DataTable

    // List<FieldModelBase> 转 DataTable private DataTable ListToDataTable(List<FieldModelBase&g ...

  9. Nagios 请检查HTTP服务器关于该CGI的访问权限设置

    无权查看任何主机的信息. 请检查HTTP服务器关于该CGI的访问权限设置. 搜索了一下方法 确保 htpasswd.user的所有组为nagios 解决办法: vi /usr/local/nagios ...

  10. Elasticsearch安装与配置

    一.下载(华为云) https://mirrors.huaweicloud.com/elasticsearch/https://mirrors.huaweicloud.com/kibana/7.6.2 ...