Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final

Teora del Juego - Juegos Combinatoriales

Imparciales
Carlos Gmez
Taller de Resolucin de Problemas
Escuela de Matemtica
Universidad de El Salvador
Estudio de Casos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Esquema
Introduccin
Juegos de Agarrar
El Juego de Nim
Juegos en Grafos
Suma de Juegos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Outline
Introduccin
Juegos de Agarrar
El Juego de Nim
Juegos en Grafos
Suma de Juegos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Introduccin
Con facilidad podemos nombrar juegos de entretenimiento
Tambin existen una rea vasta de juegos en economa y
poltica
Competencia entre rmas, conicto entre la direccin y
trabajadores, pasar una ley, etc. son ejemplos de casos
que residen en el rea de teora del juego
Existen juegos en el rea de biologa y psicologa
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Caracterizaciones y notacin
Los juegos son caracterizados por un nmero de jugadores
que interactan, posiblemente amenazando a otros y formando
coaliciones, toman acciones bajo ciertas condiciones y
nalmente reciben benecio o premio o castigo o prdidas
monetarias.
Denotaremos por n al nmero total de jugadores y sea
N = {1, 2, . . . , n} el conjunto de los jugadores.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Estudiamos en su mayora juegos donde n = 2.
Nota de inters: Cuando tratamos el caso en que n = 1
entonces el sub-rea es llamada Teora de Decisin.
Solitario y rompecabezas son ejemplos de esto.
En algunos casos podemos suponer un nmero innito de
jugadores.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Outline
Introduccin
Juegos de Agarrar
El Juego de Nim
Juegos en Grafos
Suma de Juegos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Juegos Combinatorios
Los juegos combinatorios son juegos donde n = 2, se
posee informacin perfecta y no hay acciones aleatorias
con ganar-perder como nicos resultados.
Tal juego esta determinado por un conjunto de posiciones
hasta que una posicin terminal es alcanzada.
Juegos imparciales son aquellos en los cuales el conjunto
de movimientos desde cualquier posicin es igual para
ambos jugadores, de otra forma son juegos no imparciales.
Son ajedrez y damas juegos imparciales?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Juegos de Agarrar
Aqu hay reglas para un juego imparcial combinatorio simple de
remover chas.
1. Existen dos jugadores, I y II
2. Hay 21 chas en la mitad de la mesa.
3. Las nicas movidas consisten en remover uno, dos o tres
chas del montn.
4. Jugadores se alternan con jugador I empezando.
5. El jugador que remueve la ltima cha gana (si no puedes
mover pierdes).
El mtodo para solucionar este problema se llama induccin
inversa. Puedes recordarlo?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Que es un Juego Combinatorio?
1. Existen dos jugadores.
2. Hay un conjunto de posibles posiciones en el juego.
3. Las reglas del juego especican cuales son las movidas
legales. Dependiendo de esto el juego puede ser imparcial
o no imparcial.
4. Los jugadores se alternan.
5. El juego termina cuando un jugador no puede hacer un
movimiento.
Reglas normales: El ltimo jugador en mover gana.
Reglas misre: El ltimo jugador en mover pierde.
6. El juego termina en un nmero nito de movimientos no
importando como se juegue.
7. No se permiten movimientos al azar ni simultneos ni
escondidos, no empates.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Posicin P, Posicin S
Regresando al juego de agarrar, vemos que 0, 4, 8, 12, 16,
... son posiciones ganadoras para el jugador Previo (el que
acaba de jugar) y que 1, 2, 3, 5, 7, 9, 10, 11, ... son
ganadoras para el Siguiente jugados a mover.
Las posiciones P en este caso son entonces aquellos
enteros divisibles por 4.
En juegos imparciales combinatorios, podemos hallar
cales posiones no P y cuales son posiciones S a travs de
induccin utilizando el proceso de etiquetar descrito en la
siguiente diapositiva.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Algoritmo para hallar posiciones P y S
1. Etiquetar cada posicin terminal como posicin P.
2. Etiquetar cada posicin que puede alcanzadar una
posicin P en un movimiento como S.
3. Hallar aquellas posiciones que estn a un movimiento de
una posicin S y etiquetarlas como posicin P.
4. Si no hay mas posiones que etiquetar parar, de otra forma
regresar al paso 2.
Esta claro que la estrategia de moverse en posiciones P gana.
De una posicin P tu oponente solo se puede mover a una
posicin S (1). De all te puedes mover a una posicin P (2).
Eventualmente el juego termina en la posicin terminal y ganas
(1).
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Propiedades caractersticas
Posiciones P y s son denidas recursivamente por las
siguientes 3 armaciones:
1. Todas las posiones terminales son posiones P.
2. De cada posicin S, existe al menos una se mueve a
posicin P.
3. De cada posicin P, todo movimiento cae en posicin S.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Juegos de Substraccin
Este tipo de juegos combinatorios tiene el Juego de
Agarrar como caso especial.
Sea S un conjunto de enteros positivos. El juego con
conjunto de substraccin S procede as:
De un montn de chas (n chas) dos jugadores juegan
alternadamente. Un movimiento consiste en remover s
chas del montn donde s S. El ltimo que mueva gana.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Caso especial
Analizemos el caso con conjunto de substraccin
S = {1, 3, 4} al tratar de encontrar todos sus posiciones P.
Existe una sola posicin terminal, 0.
De all, 1, 3, 4 son posiciones S.
Pero 2 debe ser una posicin P ya que el nico movimiento
legal es a 1, que es posicin S.
Entonces 5 y 6 deben ser posiciones S ya que pueden ser
movidos a 2.
Ahora 7 es una posicin P ya que solo puede moverse a 6, 4
o 3, los cuales son posiciones S.
Similarmente vemos que 8, 10, 11 son posiciones S, 9 es una
posicin P, 12 y 13 son posiciones S y 14 es una posicin P.
Esto se extiende por induccin.
Por lo que P = {0, 2, 7, 9, 14, 16, . . .} que son el conjunto de
enteros no negativos con residuo 0 o 2 modulo 7. S = P
c
.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
x 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 . . .
posicin P S P S S S S P S P S S S S P . . .
El patrn PSPSSSS de longitud 7 se repite innitamente.
Quin gana si hay 100 chas, el primer jugado o el segundo
jugador.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Juego de agarrar (versin misre)
Considera la versin misre del juego de agarrar donde el
ltimo jugador en mover pierde. El objetivo es forzar a tu
oponente en tomar la ltima cha. Analiza este juego. Cuales
son las posiciones P?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Outline
Introduccin
Juegos de Agarrar
El Juego de Nim
Juegos en Grafos
Suma de Juegos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
El Juego de Nim
El juego ms famoso de juegos de agarrar es el juego de Nim.
Existen 3 montones de chas conteniendo x
1
, x
2
y x
3
chas respectivamente.
Dos jugadores toman turnos agarrando chas.
Cada movimiento consiste en seleccionar un montn y
remover chas.
Se pueden remover tantas chas solamente del montn
seleccionado como se desee.
El ganador es el jugador que remueve la ltima cha.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Analisis Preliminar
Existe slo una posicin terminal: (0, 0, 0) lo cual es una
posicin P.
La solucin de Nim con un montn es trivial:
cualquier posicin de la forma (0, 0, x) es una posicin S
(x > 0).
Posiciones con dos montones de chas iguales son
posiciones P. Porque?
Si hay chas en los tres montones la situacin es ms
complicada.
Describiremos la solucin utilizando el concepto de la
Suma Nim.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Suma Nim
La suma nim de dos enteros no negativos es su suma "sin
llevar" mdulo 2.
Denotemos por x = (x
m
x
m1
. . . x
1
x
0
)
2
, x en base 2.
La suma nim de dos enteros se encuentra expresado los
enteros en base dos y sumando en mdulo 2 los
componentes individuales correspondientes.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Denicin
Denicin
La suma nim de (x
m
. . . x
0
)
2
y (y
m
. . . y
0
)
2
es (z
m
. . . z
0
)
2
, y lo
escribimos como (x
m
. . . x
0
)
2
(y
m
. . . y
0
)
2
= (z
m
. . . z
0
)
2
,
donde z
k
= x
k
+y
k
(mod 2), eso es, z
k
= 1 si x
k
+y
k
= 1 y z
k
de otra forma.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Ejemplos
10110
2
110011
2
= 100101
2
. Esto dice que 22 51 = 37. Es
ms fcil ver la suma nim de esta forma:
22 = 10110
2
51 = 110011
2
suma nim = 100101
2
= 37
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Propiedades
La suma nim es asociativa (x (y z) = (x y) z) y
conmutativa (x y = y x) ya que la suma en mdulo 2
los es.
Por lo que podemos escribir x y z sin ambigedad.
Adems 0 es la identidad para la suma (0 x = x).
Cada nmero es su propio negativo (x x = 0).
Por lo que si x y = x z implica y = z.
Falta responder la pregunta: Qu tiene que ver la suma nim
con el juego Nim?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Teorema
Teorema de Bouton
Una posicin (x
1
, x
2
, x
3
) en Nim es una posicin P si y solo si
la suma nim de los componentes es cero, x
1
x
2
x
3
= 0.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Ejemplo y Nim con ms montones
Como ejemplo (4, 12, 8) es una posicin P ya que:
4 = 100
2
12 = 1100
2
8 = 1000
2
suma nim = 0000
2
= 0
Nim con un nmero mayor de montones. Como lo
demostraremos a continuacin, el teorema de Bouton se
extiende no solo para el caso de tener 3 montones sino para
cualquier n predenido.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Demostracin del Teorema de Bouton
Sea P el conjunto de posiciones Nim con suma nim cero y sea
S el complemento de ese conjunto. Vericaremos las
condiciones denidas.
1. Todo posicin terminal esta en P. Por que es esto cierto?
2. De cada posicin en S, existe un movimiento a la posicin P.
Aqu esta como construimos ese movimiento.
De la suma nim en columna, vemos a la columna ms a la
izquierda con un nmero impar de 1s. Cambiamos cualquiera
de los nmeros que tienen un 1 en esa columna a un nmero
tal que hayan un nmero par de 1s en cada columna. Esto lo
hace el nmero menor puesto que cambiamos un 1 que estaba
en la posicin ms signicativa en cero. Por lo que esto hace
un movimiento legal en P.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
3. Cada movimiento de una posicin P va a una posicin S. Si
(x
1
, x
2
, . . .) esta en P y x
1
es cambiado a x

1
< x
1
entonces no
podemos tener x
1
x
2
= 0 = x

1
x
2
, porque? Por
lo que x

1
x
2
= 0 implicando que (x

1
, x
2
, . . .) esta en S.
Estas tres propiedades muestran que P es un conjunto de
posiciones P.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Outline
Introduccin
Juegos de Agarrar
El Juego de Nim
Juegos en Grafos
Suma de Juegos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Juegos de Grafos
Ahora damos una descripcin equivalente de los juegos
combinatorios utilizando grafos dirigidos.
Esto es hecho identicando posiciones en el juego con
vrtices en los grafos y movimientos con bordes de el
grafo.
De all deniremos una funcin conocida como la funcin
Sprague-Grundy que contiene ms informacin que saber
slo la posiciones P y S.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Denicin de un grafo dirigido
Denicin
Un grafo dirigido, G, es un par (X, F) donde X es un conjunto
no vaco de vrtices (posiciones) y F es una funcin que da
para cada x X un subconjunto de x , F(x) X. Para cada
x X. F(x) representa la posicin al cual el jugador puede
mover de x (llamado los seguidores de x). Si F(x) es vaci, x
es llamado una posicin terminal.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Un juego ganar-perder de 2 personas podra ser jugado en tal
grafo G = (X, F) estipulando una posicin inicial x
0
X y
utilizando las siguientes reglas:
1. Jugador I mueve primero, empezando en x
0
.
2. Jugadores alternan movimientos.
3. En posicin x, el jugador que mueva solo puede escoger
una posicin y F(x).
4. El jugador que esta en la posicin terminal en su turno, y
por lo tanto no puede mover, pierde.
Para evitar complicaciones, nos restringimos a grafos que son
progresivamente acotados (tal que cualquier camino sea menor
o igual a un n Z). Asumimos que X es nito, no cclico.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Ejemplo
El juego de substraccin con conjunto de substraccin
S = {1, 2, 3} y n chas, puede ser representado como un
juego de grafos.
Que sera X en este caso?
A que sera igual F(0)? A qu sera igual F(k)?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
La Funcin Sprague-Grundy
Denicin
La funcin Sprague-Grundy del grafo (X, F) es una funcin g,
denida en X y tomando valores enteros no negativos tal que
g(x) = mn {n 0 : n = g(y) para y F(x)} . (1)
En otras palabras g(x) es el menor entero no negativo no
encontrado en los valores Sprague-Grundy de los seguidores
de x.
Si denimos el mnimo excluyente, o mex, de un conjunto
no negativo de enteros como el menor de los enteros que no
esta en el conjunto, entonces podramos escribir simplemente
g(x) = mex {g(y) : y F(x)} . (2)
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Ejemplo
Hallar los valores Sprague-Grundy del siguiente juego de
grafos:
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
La funcin g(x) es denida recursivamente.
g(x) es denido en trminos de g(y)para todos los
seguidores y de x.
La recursin empieza propiamente.
Si x es una posicin terminal, a que es igual g(x)?
A que es igual g(x) si el seguidor de x es una posicin
terminal?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Uso
Posiciones x para las cuales g(x) = 0 son posiciones P
mientras que las dems son posiciones S. El procedimiento
ganador es terminar despues de cada movimiento en un
vrtice con valor Sprague-Grundy cero. Esto es fcil al ver las
condiciones:
1. Si x es una posicin terminal, g(x) = 0.
2. A la posicin x para el cual g(x) = 0, todo seguidor y de x
es tal que g(y) = 0.
3. A la posicin x para el cual g(x) = 0, existe al menos un
seguidor y tal que g(y) = 0.
La funcin Sprague-Grundy contiene ms informacin que solo
las posiciones P y S. Pero ese tema no se abordara en esta
charla.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Otro ejemplo
Utilizando la siguiente gura ilustramos una vez ms la forma
en como hallar los valores SG.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
SG aplicado al juego de substraccin
Cul es la funcin Sprague-Grundy del juego de substraccin
con conjunto substraccin S = {1, 2, 3}?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Al Menos la Mitad
Considere el juego de un montn con la regla que se tienen
que remover al menos la mitad de las chas. La nica posicin
terminal es cero. Podemos calcular la funcin Sprague-Grundy
inductivamente como:
x 0 1 2 3 4 5 6 7 8 9 10 11 12 . . .
g(x) 0 1 2 2 3 3 3 3 4 4 4 4 4 . . .
Vemos que g(x) puede ser expresado como el exponente de la
menor potencia de de 2 mayor que x: g(x) = mn

k : 2
k
> x

.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
La Funcin SG en grafos ms generales
Veremos que pasa en grafos que no son progresivamente
acotados.
Supongamos que la hiptesis de grafos progresivamente
acotadas es debilitado a requerir solo que el grafo sea
progresivamente nito.
Un grafo que es progresivamente nito si cualquier
camino tiene una longitud nita.
Un ejemplo de un grafo que es progresivamente nito pero
no progresivamente acotado es considerar un juego como
en el grafo mostrado a continuacin donde el primer
movimiento es escoger un nmero de chas de un montn
y despus seguir las reglas del juego de Nim.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Del camino inicial cada camino tiene una longitud nita.
Pero el grafo no es acotado puesto que no hay limite
superior de la longitud del camino de la posicin original.
La teora de Sprague-Grundy puede ser extendida a
grafos progresivamente nitos pero induccin transnita
tiene que ser utilizado. El valor SG de la posicin original
sera el menor numero ordinal mayor que todos los
eneteros, usualmente denotado por .
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Valores SG para grafos cclicos
Nuevos problemas surgen si se permite utilizar grafos
cclicos. La funcin SG que satisfaga las condiciones
pueden no existir.
Aqu hay un ejemplo de un caso en el que ningn jugador
pierde jugando racionalmente, porque?.
En este caso la funcin Sprague-Grundy no existe.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Outline
Introduccin
Juegos de Agarrar
El Juego de Nim
Juegos en Grafos
Suma de Juegos
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Suma de Juegos Combinatorios
Dado varios juegos combinatorios, se puede formar un
nuevo juego.
Dadas posiciones iniciales en cada uno de los juegos, los
jugadores alternan movimientos.
Un movimiento para un jugador consiste en seleccionar
cualquiera de los juegos y hacer un movimiento legal slo
all.
El juego contina hasta que todos los juegos alcanzan una
posicin terminal.
El jugador que movi de ltimo es el ganador.
Este nuevo juego es llamado suma de juegos
(disjuntos).
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Suma de n juego de grafos
Denicin
Suponer que tenemos n grafos progresivamente acotados,
G
1
= (X
1
, F
1
), . . . , G
n
= (X
n
, F
n
). Los podemos combinar en
un nuevo grafo, G = (X, F), llamada la suma de G
1
, G
2
, . . . , G
n
denotado por G = G
1
+. . . +G
n
como sigue. El conjunto X de
vrtices es el producto Cartesiano X = X
1
. . . X
n
. Este es
el conjunto de los vrtices (x
1
, x
2
, . . . , x
n
) tal que x
i
X
i
para
todo i. Para los vrtices x = (x
1
, . . . , x
n
) X, el conunto de los
seguidores de x es denido como
F(x) = F(x
1
, . . . , x
n
) =F
1
(x
1
) {x
2
} . . . {x
n
}
{x
1
} F
2
(x
2
) . . . {x
n
}
. . .
{x
1
} {x
2
} . . . F
n
(x
n
).
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Por lo tanto una movida de x = (x
1
, . . . , x
n
) consiste en
mover exactamente uno de los x
i
a uno de sus seguidores
(un punto en F
i
(x
i
)).
El juego de grafos jugado e G es llamado suma de los
juegos de grafos G
1
, . . . , G
n
.
Si cada grafo G
i
es progresivamente acotado, entonces la
suma G es progresivamente acotado tambin.
El mximo nmero de movidas del vrtice x = (x
1
, . . . , x
n
)
es la suma del mximo nmero de movimientos en cada
uno de los grafos.
El juego de Nim de 3 montones puede ser considerado
como la suma de 3 juegos de Nim, cada uno con un
montn.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
El siguiente teorema nos da un mtodo para obtener la
funcin Sprague-Grundy de la suma de juego de grafos
cuando la suma de la funciones Sprague-Grundy de cada
uno de los juegos es conocida.
Revisaremos la nocin de la suma nim.
Esto puede considerarse una dramtica generalizacin del
teorema de Bouton.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Teorema Sprague-Grundy
Teorema
Si g
i
es la funcin Sprague-Grundy de G
i
, i = 1, . . . , n,
entonces G = G
1
+. . . +G
n
tiene funcin Sprague-Grundy
g
1
(x
1
, . . . , x
n
) = g(x
1
) . . . g
n
(x
n
).
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Demostracin
Sea x = (x
1
, . . . , x
n
) un punto arbitrario de X. Sea
b = g
1
. . . g
n
(x
n
).
Debemos mostrar dos cosas para la funcin g(x
1
, . . . , x
n
) :
1. Para cualquier entero no negativo a < b , existe un
seguidor de (x
1
, . . . , x
n
) que tiene valor g igual a a.
2. No seguidor de (x
1
, . . . , x
n
) tiene valor g igual a b.
De all, el valor SG de x, siendo el menor valor SG no asumido
por sus seguidores, debe ser b.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Demostracin de (1)
Para mostrar (1), sea d = a b, y k sea el nmero de dgitos en
la expansin binaria de d, tal que 2
k1
d < 2
k
y d tiene un 1
es la posicin k (desde la derecha). Ya que a < b, b tiene un 1
en la posicin k y a tiene 0 all.
Ya que b = g
1
(x
1
) . . . g
n
(x
n
), existe al menos un x
i
tal que
la expansin binaria de g
i
(x
i
) es 1 en la posicin k. Suponga
por simplicidad que i = 1. Entonces d g
1
(x
1
) < g
1
(x
1
) por lo
que hay un movimiento de x
1
a algn x

1
con
g
1
(x

1
) = d g
1
(x
1
). Entonces el movimiento de (x
1
, . . . , x
n
) a
(x

1
, . . . , x
n
) es una movida legal en G y
g
1
(x

1
) g
2
(x
2
) . . . g
n
(x
n
) = d g
1
. . . g
n
(x
n
) = d b = a
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Demostracin de (2)
Finalmente, para mostrar (2), suponemos lo contrario, que
(x
1
, . . . , x
n
) tiene un seguidor con el mismo valor g, y
suponemos sin prdida de generalidad que envuelve un
movimiento en el primer juego.
Lo que signica que suponemos que (x

1
, x
2
, . . . , x
n
) es un
seguidor de (x
1
, x
2
, . . . , x
n
) y que
g
1
(x

1
) . . . g
n
(x
n
) = g
1
(x
1
) . . . g
n
(x
n
). Por la ley de
cancelacin g
1
(x

1
) = g(x
1
). Pero esto es una contradiccin
puesto que no podemos tener a un seguidor con el mismo
valor SG.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Observacin
Una observacin interesante es que el teorema implica que
cada juego imparcial progresivamente acotado cuando se
consideran individualmente el comportamiento de uno de los
componente del juegos, observamos que el comportamiento
es como si fuera alguna variacin del juego Nim.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Suma de Juegos de Substraccin
Denotemos por G(m) el juego de substraccin de un montn
con conunto de substraccin S
m
= {1, 2, . . . , m}, en la cual se
pueden remover de 1 a m chas del montn. Por lo tanto
g
m
(x) x (mod m+ 1) y 0 g
m
(x) m.
Considere la suma de tres juegos de substraccin.
En el primero, m = 3 y la pila tiene 9 chas.
En el segundo, m = 5 y la pila tiene 10 chas.
Y en tercero, m = 7 y la pila tiene 14 chas.
De esta forma tenemos el juego G(3) +G(5) +G(7) y la
posicin inicial es (9, 10, 14).
El valor de la posicin inicial es
g(9, 10, 14) = g
3
(9) g
5
(10) g
7
(14) = 1 4 6 = 3.
Una movida ptima es cambiar la posicin en el juego G(7) a
tener un valor Sprague-Grundy de 5. Esto solo puede ser
hecho removiendo una cha de la pila de 14, dejando 13.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Par si no Todo - Todo si Impar
Considere el juego con una pila con la regla que tu puedes
remover:
1. Un nmero par de chas si no es todo el montn.
2. Todo el montn dado que haya un numero impar de chas.
Hay dos posiciones terminales, cuales?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Calculamos inductivamente,
x 0 1 2 3 4 5 6 7 8 9 10 11 12 . . .
g(x) 0 1 0 2 1 3 2 4 3 5 4 6 5 . . .
y vemos que g(2k) = k 1 y g(2k 1) = k para k 1.
Supongamos que este juego consiste de 3 pilas de tamaos
10, 13 y 20. Los valores SG son g(10) = 4, g(13) = 7 y
g(20) = 9. Ya que 4 7 9 = 10 no es cero, este es una
posicin S. Una movida ganadora sera cambiar el valor SG de
9 a 3.
Para esto removemos 12 chas de la pila de 20 dejando 8, ya
que g(8) = 3.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Una suma de tres juegos diferentes
Suponga que usted esta jugando el juego de agarrar de 3 pilas.
Para la primer pila hay 18 chas, las reglas son las del
juego previo: Par si no todo - Todo si impar.
Para la segunda pila de 17 chas , la regla de
Al-Menos-la-Mitad aplica.
Para la tercera pila de 7 chas, la regla de Nim aplica.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Solucin
Primero, encontramos el valor SG de las tres pilas que son 8,
5 y 7 respectivamente.
Esto tiene una suma Nim de 10 y por lo tanto es una posicin
S.
Puede cambiarse a una posicin P al cambiar el valor SG de
la primera pila a 2.
De lo trabajado anteriormente, esto ocurre para pilas de 3 y 6
chas.
No podemos movernos de 18 a 3 pero podemos movernos
de 18 a 6.
As, una ptima solucin es sustraer 12 chas de la pila de
18 chas dejando 6 chas.
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Preguntas?
Introduccin Juegos de Agarrar El Juego de Nim Juegos en Grafos Suma de Juegos Final
Gracias.