Browse · MathNet
PrintXXIX Rioplatense Mathematical Olympiad
Argentina counting and probability
Problem
Let and be positive integers. We consider lines on the plane such that no two of them are parallel and no three of them intersect in a single point. On each of the intersection points of these lines there are coins. Ana and Beto play the following game: each player, in their turn, chooses a point that does not lie on the same line as the point chosen in the previous turn by the other player, and discards one coin from that point. Ana makes the first move and she can choose any point. The player who cannot make a move loses the game. Determine, for each value of and , which player has a winning strategy.
Solution
We will prove that Ana has a winning strategy if and only if the total number of coins is odd. It is easy to see that this happens if and only if is odd and or \pmod{4}1np_{ij}ijk=1n=4n=5nl_Al_B\{p_{A1}, p_{B2}\}, \{p_{A2}, p_{B3}\}, \dots, \{p_{An}, p_{B1}\}p_{AB}p_{AB}kk=1k=1p_{12}p_{34}$ so that we can find a pairing among them that leaves at most one out as desired. Now that the claim is proved let's fix a good pairing that leaves at most one coin out. If the number of coins is even then there is no coin left out and if it is odd then there is one.
In the first case Beto has a winning strategy: every time that Ana chooses a coin he chooses the other coin in the same pair of our fixed good pairing.
In the second case Ana has a winning strategy: she first chooses the coin left out and then she proceeds as Beto in the previous case.
In the first case Beto has a winning strategy: every time that Ana chooses a coin he chooses the other coin in the same pair of our fixed good pairing.
In the second case Ana has a winning strategy: she first chooses the coin left out and then she proceeds as Beto in the previous case.
Final answer
Ana wins if and only if the total number of coins is odd, equivalently when k is odd and n is congruent to 2 or 3 modulo 4; otherwise Beto wins.
Techniques
Games / greedy algorithmsColoring schemes, extremal argumentsInduction / smoothingMatchings, Marriage Lemma, Tutte's theorem