Estoy empezando a jugar con algunas de las propiedades de la combinatoria de los juegos, y me estoy teniendo problemas a la formalización de un argumento basado en el juego de cortés de chocolate.
Hay un n×mn×m cuadrícula de chocolates, donde cada chocolate es etiquetados ci,jci,j por estar en la fila ii columna jj. Cuando un jugador toma el chocolate ci,jci,j, que el jugador debe tomar todos los chocolates ck,lck,l donde k≤ik≤i l≥j.l≥j. La idea de ser, dado que tome un chocolate, Tengo que tomar todos los chocolates en la parte superior derecha del cuadrado a partir de la de chocolate. La persona que toma el chocolate cn,1cn,1 pierde.
Tome este juego simplemente con dos jugadores, donde cada jugador, por turnos, haciendo se mueve en el juego. Tengo la sensación de que si el jugador 1 tiene una estrategia ganadora en el el caso de la n×rn×r board (nn columnas, rr filas de chocolate) cuando n>1∧r>1,n>1∧r>1, y esto es debido a que si el jugador 22 tiene una estrategia ganadora, reproductor 11 puede robar esta estrategia. Sin embargo, estoy teniendo dificultades la formalización de este argumento. Cualquier ayuda sería muy apreciada.