Problem

Source: 2019 Brazil IMO TST 4.4

Tags: Chessboard, paths, combinatorics



Consider a checkered board $2m \times 2n$, $m, n \in \mathbb{Z}_{>0}$. A stone is placed on one of the unit squares on the board, this square is different from the upper right square and from the lower left square. A snail goes from the bottom left square and wants to get to the top right square, walking from one square to other adjacent, one square at a time (two squares are adjacent if they share an edge). Determine all the squares the stone can be in so that the snail can complete its path by visiting each square exactly one time, except the square with the stone, which the snail does not visit.