Y by Davi-8191, tenplusten, MathbugAOPS, Welp..., OlympusHero, mathleticguyyy, centslordm, jhu08, iker_tz, Adventure10, lian_the_noob12, RandomPerson11, NicoN9
The leader of an IMO team chooses positive integers
and
with
, and announces them to the deputy leader and a contestant. The leader then secretly tells the deputy leader an
-digit binary string, and the deputy leader writes down all
-digit binary strings which differ from the leader’s in exactly
positions. (For example, if
and
, and if the leader chooses
, the deputy leader would write down
and
.) The contestant is allowed to look at the strings written by the deputy leader and guess the leader’s string. What is the minimum number of guesses (in terms of
and
) needed to guarantee the correct answer?












