View source for Imo 2012

This is the wiki page for the mini-polymath4 project, which will seek a solution to a problem from the [http://www.oma.org.ar/imo2012/ 2012 International Mathematical Olympiad], held in Argentina from July 10-11.  The project will start at [http://www.timeanddate.com/worldclock/fixedtime.html?iso=20120712T22 Thursday, July 12, 2012 at 22:00:00].  It will be held primarily at the [http://polymathprojects.org/2012/07/12/minipolymath4-project-imo-2012-q3/ polymath blog] (with a discussion thread at [http://terrytao.wordpress.com/2012/07/12/mini-polymath4-discussion-thread/ the "What's new" blog].)

== Rules ==

This project will follow the [http://polymathprojects.org/general-polymath-rules/ usual polymath rules].  In particular:

* Everyone is welcome to participate, though people who have already seen an external solution to the problem should refrain from giving spoilers throughout the experiment.
* This is a team effort, not a race between individuals.  Rather than work for extended periods of time in isolation from the rest of the project, the idea is to come up with short observations (or to carry an observation of another participant further) and then report back what one gets to the rest of the team.  Partial results or even failures can be worth reporting.
* Participants are encouraged to update the wiki, or to summarise progress within threads, for the benefit of others.  (In particular, linking between the wiki and specific comments on the blogs is highly encouraged.)

== Threads ==

Planning:

* [http://terrytao.wordpress.com/2012/06/04/two-polymath-projects/ Two polymath projects], June 4, 2012.
* [http://terrytao.wordpress.com/2012/06/15/updates-on-the-two-polymath-projects/ Updates on the two polymath projects], June 15, 2012.

Discussion:

* [http://terrytao.wordpress.com/2012/07/12/mini-polymath4-discussion-thread/ Discussion thread], July 12, 2012.

Research:

* [http://polymathprojects.org/2012/07/12/minipolymath4-project-imo-2012-q3/ Research thread], July 12, 2012.

== The question ==

: '''Problem 3.'''   The liar's guessing game is a game played between two players <math>A</math> and <math>B</math>.  The rules of the game depend on two positive integers <math>k</math> and <math>n</math> which are known to both players.

: At the start of the game, <math>A</math> chooses two integers <math>x</math> and <math>N</math> with <math>1 \leq x \leq N</math>.  Player <math>A</math> keeps <math>x</math> secret, and truthfully tells <math>N</math> to player <math>B</math>.  Player <math>B</math> now tries to obtain information about <math>x</math> by asking player <math>A</math> questions as follows.  Each question consists of <math>B</math> specifying an arbitrary set <math>S</math> of positive integers (possibly one specified in a previous question), and asking <math>A</math> whether <math>x</math> belongs to <math>S</math>.  Player <math>B</math> may ask as many such questions as he wishes.  After each question, player <math>A</math> must immediately answer it with yes or no, but is allowed to lie as many times as she wishes; the only restriction is that, among any <math>k+1</math> consecutive answers, at least one answer must be truthful.

: After <math>B</math> has asked as many questions as he wants, he must specify a set <math>X</math> of at most <math>n</math> positive integers.  If <math>x</math> belongs to <math>X</math>, then <math>B</math> wins; otherwise, he loses.  Prove that: 

: 1. If <math>n \geq 2^k</math>, then <math>B</math> can guarantee a win.
: 2. For all sufficiently large <math>k</math>, there exists an integer <math>n \geq 1.99^k</math> such that <math>B</math> cannot guarantee a win.

== Observations ==

* B can as well ask questions in “rounds” of k+1 questions. Then, each round is guaranteed to have at least 1 correct answer.

== Partial results and examples==

*  For <math>k=0</math> any version of binary search works.

== Possible strategies ==

* Are there any results from Ramsey theory or related which might be useful for part one?
* Might be related to error-correcting codes?
* For the first part, proving for <math>n=2^k</math> suffices. The first approach that comes to my mind is to induct on <math>k</math>.
* Since the solution is obvious if N is inside [1,n], then we could simply prove the case n+1 and the rest would follow by induction on N.

== Completed solutions for part 1 ==

* (Add contributions here.)

== Completed solutions for part 2 ==

* (Add contributions here.)