# Hex (juego)

Hex es un juego de mesa abstracto de estrategia para dos jugadores en el que los jugadores intentan conectar los lados opuestos de un tablero con forma de rombo compuesto de celdas hexagonales. Hex fue inventado por el matemático y poeta Piet Hein en 1942 y más tarde redescubierto y popularizado por John Nash.
Tradicionalmente, se juega en un tablero de rombo de 11x11 celdas, aunque los tableros de 13x13 y 19x19 también son populares. El tablero está compuesto por hexágonos llamados celdas o hexágonos. A cada jugador se le asigna un par de lados opuestos del tablero, que deben tratar de conectar colocando alternativamente una piedra de su color en cualquier hexágono vacío. Una vez colocadas, las piedras nunca se mueven ni se quitan. Un jugador gana cuando logra conectar sus lados juntos a través de una cadena de piedras adyacentes. Los empates son imposibles en Hex debido a la topología del tablero de juego.
A pesar de la simplicidad de sus reglas, el juego tiene una estrategia profunda y tácticas agudas. También tiene profundas bases matemáticas. El juego fue publicado por primera vez con el nombre de Polygon en el periódico danés Politiken el 26 de diciembre de 1942. Más tarde se comercializó en Dinamarca como un juego de mesa bajo el nombre de Con-tac-tix, y Parker Brothers comercializó una versión en 1952 llamada Hex; ya no están en producción. Hex también se puede jugar con papel y lápiz en papel cuadriculado hexagonal.

## Historia

Fue inventado por el matemático danés Piet Hein en 1942 y, de forma independiente, por el matemático John Forbes Nash a finales de los años 40.
El juego fue redescubierto en 1948 o 1949 por el matemático John Nash en la Universidad de Princeton. Según Martin Gardner, quien presentó Hex en su columna "Juegos Matemáticos" de julio de 1957, los compañeros de juego de Nash llamaban al juego Nash o John, siendo este último nombre una referencia al hecho de que el juego podía jugarse con baldosas hexagonales de baño. Nash insistió en que descubrió el juego de forma independiente a Hein, pero existe cierta duda al respecto, ya que se sabe que había daneses, incluido Aage Bohr, que jugaban Hex en Princeton en la década de 1940, por lo que Nash podría haber captado la idea de forma subconsciente. Hein escribió a Gardner en 1957 expresando su duda de que Nash descubriera Hex de forma independiente. Gardner no pudo verificar ni refutar independientemente la afirmación de Nash. Gardner escribió en privado a Hein: "Lo discutí con el editor, y decidimos que lo caritativo era darle a Nash el beneficio de la duda. ... El hecho de que inventaste el juego antes que nadie es indiscutible. Cualquier número de personas puede llegar después y decir que pensaron en lo mismo en una fecha posterior, pero esto significa poco y a nadie le importa realmente".$^{:134}$ En una carta posterior a Hein, Gardner añadió: "Solo entre tú y yo, y sin que quede registrado, creo que acertaste cuando te referiste a un 'destello de una sugerencia' que llegó al Sr. Nash desde una fuente danesa, y que más tarde olvidó. Parece la explicación más probable."$^{:136}$

## Reglas

| Diagrama de un tablero de hex de tamaño 11x11 sin ninguna casilla ocupada. Se distinguen con distinto color los laterales. | Diagrama de un tablero de hex de tamaño 11x11 con una partida terminada. Las negras han formado una línea que conecta sus laterales (sombreados en negro) y ganan. |
Inicialmente el tablero está vacío. A cada jugador se le asigna un color de fichas y dos laterales opuestos del tablero que tendrá que intentar conectar con sus fichas siguiendo las reglas del juego.
Los jugadores van colocando fichas por turnos sobre el tablero en casillas desocupadas.
Gana el primer jugador que consigue formar una línea de sus fichas que conecte sus dos laterales. No son posibles los empates.
Generalmente se añade una regla adicional para contrarrestar la ventaja que supone el mover en primer lugar. Consiste en que el segundo jugador en mover puede decidir en ese turno intercambiar los colores o no. Si los intercambia, la primera ficha colocada pasa a ser su primera ficha y el jugador que movió en primer lugar vuelve a mover, pero ahora con los nuevos colores; si no, la partida continúa normalmente. Sólo es posible decidir el intercambio de colores en ese turno.

### El tablero

El tablero es un rombo formado por hexágonos, los dos lados opuestos del rombo esta indicados en un mismo color, el número de hexágonos es variable, si bien suele rondar los diez por lado.
En la figura se pueden ver cuarto ejemplos de tablero de 9, 10, 11 y 12 hexágonos por lado.

### Las fichas

Las fichas son de un color por jugador, y del mismo color que los lados opuestos del rombo. En el ejemplo se puede ver dos lados del tablero de color rojo y los otros dos lados de color verde, las fichas son de ese mismo color.
Cada ficha se coloca por orden en uno de los hexágonos del tablero, y una vez colocada no se puede mover.

## Tipo de juego

Hex es un juego de información perfecta finito para 2 jugadores, y un juego de estrategia abstracta que pertenece a la categoría general de los juegos de conexión. Puede ser clasificado como un juego de Maker-Breaker,$^{:122}$ un tipo particular de juego posicional. Debido a que el juego nunca puede terminar en empate,$^{:99}$, Hex es también un juego determinado.
Hex es un caso especial de la versión "nodo" del juego de conmutación de Shannon.

## Teoría matemática
### Determinación

No es difícil demostrar que Hex no puede terminar en empate, es decir, no importa cómo se llene el tablero con piedras, siempre habrá un único jugador que ha conectado sus bordes. Este hecho fue conocido por Piet Hein en 1942, quien lo mencionó como uno de sus criterios de diseño para Hex en el artículo original de Politiken.$^{:29}$Hein también afirmó este hecho como "una barrera para tu oponente es una conexión para ti".$^{:35}$ John Nash escribió una demostración de este hecho alrededor de 1949, pero aparentemente no publicó la demostración. Su primera exposición aparece en un informe técnico interno en 1952, en el que Nash afirma que "la conexión y el bloqueo del oponente son actos equivalentes". Una demostración más rigurosa fue publicada por John R. Pierce en su libro de 1961 Symbols, Signals, and Noise. En 1979, David Gale publicó una demostración que también mostraba que podía usarse para demostrar el teorema del punto fijo de Brouwer en dos dimensiones, y que la determinación de variantes de mayor dimensión demuestra el teorema del punto fijo en general.

### Estrategia ganadora del primer jugador

En Hex, sin la regla de intercambio en cualquier tablero de tamaño nxn, el primer jugador tiene una estrategia ganadora teórica. Este hecho fue mencionado por Hein en sus notas para una conferencia que dio en 1943: "a diferencia de la mayoría de los otros juegos, se puede demostrar que el primer jugador siempre puede ganar en teoría, es decir, si pudiera ver el final de todas las posibles líneas de juego".$^{:42}$
Todas las pruebas conocidas de este hecho son no constructivas, es decir, la prueba no da ninguna indicación de cuál es la estrategia ganadora real. Aquí hay una versión condensada de una prueba que se atribuye a John Nash alrededor de 1949. La prueba funciona para varios juegos, incluido Hex, y se ha denominado el argumento de robo de estrategia.
Dado que es imposible que el juego termine en un empate (ver arriba), o el primer o el segundo jugador deben ganar. Como Hex es un juego de información perfecta, debe haber una estrategia ganadora para el primer o el segundo jugador. Supongamos que el segundo jugador tiene una estrategia ganadora. Ahora el primer jugador puede adoptar la siguiente estrategia. Hacen un movimiento arbitrario. A partir de entonces, juegan la estrategia ganadora del segundo jugador asumida anteriormente. Si al jugar esta estrategia, se les exige jugar en la celda donde se hizo un movimiento arbitrario, hacen otro movimiento arbitrario. De esta manera, juegan la estrategia ganadora con una pieza extra siempre en el tablero. Esta pieza extra no puede interferir con la imitación de la estrategia ganadora del primer jugador, ya que una pieza extra siempre es una ventaja y nunca una desventaja. Por lo tanto, el primer jugador puede ganar. Debido a que ahora hemos contradicho nuestra suposición de que hay una estrategia ganadora para el segundo jugador, concluimos que no hay una estrategia ganadora para el segundo jugador. En consecuencia, debe haber una estrategia ganadora para el primer jugador.

### Complejidad computacional

En 1976, Shimon Even y Robert Tarjan demostraron que determinar si una posición en un juego de Hex generalizado jugado en grafos arbitrarios es una posición ganadora es PSPACE-completo. Reisch demostró una versión más fuerte de este resultado al reducir el problema de fórmula booleana cuantificada en forma normal conjuntiva a Hex. En la teoría de la complejidad computacional, se cree ampliamente que los problemas PSPACE-completos no pueden resolverse con algoritmos eficientes (de tiempo polinómico). Este resultado limita la eficiencia de los algoritmos posibles cuando se consideran posiciones arbitrarias en tableros de tamaño ilimitado, pero no descarta la posibilidad de una estrategia ganadora simple para la posición inicial (en tableros de tamaño ilimitado) o una estrategia ganadora simple para todas las posiciones en un tablero de un tamaño particular.

### La máquina Hex de Shannon

Alrededor de 1950, Claude Shannon y E. F. Moore construyeron una máquina analógica para jugar Hex, que era esencialmente una red de resistencias con resistores para las aristas y bombillas para los vértices. El movimiento a realizar correspondía a un punto de silla especificado en la red. La máquina jugaba un juego de Hex razonablemente bueno. Más tarde, los investigadores que intentaban resolver el juego y desarrollar algoritmos para computadoras para jugar Hex emularon la red de Shannon para crear jugadores de computadora fuertes.