Tricky Interactor

This is an interactive problem.

Chouti was tired of studying, so he opened the computer and started playing a puzzle game.

Long long ago, the boy found a sequence $s_1, s_2, \ldots, s_n$ of length $n$, kept by a tricky interactor. It consisted of $0$s and $1$s only and the number of $1$s is $t$. The boy knows nothing about this sequence except $n$ and $t$, but he can try to find it out with some queries with the interactor.

We define an operation called flipping. Flipping $[l,r]$ ($1 \leq l \leq r \leq n$) means for each $x \in [l,r]$, changing $s_x$ to $1-s_x$.

In each query, the boy can give the interactor two integers $l,r$ satisfying $1 \leq l \leq r \leq n$ and the interactor will either flip $[1,r]$ or $[l,n]$ (both outcomes have the same probability and all decisions made by interactor are independent from each other, see Notes section for more details). The interactor will tell the current number of $1$s after each operation. Note, that the sequence won’t be restored after each operation.

Help the boy to find the original sequence in no more than $10000$ interactions.

“Weird legend, dumb game.” he thought. However, after several tries, he is still stuck with it. Can you help him beat this game?Interaction

The interaction starts with a line containing two integers $n$ and $t$ ($1 \leq n \leq 300$, $0 \leq t \leq n$) — the length of the sequence and the number of $1$s in it.

After that, you can make queries.

To make a query, print a line “? l r” ($1 \leq l \leq r \leq n$), then flush the output.

After each query, read a single integer $t$ ($-1 \leq t \leq n$).

  • If $t=-1$, it means that you’re out of queries, you should terminate your program immediately, then you will get Wrong Answer, otherwise the judging result would be undefined because you will interact with a closed stream.
  • If $t \geq 0$, it represents the current number of $1$s in the sequence.

When you found the original sequence, print a line “! s”, flush the output and terminate. Print $s_1, s_2, \ldots, s_n$ as a binary string and do not print spaces in between.

Your solution will get Idleness Limit Exceeded if you don’t print anything or forget to flush the output.

To flush you need to do the following right after printing a query and a line end:

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

Hacks

For hacks, use the following format:

In the first and only line, print a non-empty binary string. Its length will be $n$ and it will be treated as $s_1, s_2, \ldots, s_n$.

For example, the the test corresponding to the example contains a line “0011”.

Example

input

4 2
2
2
0

output

? 1 1
? 1 1
? 3 4
! 0011

Note

For first query $1,1$, the interactor should flip $[1,1]$ or $[1,4]$. It chose to flip $[1,4]$, so the sequence became 1100.

For second query $1,1$, the interactor should flip $[1,1]$ or $[1,4]$. It again chose to flip $[1,4]$, so the sequence became 0011.

For third query $3,4$, the interactor should flip $[1,4]$ or $[3,4]$. It chose to flip $[3,4]$, so the sequence became 0000.

Q: How does interactor choose between $[1,r]$ and $[l,n]$? Is it really random?

A: The interactor will use a secret pseudorandom number generator. Only $s$ and your queries will be hashed and used as the seed. So if you give the same sequence of queries twice for the same secret string, you will get the same results. Except this, you can consider the choices fully random, like flipping a fair coin. You needn’t (and shouldn’t) exploit the exact generator to pass this problem.

Solution:

#include <bits/stdc++.h>

using namespace std;

int queries_left = 9999;

int ask(int x, int y) {
queries_left--;
cout << "? " << x + 1 << " " << y + 1 << endl;
  int z;
  cin >> z;
return z;
}

int main() {
ios::sync_with_stdio(false);
cin.tie(0);
int n, t;
cin >> n >> t;
vector<int> res;
int last = t;
int in_first = 0;
int bits_left = n - 1;
for (int bit = 0; bit < n - 1; bit++) {
    int can_do = queries_left / bits_left / 2;
    int found = 0;
    for (int it = 0; it < can_do; it++) {
      ask(bit + 1, n - 1);
      int u = ask(bit + 1, n - 1);
      if (u != last) {
        int must_be = last - (in_first) + ((bit + 1) - (in_first)); // - 2 * me
        int diff = must_be - u;
        if (diff != 0 && diff != 2) {
          assert(false);
        }
        int me = diff / 2;
        res.push_back(me);
        in_first = (bit + 1) - (in_first + me);
        assert(0 <= in_first && in_first <= bit + 1);
        last = u;
        found = 1;
        break;
      }
      last = u;
    }
    if (!found) {
      int me = (bit + 1) / 2 - in_first;
      assert(me == 0 || me == 1);
      res.push_back(me);
      in_first += me;
    }
    bits_left--;
  }
  int cur = accumulate(res.begin(), res.end(), 0);
  int last_bit = t - cur;
  assert(last_bit == 0 || last_bit == 1);
  res.push_back(last_bit);
  cout << "! ";
  for (int x : res) {
    cout << x;
  }
  cout << endl;
  return 0;
}