Maths Olympiad Prep

Library / /1259 of 1394

, 2018

Combinatorics Difficulty 5.9 AIME, harder Prove it United States

Problem:

Arnold and Kevin are playing a game in which Kevin picks an integer 1m10011 \leq m \leq 1001, and Arnold is trying to guess it. On each turn, Arnold first pays Kevin 1 dollar in order to guess a number kk of Arnold's choice. If mkm \geq k, the game ends and he pays Kevin an additional mkm-k dollars (possibly zero). Otherwise, Arnold pays Kevin an additional 10 dollars and continues guessing.

Which number should Arnold guess first to ensure that his worst-case payment is minimized?

Solution

Solution:

We let f(n)f(n) denote the smallest amount we can guarantee to pay at most if Arnold's first choice is nn. For each k<nk < n, if Arnold's first choice is k+1k+1, in both worst case scenarios, he could end up paying either nkn-k or 11+f(k)11+f(k). It is then clear that
f(n)=mink+1<nmax{nk,11+f(k)}. f(n) = \min_{k+1 < n} \max \{ n-k, 11+f(k) \}.
Now clearly f(k)f(k) is a non-decreasing function of kk, and nkn-k is a strictly decreasing function of kk. Therefore if there exists kk such that nk=11+f(k)n-k = 11+f(k), we have f(n)=nk=11+f(k)f(n) = n-k = 11+f(k) with picking k+1k+1 as an optimal play (and picking K+1K+1 also optimal iff KkK \geq k and f(K)=f(k)f(K) = f(k)).

Now note that f(k)=kf(k) = k for k12k \leq 12 (but f(13)=12f(13) = 12 though it's not relevant to the solution). Let a1=11a_1 = 11. Now recursively define aia_i such that aiai1=11+f(ai1)a_i - a_{i-1} = 11 + f(a_{i-1}). Thus f(ai)=aiai1f(a_i) = a_i - a_{i-1} with the optimal move to pick ai1+1a_{i-1} + 1.

a1=11a_1 = 11

a211=11+11:a2=33,f(a2)=22a_2 - 11 = 11 + 11: a_2 = 33, f(a_2) = 22

a333=11+f(33):a3=66,f(a3)=33a_3 - 33 = 11 + f(33): a_3 = 66, f(a_3) = 33

It is clear by induction that aia_i is 11 times the iith triangular number. 1001 is 11×91=14×13211 \times 91 = \frac{14 \times 13}{2}, so the optimal strategy is to pick 1 more than 11×12×132=85811 \times \frac{12 \times 13}{2} = 858. So the answer is 859.

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.