CF1520F2.Guess the K-th Zero (Hard version)

This is an interactive problem.

This is a hard version of the problem. The difference from the easy version is that in the hard version $1 \le t \le \min(n, 10^4)$ and the total number of queries is limited to $6 \cdot 10^4$.

Polycarp is playing a computer game. In this game, an array consisting of zeros and ones is hidden. Polycarp wins if he guesses the position of the $k$-th zero from the left $t$ times.

Polycarp can make no more than $6 \cdot 10^4$ requests totally of the following type:

• ? $l$ $r$ — find out the sum of all elements in positions from $l$ to $r$ ($1 \le l \le r \le n$) inclusive.

To make the game more interesting, each guessed zero turns into one and the game continues on the changed array. More formally, if the position of the $k$-th zero was $x$, then after Polycarp guesses this position, the $x$-th element of the array will be replaced from $0$ to $1$.

Help Polycarp win the game.

Interaction

First, your program must read two integers $n$ and $t$ ($1 \le n \le 2 \cdot 10^5$, $1 \le t \le \min(n, 10^4)$).

Then $t$ lines follow, each of which contains one integer $k$ ($1 \le k \le n$). It is guaranteed that at the moment of the request the array contains at least $k$ zeros. In order to get the next value of $k$, you must output the answer for the previous value of $k$.

After that, you can make no more than $6 \cdot 10^4$ requests in total.

Use the following format to output the answer (it is not a request, it doesn't count in $6 \cdot 10^4$):

• ! $x$ — position of the $k$-th zero.

Positions in the array are numbered from left to right from $1$ to $n$ inclusive.

After printing $t$ answers, your program should exit immediately.

In this task, the interactor is not adaptive. This means that within the same test, the hidden array and the queries do not change.

In case of an incorrect query, -1 will be displayed. When this value is received, your program must immediately exit normally (for example, by calling exit(0)), otherwise, the testing system may issue an arbitrary verdict.

If the number of requests is exceeded, the verdict wrong answer will be displayed.

Your solution may get the verdict Idleness limit exceeded if you don't print anything or forget to flush the output buffer.

To flush the output buffer, you need to do the following immediately after the query output and the end-of-line character:

• fflush(stdout) or cout.flush() in C ++;
• System.out.flush() in Java;
• flush(output) in Pascal;
• stdout.flush() in Python;
• see the documentation for other languages.

Hacks

Use the following format for hacks:

On the first line print the string $s$ ($1 \le |s| \le 2 \cdot 10^5$), consisting of zeros and ones, and an integer $t$ ($1 \le t \le \min(|s|, 10^4)$) — hidden array and number of requests, respectively. In the next $t$ lines output the number $k$ ($1 \le k \le |s|$).

The hacked solution will not have direct access to the hidden array.

这是一个交互式问题。

这是该问题的困难版本。与简单版本的区别在于：在困难版本中，$1 \le t \le \min(n, 10^4)$，且查询总次数上限为 $6 \cdot 10^4$。

Polycarp 正在玩一款电脑游戏。游戏中隐藏着一个仅由 0 和 1 构成的数组。Polycarp 若能 $t$ 次成功猜出从左往右数第 $k$ 个 0 的位置，即获胜。

Polycarp 总共最多可进行 $6 \cdot 10^4$ 次如下类型的查询：

• ? $l$ $r$ — 查询位置 $l$ 到 $r$（含端点，$1 \le l \le r \le n$）之间所有元素的和。

为增加游戏趣味性，每次成功猜中的 0 都会变为 1，游戏在更新后的数组上继续进行。更准确地说，若第 $k$ 个 0 的位置为 $x$，则 Polycarp 猜中该位置后，数组的第 $x$ 个元素将由 $0$ 变为 $1$。

请帮助 Polycarp 获胜。

交互流程

首先，你的程序必须读入两个整数 $n$ 和 $t$（$1 \le n \le 2 \cdot 10^5$，$1 \le t \le \min(n, 10^4)$）。

随后输入 $t$ 行，每行包含一个整数 $k$（$1 \le k \le n$）。保证在每次请求时，当前数组中至少存在 $k$ 个 0。为了获取下一个 $k$ 值，你必须先输出对前一个 $k$ 值的答案。

此后，你总共最多可进行 $6 \cdot 10^4$ 次查询。

使用以下格式输出答案（这不是一次查询，不计入 $6 \cdot 10^4$ 次限制内）：

• ! $x$ — 第 $k$ 个 0 的位置。

数组中位置编号从左到右依次为 $1$ 至 $n$（含端点）。

在输出全部 $t$ 个答案后，你的程序应立即终止。

本题的交互器是非自适应的。这意味着在同一测试用例中，隐藏数组及所有查询均保持不变。

若发出非法查询，将返回 $-1$。当接收到该值时，你的程序必须立即正常退出（例如调用 exit(0)），否则评测系统可能给出任意错误结果。

若查询次数超出限制，将判为“答案错误”。

若你的程序未输出任何内容或忘记刷新输出缓冲区，则可能得到“空闲超限”（Idleness limit exceeded）的判定。

为刷新输出缓冲区，请在每次输出查询字符串及换行符后立即执行以下操作：

• C++ 中：fflush(stdout) 或 cout.flush()；
• Java 中：System.out.flush()；
• Pascal 中：flush(output)；
• Python 中：stdout.flush()；
• 其他语言请参阅相应文档。

Hack 方法

Hack 输入格式如下：

第一行输入一个字符串 $s$（$1 \le |s| \le 2 \cdot 10^5$），仅由 0 和 1 组成，以及一个整数 $t$（$1 \le t \le \min(|s|, 10^4)$），分别表示隐藏数组和请求次数。接下来 $t$ 行，每行一个整数 $k$（$1 \le k \le |s|$）。

被 hack 的程序无法直接访问隐藏数组。

In the first test, the array $[1, 0, 1, 1, 0, 1]$ is hidden. After answering the query $k=2$, the array changed to $[1, 0, 1, 1, 1, 1]$.

在第一次测试中，隐藏的数组为 $[1, 0, 1, 1, 0, 1]$。在回答查询 $k=2$ 后，数组变为 $[1, 0, 1, 1, 1, 1]$。