Relación

Problema de las ocho reinas Movimientos posibles de una reina en un tablero de 4x4. Una posible solución entre las 92 posibles soluciones en un tablero de 8x8 El problema de las ocho reinas es un pasatiempo en el que se colocan ocho reinas sin que se amenacen. Fue propuesto por el ajedrecista alemán Max Bezzel en 1848[cita requerida]. En el juego del ajedrez la reina amenaza a aquellas piezas que se encuentren en su misma fila, columna o diagonal. El juego de las 8 reinas consiste en colocar sobre un tablero de ajedrez ocho reinas sin que estas se amenacen entre ellas. Para resolver este problema emplearemos un esquema vuelta atrás (o Backtracking). Índice • 1 Historia • 2 Planteamiento del Problema o 2.1 Establecimiento del algoritmo o 2.2 Descripción del algoritmo o 2.3 Implementación • 3 El problema de las n reinas o 3.1 Número de soluciones • 4 Soluciones al problema de las ocho reinas • 5 Referencias • 6 Véase también • 7 Enlaces externos o 7.1 Enlaces a soluciones Historia El problema fue originalmente propuesto en 1848 por el ajedrecista Max Bezzel, y durante los años, muchos matemáticos, incluyendo a Gauss y a Georg Cantor, han trabajado en este problema y lo han generalizado a n-reinas. Las primeras soluciones fueron ofrecidas por Franz Nauck en 1850. Nauck también se abocó a las n-reinas (en un tablero de nxn de tamaño arbitrario). En 1874, S. Günther propuso un método para hallar las soluciones usando determinantes, y J.W.L. Glaisher redefinió su aproximación. Edsger Dijkstra usó este problema en 1972 para ilustrar el poder de la llamada programación estructurada. Él publicó una descripción altamente detallada del desarrollo del algoritmo de backtracking, "depth-first". Este acertijo apareció en el popular juego de computadora de los '90 llamado "The 7th Guest". Planteamiento del Problema Como cada reina puede amenazar a todas las reinas que estén en la misma fila, cada una ha de situarse en una fila diferente. Podemos representar las 8 reinas mediante un vector[1-8], teniendo en cuenta que cada índice del vector representa una fila y el valor una columna. Así cada reina estaría en la posición (i, v[i]) para i = 1-8. Ejemplo de dos reinas amenazadas en el tablero de 4 por 4. El vector significa que la reina 1 esta en la columna 3, fila1; la reina 2 en la columna 1, fila 2; la reina 3 en la columna 6, fila 3; la reina 4 en la columna 2, fila 4; etc... Como se puede apreciar esta solución es incorrecta ya que estarían la reina 3 y la 6 en la misma columna. Por tanto el vector correspondería a una permutación de los ocho primeros números enteros. El problema de las filas y columnas lo tenemos cubierto, ¿pero qué ocurre con las diagonales? Para las posiciones sobre una misma diagonal descendente se cumple que tienen el mismo valor , mientras que para las posiciones en la misma diagonal ascendente se cumple que tienen el mismo valor . Así, si tenemos dos reinas colocadas en posiciones y entonces están en la misma diagonal si y solo si cumple: o o Teniendo en cuenta todas estas consideracioneas, podemos aplicar el esquema de retroactivamente para implementar las ocho reinas de una manera realmente eficiente. Para ello, reformulamos el problema como problema de búsqueda en un árbol. Decimos que en un vector de enteros entre 1 y 8 es -prometedor, para , si ninguna de las reinas colocadas en las posiciones amenaza a ninguna de las otras. Las soluciones a nuestro problema se corresponden con aquellos vectores que son 8-prometedores. Establecimiento del algoritmo Sea el conjunto de vectores de -prometedores, , sea el grafo dirigido tal que si y solo si existe un entero , con tal que • es -prometedor • es -prometedor • para todo Este grafo es un árbol. Su raíz es el vector vacío correspondiente a . sus hojas son o bien soluciones ( ), o posiciones sin salida ( ). Las soluciones del problema de las ocho reinas se pueden obtener explorando este árbol. Sin embargo no generamos explícitamente el árbol para explorarlo después. Los nodos se van generando y abandonando en el transcurso de la exploración mediante un recorrido en profundidad. Esquema reducido del árbol de soluciones. Hay que decidir si un vector es -prometedor, sabiendo que es una extensión de un vector -prometedor, únicamente necesitamos comprobar la última reina que haya que añadir. Este se puede acelerar si asociamos a cada nodo prometedor el conjunto de columnas, el de diagonales positivas (a 45 grados) y el de diagonales negativas (a 135 grados) controlados por las reinas que ya están puestas. Descripción del algoritmo A continuación se muestra el algoritmo que arroja la solución de nuestro problema, en el cual es un vector global. Para imprimir todas las soluciones, la llamada inicial es . procedimiento // es -prometedor// // // // // // // si entonces //un vector -prometedor es una solución// escribir si no //explorar las extensiones -prometedoras de sol// para hasta hacer si y y entonces // es -prometedor// El algoritmo comprueba primero si , si esto es cierto resulta que tenemos ante nosotros un vector 8-prometedor, lo cual indica que cumple todas las restricciones originando una solución. Si es distinto de 8, el algoritmo explora las extensiones -prometedoras, para ello realiza un bucle, el cual va de 1 a 8, debido al número de reinas. En este bucle se comprueba si entran en jaque las

...