Bolet de la Asociacin Matemtica Venezolana, Vol. XII, No.

2 (2005) n o a

259

DIVULGACION MATEMATICA

Permutaciones y el Juego del 15

Jos Heber Nieto e
Resumen En este trabajo se utilizan conceptos elementales sobre permutaciones para analizar el juego del 15 de Sam Loyd.

1.

Introduccin o

En 1878 Sam Loyd (18411911), uno de los ms grandes creadores de acertia jos que han existido, propuso un rompecabezas que caus verdadero furor en su o poca y ha mantenido su popularidad hasta nuestros d La versin original e as. o consist en una caja cuadrada que conten quince piezas cuadradas, numeraa a das del 1 al 15, dispuestas como se ve en el siguiente diagrama.

1 5 9 13

2 6 10 15

3 7 11 14

4 8 12

Figura 1.

Observe que la casilla inferior derecha est vac y si los nmeros se leen de a a, u izquierda a derecha y de arriba hacia abajo entonces estn ordenados en forma a creciente, excepto por el 15 y el 14 que aparecen transpuestos. Un movimiento vlido consiste en deslizar uno de los nmeros horizontal o a u verticalmente adyacentes a la casilla vac hasta ocuparla, dejando vacante la a casilla ocupada originalmente por la pieza movida. En la posicin inicial hay o slo dos movimientos vlidos, que consisten en mover el 12 o el 14 hasta ocupar o a la casilla inferior derecha. Pues bien, Sam Loyd ofreci pagar mil dlares a quien lograra, mediante o o alguna secuencia de movimientos vlidos, intercambiar el 14 y el 15 dejando a a

260

Jose H. Nieto

los dems nmeros en su posicin inicial. En otras palabras, si llamamos posicin a u o o normal a la que tiene los quince nmeros ordenados en forma creciente y con la u casilla inferior derecha vac la propuesta de Sam Loyd fue hallar una secuencia a, de movimientos vlidos que transforme la posicin de la Figura 1 en la posicin a o o normal. El premio ofrecido desat un verdadero frenes por hallar la solucin. En o o su obra pstuma [2, p. 235] el propio Sam Loyd narra, de manera humor o stica, cmo volvi loco al mundo entero con una pequea caja con piezas movibles. o o n El lector que quiera intentarlo puede fcilmente construir un juego del 15 a con cartulina, o bien jugar por internet, en la pgina del autor a http://mipagina.cantv.net/jhnieto/15-1.htm

2.

Permutaciones

Si no consigui la solucin al problema anterior no se desanime: en realidad o o no existe, y nadie pudo cobrar el premio ofrecido por Sam Loyd! Los matemticos no tardaron mucho en darse cuenta de esto, como lo pruea ban dos art culos [3, 5] aparecidos en 1879 en el American Journal of Mathematics. Para comprender lo que ocurre, recordemos que una permutacin de los o nmeros del 1 al n es una reordenacin cualquiera a1 , a2 , . . . , an de la secuencia u o 1, 2, . . . , n. Si i < j y ai > aj entonces se dice que el par (ai , aj ) es una inversin, o de lo contrario se dice que es una sucesin. Si el nmero total de inversiones o u de una permutacin es par, entonces se dice que la permutacin es par; en caso o o contrario se dice que la permutacin es impar. o El nmero total de permutaciones de los nmeros del 1 al n es n! = 1 2 u u 3 n. Si n > 1 es fcil ver que la mitad de las permutaciones son pares y la otra a mitad son impares (en efecto, la transposicin de los dos primeros elementos de o una permutacin establece una biyeccin entre las permutaciones pares y las o o impares). Es claro que a cada posicin del juego del 15 le podemos asociar una permuo tacin de los nmeros del 1 al 15, leyendo los nmeros de izquierda a derecha o u u y de arriba hacia abajo, sin tomar en cuenta la casilla vac Por ejemplo a la a. posicin inicial del problema propuesto por Sam Loyd le corresponde la permuo tacin 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 14. Esta permutacin tiene una o o sola inversin, a saber el par (15, 14), por lo tanto es impar. La permutacin que o o hab que obtener para ganar el premio era simplemente la sucesin ordenada de a o los 15 primeros nmeros naturales, la cual no tiene inversiones y por lo tanto es u par. Ahora veamos qu ocurre cuando hacemos un movimiento vlido. Es claro e a que los movimientos horizontales no modican en nada la permutacin y tan o slo desplazan la casilla vac dentro de la misma la. En cambio si movemos o a un nmero hacia abajo el efecto ser que este nmero adelanta a los tres que u a u

Permutaciones y el Juego del 15

261

le siguen, y adems la casilla vac pasar de una la impar a una la par, o a a a viceversa.

5 10 6 9

3 8 15 13

1 7

4 11 2

14

12

Figura 2.

Por ejemplo en la posicin que se ilustra en la Figura 2, si bajamos el 7 o entonces ste adelanta al 11, al 6 y al 15. Qu ocurre con la paridad de las e e permutaciones antes y despus del movimiento? En primer lugar observemos e que al bajar un nmero la unica alteracin del orden que se produce es la de ese u o nmero con los tres que le siguen. Por lo tanto las unicas parejas que pueden u cambiar su condicin de inversin a sucesin, o viceversa, son (7,11), (7,6) y o o o (7,15). De hecho, al bajar el 7 la inversin (7, 6) desaparece, pero en cambio o aparecern dos nuevas inversiones: (11, 7) y (15, 7). En general si el nmero a a u bajar est en inversin con k de los tres que le siguen (con k igual a 0, 1, 2 o 3), al a o efectuar el movimiento esas k inversiones desaparecern, pero aparecern 3 k a a nuevas. El cambio en el nmero total de inversiones ser entonces (3 k) k = u a 3 2k, que siempre es impar. Por lo tanto las permutaciones antes y despus e del movimiento sern de diferente paridad. De modo anlogo, subir un nmero a a u hace que ste retroceda tres puestos y la permutacin resultante tendr paridad e o a diferente a la de partida. Ahora bien, si partimos de la posicin inicial propuesta por Sam Loyd y llegao mos a otra con la casilla vac en la misma posicin, el nmero de movimientos a o u verticales realizados debe haber sido par (ya que la casilla vac debe haber a subido tantas veces como baj). Por lo tanto la paridad de la permutacin o o cambi un nmero par de veces, lo cual equivale a decir que qued igual que al o u o principio (o sea impar). Esto demuestra que ni la permutacin ordenada del 1 o al 15, ni ninguna otra permutacin par con la casilla vac en la esquina inferior o a derecha puede ser obtenida a partir de la posicin inicial de Sam Loyd, quien o en ningn momento corri el riesgo de tener que pagar el premio ofrecido. u o

262

Jose H. Nieto

3.

Invariantes

Muchos problemas estn relacionados con sistemas cuyo estado se puede a cambiar aplicando ciertas transformaciones. Los juegos pertenecen a esta categor as como muchos otros problemas en los cuales se aplican en forma a, reiterada transformaciones geomtricas o algebraicas. e Un invariante I es una funcin que a cada estado E del sistema le asocia un o valor I(E) de tal manera que, si de un estado E1 se puede pasar a otro estado E2 mediante una transformacin vlida, entonces I(E1 ) = I(E2 ). o a Los invariantes son muy utiles para demostrar la imposibilidad de pasar de un estado a otro. Si I es un invariante y a partir de un estado A se puede llegar a otro estado B mediante una secuencia de transformaciones vlidas, entonces a es claro que debe ser I(A) = I(B). Por lo tanto si un invariante toma valores diferentes en dos estados, entonces es imposible pasar de uno al otro mediante una sucesin de transformaciones vlidas. o a Para construir un invariante para el juego del 15 comencemos por asignar un valor numrico a la paridad de una permutacin . Ms precisamente, denamos e o a p() = 0 si es par y p() = 1 si es impar. Dada una posicin P del juego del o 15 sea la permutacin asociada y f (1 f 4) la la en la cual se encuentra o la casilla vac Denamos I(P ) = p() + f md 2. a. o Si se realiza un movimiento vlido entonces o bien p() y f mantienen sus a valores (caso de un movimiento horizontal) o bien tanto p() como f cambian en una unidad (caso de un movimiento vertical). En cualquier caso se ve claramente que el valor de I no cambia, y por lo tanto es un invariante. Por ejemplo para la posicin normal N se tiene I(N ) = 0 + 4 md 2 = 0, o o mientras que para la posicin S de la Figura 1 se tiene I(S) = 1 + 4 md 2 = 1. o o El hecho de que I(N ) = I(S) prueba la imposibilidad de pasar de una de estas posiciones a la otra.

4.

Accesibilidad

El problema de accesibilidad consiste en averiguar, para un par de posiciones A y B, si es posible pasar de una a otra mediante una sucesin de movimientos o vlidos. Es claro que una condicin necesaria para que B sea accesible desde A a o es que I(A) = I(B), pero podr no ser suciente (en general, los invariantes a permiten dar demostraciones de la imposibilidad de pasar de un estado a otro, pero no de la posibilidad de hacerlo). Sin embargo, en el juego del 15 la condicin I(A) = I(B) es necesaria y o suciente. Aqu no daremos una demostracin completa de este hecho (el lector o interesado puede ver una en [1]), pero haremos algunas consideraciones que, para los que tengan un poco de prctica en el juego, sern sucientes. a a

Permutaciones y el Juego del 15

263

Denamos en primer lugar una relacin en el conjunto de las posiciones o diciendo que A B si existe una secuencia de movimientos vlidos que nos lleve a de A a B. Es fcil ver que es una relacin de equivalencia: es reexiva pues a o de A se pasa a A mediante la secuencia vac de movimientos; es simtrica pues a e si de A se pasa a B mediante la secuencia M1 , M2 ,. . . ,Ms , entonces se puede pasar de B a A efectuando los movimientos inversos en orden inverso, es decir 1 1 1 Ms , Ms1 ,. . . ,M1 ; y es transitiva pues si una secuencia de movimientos nos lleva de A a B y otra nos lleva de B a C entonces efectuando los movimientos de la primera secuencia y a continuacin los de la segunda, se pasa de A a C. o Ahora bien, cualquiera que haya dedicado cierto tiempo al juego del 15 sabe por experiencia que, partiendo de cualquier posicin inicial A, se pueden ir o ordenando sucesivamente las las hasta llegar, o bien a la posicin normal N o o bien a la posicin S de Sam Loyd (Figura 1). Como I(N ) = 0 y I(S) = 1 o resulta que si I(A) = 0 entonces A N , mientras que si I(A) = 1 entonces A S. Dada otra posicin B con I(A) = I(B) se presentan dos posibilidades: o 1. I(A) = I(B) = 0. En este caso A N y B N , de donde A B. 2. I(A) = I(B) = 1. En este caso A S y B S, de donde A B. En cualquier caso se tiene A B, como quer amos probar. Vemos entonces que divide al conjunto de todas las posiciones en dos clases de equivalencia, tales que de una posicin se puede pasar mediante movimientos o vlidos a cualquier otra de la misma clase, pero a ninguna de la otra clase. La a clase de equivalencia de la posicin normal est formada por las posiciones que o a tienen o bien la casilla vac en la segunda o cuarta la y permutacin par, o a o bien la casilla vac en la primera o tercera la y permutacin impar. a o El nmero total de posiciones del juego del 15 es 16! = 20922789888000, y u en cada clase de equivalencia estn la mitad, o sea 10461394944000 posiciones. a Como ejemplos nales consideremos las dos posiciones representadas en la Figura 3, ambas planteadas por Sam Loyd:

1 4 8 12 5 9 13

2 6 10 14

3 7 11 15

4 3 2 1 Figura 3.

8 7 6 5

12 11 10 9 15 14 13

264

Jose H. Nieto

Es posible obtenerlas a partir de la posicin S de la Figura 1? Para la o posicin de la izquierda no hay inversiones y la casilla vac est en la primera o a a la, por lo tanto el invariante es 1 como para S y la respuesta es armativa. En la posicin de la derecha hay 46 inversiones, con la casilla vac en la primera o a la, por lo tanto el invariante es tambin 1 y la respuesta es armativa. e Otro problema interesante es el de hallar la secuencia ms corta de movia mientos que lleva de una posicin a otra de la misma clase de equivalencia. Este o problema, para la generalizacin del juego del 15 a un tablero de N N con o nmeros del 1 al N 2 1, se ha probado [4] que es computacionalmente intratable u (en el lenguaje de la teor de la complejidad, es NP-hard). a

Referencias
[1] Archer, A. F. A Modern Treatment of the 15 Puzzle, Amer. Math. Monthly 106(9) (1999), 793799. [2] Loyd, S. Cyclopedia of 5000 Puzzles, Tricks and Conundrums - with Answers, The Lamb Publishing Company, New York, 1914. Ahora en l nea en http://www.mathpuzzle.com/loyd/ [3] Johnson, W. W. Notes on the 15 Puzzle. I, Amer. J. Math. 2(1879), 397 399. [4] Ratner, D., Warmuth, M. Finding a shortest solution for the N N extension of the 15-puzzle is intractable, J. Symb. Comp. 10 (1990) 111137. [5] Story, W. E. Notes on the 15 Puzzle. II, Amer. J. Math. 2(1879), 399404.

Jose Heber Nieto Universidad del Zulia Maracaibo, Venezuela