Maths Olympiad Prep

Library / /1349 of 1394

Combinatorics Difficulty 6.2 National Olympiad Prove it United States

Problem:

Philena and Nathan are playing a game. First, Nathan secretly chooses an ordered pair (x,y)(x, y) of positive integers such that x20x \leq 20 and y23y \leq 23. (Philena knows that Nathan's pair must satisfy x20x \leq 20 and y23y \leq 23.) The game then proceeds in rounds; in every round, Philena chooses an ordered pair (a,b)(a, b) of positive integers and tells it to Nathan; Nathan says YES if xax \leq a and yby \leq b, and NO otherwise. Find, with proof, the smallest positive integer NN for which Philena has a strategy that guarantees she can be certain of Nathan's pair after at most NN rounds.

Solution

Solution:

It suffices to show the upper bound and lower bound.

Upper bound. Loosen the restriction on yy to y24y \leq 24. We'll reduce our remaining possibilities by binary search; first, query half the grid to end up with a 10×2410 \times 24 rectangle, and then half of that to go down to 5×245 \times 24. Similarly, we can use three more queries to reduce to 5×35 \times 3.
It remains to show that for a 5×35 \times 3 rectangle, we can finish in 4 queries. First, query the top left 4×24 \times 2 rectangle. If we are left with the top left 4×24 \times 2, we can binary search both coordinates with our remaining three queries. Otherwise, we can use another query to be left with either a 4×14 \times 1 or 1×31 \times 3 rectangle, and binary searching using our final two queries suffices.

Lower bound. At any step in the game, there will be a set of ordered pairs consistent with all answers to Philena's questions up to that point. When Philena asks another question, each of these possibilities is consistent with only one of YES or NO. Alternatively, this means that one of the answers will leave at least half of the possibilities. Therefore, in the worst case, Nathan's chosen square will always leave at least half of the possibilities. For such a strategy to work in NN questions, it must be true that 4602N1\frac{460}{2^{N}} \leq 1, and thus N9N \geq 9.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.