2011 OIM Problems/Problem 1
Problem
The number 2 is written on the board. Ana and Bruno play alternately, starting with Ana. Each one in turn replaces the written number with the one obtained by applying exactly one of the following operations: multiply it by 2, multiply it by 3, or add 1. The first person to obtain a result greater than or equal to 2011 wins. Find which if they both have a winning strategy and describe said strategy.
~translated into English by Tomas Diaz. ~orders@tomasdiaz.com
Solution
We claim that Bruno can always win, and we painfully work our way downwards from . Suppose we are playing the game; below, each letter represents an interval of numbers; if our opponent replaces the previous number with a number in that interval, then we perform the action described.
If the number is in , then clearly we can multiply by
to win on the spot.
If the number is in , then multiplying by
or
would result in
and thus a loss, so the optimal continuation is to add
. Notice that we can only do this for a finite amount of time; once either player writes down
, the other player wins. Thus, if we backtrack, the player who writes down an even number will win (since neither player is incentivized to multiply, we are forced to add
, and parity shows that the player who writes down an odd number will eventually write down
, so the other player wins).
If the number is in , then multiplying by
results in writing an even number in
, so we win. This case is an automatic loss for any player who writes down a number in
.
If the number is in , then multiplying by
results in
, so we lose. Multiplying by
results in
, so if the product is even (and thus our original number in
that we received), then we win. Otherwise, we are forced to continue adding
. However, if the number we receive in
is not even, then it is odd, and our opponent can win with the same logic.
If the number is in , then we eliminate multiplying by
since that would land us in
, an automatic loss. Multiplying by
would land in
, also an automatic loss. Thus both players keep adding
, so once again, the player who receives an even number wins.
If the number is in , then multiplying by
results in
, and the opponent receives an even number, so they win. If we multiply by
, then we fall in
, which is an automatic loss. Thus both players keep adding
, so we can extend from
that the player who receives an even number wins.
If the number is in , then multiplying by
results in
writing down an even number, which we lose. Multiplying by
, however, results in
, so if we received an odd number, then the product will also be odd, so we are incentivized to multiply. Thus the player who receives an odd number wins.
If the number is in , then multiplying by
results in
with an even number, so we lose. Multiplying by
results in
with a similar scenario to if the number is in
, so the player who receives an odd number wins.
If the number is in , then multiplying by
results in
with an even number, so we lose. Multiplying by
results in a similar scenario as in
and
, so the player who receives an odd number wins.
If the number is in , then multiplying by
results in one of
writing down an even number, so either the opponent is forced to give us an odd number or multiply by
, giving us an even number in
or
, which we win. Thus we are guaranteed to win in this case.
If the number is in , then multiplying by
results in
, which we lose. Multiplying by
results in
or
, which we win only if the original number is even.
Finally, if the number is in then multiplying by
or
results in
, which we lose. Thus we combine parities with
, so we win only if the number we receive is even.
We can end with casework on the first few turns. If Ana starts by multiplying by , yielding
, then Bruno can convert this to
, which he wins. If Ana adds
first, then Bruno multiplies by
, yielding
, which he wins. Finally, if Ana starts with multiplying by
, resulting in
, then Bruno can add
. Here Ana cannot multiply by
(Bruno receives even number in
) or
(guaranteed win in
), so she must add
, and Bruno can simply add
, resulting in
, which he wins. Since all possibilities are considered, Bruno wins with optimal play.