Cuando tenemos un problema con una situacion que cambia, puede ser un tablero, fichas o algo del estilo, buscamos entender como es que cambia. Por ahora digamos que estamos trabajando en un tablero, pero puede ser cualquier objeto que tenga "estados" distintos. Una invarianza es algo que no cambia no importa como cambie tu tablero. Un ejemplo usual de invarianzas son congruencias o paridad de alguna de las cosas que cambian. Imaginemos que el problema es de un tablero de ajedrez (de $8\times 8$ donde podemos elegir 2 cuadraditos pegados y cambiar su color. Cambiar el blanco a negro y el negro a blanco. Si iniciamos con la coloracion de ajedrez podemos llegar a un solo cuadraro negro en una esquina? La respuesta es que no pues la invarianza es la paridad del numero de cuadrados negros nunca cambia. Si cambiamos dos cuadrados blancos, añadimos dos cuadrados negros, si cambiamos dos negros quitamos 2 negros, y si es 1 y 1, entonces se mantiene el numero de negros. No importa que hagamos el numero de cuadrados negros siempre es par y no podemos terminar con solo un cuadrado negro en una esquina. Una monovarianza es algo parecido a la invarianza pero en lugar de que algo se mantenga, sabemos que siempre cambia de la misma manera. Un ejemplo es el siguiente juego con un monton de $n$ piedras. Los jugadores $A$ y $B$ van a jugar, empezando por $A$ y lo que pueden hacer en cada turno es tomar un monton de piedras y separarlo en $2$ montones de cualquier tamaño con almenos $1$ piedra cada uno. El primer jugador que ya no pueda mover pierde. Si empiezan con un solo monton de $n$, para que valores de $n$ gana $A$ y para cuales gana $B$? Aqui lo que obsrvamos son 2 cosas. Mientras que un monton tenga mas de $1$ piedra se puede separar en $2$ montones. La siguiente observación es que en cada turno siempre hay exactamente un monton de piedras más que en el anterior. Entonces solo hay un posible estado donde un jugador pierde y es cuando hay $n$ montones con $1$ piedra cada uno. Para llegar a ese estado como en cada turno hay un montón más, entonces se necesitan $n-1$ turnos para llegar a la posicion perdedora. Si $n$ es par, $n-1$ es impar y $B$ pierde. Y si $n$ es impar, $n-1$ es par y $A$ pierde.