Ver quién gana si ambos juegan perfecto.
En la teoría de juegos combinatorios, encontrar una estrategia ganadora implica determinar una secuencia de movimientos que te garantice la victoria, asumiendo que tu oponente juega de forma óptima. Este análisis lo puedes aplicar normalmente a juegos finitos e imparciales con información perfecta y sin elementos de azar (como el Nim o variaciones del Gato). En la convención de "juego normal", el último jugador en mover gana, o lo que es lo mismo, el primer jugador que no puede hacer un movimiento pierde. La idea fundamental es que puedes clasificar cada posición del juego como una Posición Ganadora (posición $\mathcal{N}$, favorable para el Siguiente jugador [Next]) o una Posición Perdedora (posición $\mathcal{P}$, favorable para el jugador Anterior [Previous]).
Determinas la estrategia trabajando hacia atrás desde las posiciones finales (el fin del juego). Una posición terminal es una posición $\mathcal{P}$ por definición, porque al jugador que le toca no puede mover y, por lo tanto, pierde. De forma recursiva, una posición es $\mathcal{P}$ si todos los movimientos posibles llevan a posiciones $\mathcal{N}$. Por el contrario, una posición es $\mathcal{N}$ si existe al menos un movimiento que lleve a una posición $\mathcal{P}$. Una estrategia ganadora consiste en elegir siempre un movimiento que obligue a tu oponente a caer en una posición $\mathcal{P}$.
Aunque el análisis retrógrado (ir hacia atrás) resuelve juegos pequeños, los problemas complejos en competencias como el AMC 12 o el AIME suelen requerir que identifiques invariantes o aproveches la simetría. Algunas técnicas comunes incluyen el "Robo de Estrategia" (probar que existe una victoria sin