RU-ALLRUSSIAN 1974 Problem 11
One rat and two cats are placed on a chess- board. The rat is placed first and then the two cats choose positions on the border squares. The rat moves first. Then the cats and the rat move alternately. The rat can move one square to an adjacent square (but not diagonally). If it is on a border square, then it can also move off the board. On a cat move, both cats move one square. Each must move to an adjacent square, and not diagonally. The cats win if one of them moves onto the same square as the rat. The rat wins if it moves off the board. Who wins? Suppose there are three cats (and all three cats move when it is the cats' turn), but that the rat gets an extra initial turn. Prove that the rat wins.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.