Hexapawn
# Hexapawn

Hexapawn (o hexapeón) es un juego determinista para dos jugadores inventado por Martin Gardner. Se juega en un tablero rectangular de tamaño variable, por ejemplo en un tablero de 3 × 3 o en un tablero de ajedrez. En un tablero de tamaño n × m, cada jugador comienza con m peones, uno por cada casilla de la fila más cercana a ellos. El objetivo de cada jugador es hacer avanzar uno de sus peones al extremo opuesto del tablero o evitar que el otro jugador se mueva.

El Hexapawn en el tablero de 3 × 3 es un juego resuelto; con un juego perfecto, las blancas siempre perderán en 3 jugadas: (1.b2 axb2 2.cxb2 c2 3.a2 c1 #). De hecho, Gardner lo construyó específicamente como un juego con un pequeño árbol de juego, con el fin de demostrar cómo podría ser interpretado por una inteligencia artificial heurística implementada por un equipo mecánico basado en el motor del Matchbox Educable Noughts and Crosses (para el tres en línea) de Donald Michie.

Una variante de este juego es octopawn, que se juega en un tablero de 4 × 4 con 4 peones en cada lado. En octopawn, si ambos jugadores juegan bien, el segundo jugador que se mueva siempre perderá.

## Historia

Martin Gardner ideó un juego para ilustrar con un ejemplo simple la posibilidad de construir un "robot de fósforos", una máquina de autoaprendizaje, que consta de 24 cajas de fósforos con cuentas de colores. Una máquina de tic-tac-toe similar consta de 300 cajas de cerillas. El juego apareció en la sección Mathematical Games de la revista Scientific American en marzo de 1962.

En 1967, el juego fue utilizado por D. Bagley en su disertación, en la que también se introdujo el término “algoritmo genético”.

## Generalizaciones

El juego es posible en las juntas de otros tamaños, en particular, 4×4 ("Octapawn") o n×3 (anchura n celdas). El artículo de John R. Brown proporciona un análisis completo de la variación "amplia" del juego; si el ancho del tablero es de n celdas, entonces el jugador que realiza el primer movimiento tiene una estrategia ganadora si y solo si el último dígito del número n es 1, 4, 5, 7 u 8.

## Reglas

Como en el ajedrez, cada peón puede moverse de dos formas diferentes: puede moverse una casilla hacia adelante o puede capturar un peón una casilla en diagonal por delante de él. Un peón no puede moverse hacia adelante si hay un peón en la siguiente casilla. A diferencia del ajedrez, el primer movimiento de un peón no puede avanzar dos espacios. Un jugador pierde si no tiene movimientos legales o si el otro jugador llega al final del tablero con un peón.

## Ajedrez de Dawson

Siempre que un jugador avanza un peón a la penúltima fila (a menos que sea un peón aislado) existe la amenaza de pasar a la última fila mediante captura. Por lo tanto, las únicas respuestas sensatas del oponente son capturar el peón avanzado o avanzar el amenazado, siendo esto último solo sensible en el caso de que haya un peón amenazado en lugar de dos. Si uno restringe 3 × N hexapawn con la regla adicional de que la captura es siempre obligatoria, el resultado es el ajedrez de Dawson.

El ajedrez de Dawson se reduce al juego imparcial denotado .137 en la notación de Conway. Esto significa que es equivalente a un juego similar a Nim en el que:

* en un turno, el jugador puede quitar uno a tres objetos de un montón,
* eliminar solo un objeto es un movimiento legal solo si el objeto eliminado es el único objeto en el montón, y
* al retirar tres objetos de un montón de cinco o más, el jugador también puede dividir el resto en dos montones.

La posición inicial es una sola pila de tamaño N. La secuencia nim para este juego es

donde las entradas en negrita indican los valores que difieren del eventual comportamiento periódico de la secuencia.

