Proof game
A proof game is a type of chess problem where the solver must construct a chess position starting from the initial position and ending in a given position in a specified number of moves. If no shorter solution exists, a proof game is called a shortest proof game (SPG).
A proof game is a type of retrograde analysis problem.