Browse · MathNet
Print22nd Korean Mathematical Olympiad Final Round
South Korea counting and probability
Problem
Two players play a game on a by grid, which has horizontal lines, vertical lines, and hence intersection points. One pebble is put on an intersection point. Two players alternatively move the pebble to an adjacent point along an edge, but they are not allowed to use edges used previously by either player. A player loses if he cannot move the pebble any more. Prove that there exists a winning strategy for the first player if the pebble was initially put on a point in the bottom horizontal line.
Solution
Let be the set of all points on the grid. Let be the initial position of the pebble. Let
Let be the set of all points of the grid on the lines , , , or the interior of the quadrangle formed by those four lines. The first player initially moves the pebble to and removes the straightline segment joining and . We color the point red if is even, and blue if is odd. Then the first player will be given a choice only if the pebble is on the red point, and the second player will be given a choice only if the pebble is on the blue point. Moreover, all blue points in are not adjacent to any point out of . Furthermore, every red point in has even number of edges to a blue point. Therefore, whenever the first player is given a choice of moving the pebble, there are odd number of unused edges inside available for him for moving the pebble to a point in . Since the game must end and the first player can not lose, the first player can always win.
Let be the set of all points of the grid on the lines , , , or the interior of the quadrangle formed by those four lines. The first player initially moves the pebble to and removes the straightline segment joining and . We color the point red if is even, and blue if is odd. Then the first player will be given a choice only if the pebble is on the red point, and the second player will be given a choice only if the pebble is on the blue point. Moreover, all blue points in are not adjacent to any point out of . Furthermore, every red point in has even number of edges to a blue point. Therefore, whenever the first player is given a choice of moving the pebble, there are odd number of unused edges inside available for him for moving the pebble to a point in . Since the game must end and the first player can not lose, the first player can always win.
Techniques
Games / greedy algorithmsInvariants / monovariantsColoring schemes, extremal arguments