Problema de las ocho reinas , la enciclopedia libre

Una posible solución entre las 92 posibles soluciones en un tablero de 8×8.

El problema de las ocho reinas es un pasatiempo que consiste en poner ocho reinas en el tablero de ajedrez sin que se amenacen. Fue propuesto por el ajedrecista alemán Max Bezzel en 1848.^[1]​^[2]​ 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 poner sobre un tablero de ajedrez ocho reinas sin que estas se amenacen entre ellas. Para resolver este problema se puede emplear un esquema vuelta atrás (o Backtracking).

El problema fue originalmente propuesto en 1848 por el ajedrecista Max Bezzel.^[1]​^[2]​^[3]​ Durante años, muchos matemáticos, incluyendo a Carl Friedich Gauss, han trabajado en él y lo han generalizado a n-reinas. Las primeras soluciones fueron ofrecidas por Franz Nauck en 1850.^[1]​^[2]​^[4]​ 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.^[3]​^[5]​

Edsger Dijkstra usó este problema en 1972 para ilustrar el poder de la llamada programación estructurada. Publicó una descripción muy detallada del desarrollo del algoritmo de backtracking, "depth-first".^[6]​^[7]​

Este acertijo apareció en el popular juego de computadora de los '90 llamado "The 7th Guest".

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.

El vector ${\displaystyle (3,1,6,2,8,6,4,7)}$ significa que la reina 1 esta en la fila 1, columna 3; la reina 2 en la fila 2, columna 1; la reina 3 en la fila 3, columna 6; la reina 4 en la fila 4, columna 2; etc... Como se puede apreciar esta solución es incorrecta ya que la reina 3 y la 6 estarían 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 resuelto, pero ¿qué ocurre con las diagonales? Para las posiciones sobre una misma diagonal descendente, se cumple que tienen el mismo valor ${\displaystyle fila-columna}$; mientras que para las posiciones en la misma diagonal ascendente, se cumple que tienen el mismo valor ${\displaystyle fila+columna}$. Así, si tenemos dos reinas colocadas en posiciones ${\displaystyle (i,j)}$ y ${\displaystyle (k,l)}$ entonces están en la misma diagonal si y solo si cumple:

${\displaystyle i-j=k-l}$ o ${\displaystyle i+j=k+l}$

${\displaystyle j-l=i-k}$ o ${\displaystyle j-l=k-i}$

Teniendo en cuenta todas estas consideraciones, podemos aplicar el esquema retroactivamente para colocar 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 ${\displaystyle V_{1\dots k}}$ de enteros entre 1 y 8 es ${\displaystyle k}$-prometedor, para ${\displaystyle 0\leq k\leq 8}$ , si ninguna de las ${\displaystyle k}$ reinas colocadas en las posiciones ${\displaystyle (1,V_{1}),(2,V_{2}),\dots ,(k,V_{k})}$ amenaza a ninguna de las otras. Las soluciones a nuestro problema se corresponden con aquellos vectores que son 8-prometedores.

Sea ${\displaystyle N}$ el conjunto de vectores de ${\displaystyle k}$-prometedores, ${\displaystyle 0\leq k\leq 8}$, sea ${\displaystyle G=(N,A)\,}$ el grafo dirigido tal que ${\displaystyle (U,V)\in A}$ si y solo si existe un entero ${\displaystyle k}$, con ${\displaystyle 0\leq k\leq 8}$ tal que

• ${\displaystyle U}$ es ${\displaystyle k}$-prometedor
• ${\displaystyle V}$ es ${\displaystyle (k+1)}$-prometedor
• ${\displaystyle U_{i}=V_{i}}$ para todo ${\displaystyle i\in \{1,\dots ,k\}}$

Este grafo es un árbol. Su raíz es el vector vacío correspondiente a ${\displaystyle k=0}$. sus hojas son o bien soluciones (${\displaystyle k=8}$), o posiciones sin salida (${\displaystyle k<8}$). 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.

Hay que decidir si un vector es ${\displaystyle k}$-prometedor, sabiendo que es una extensión de un vector ${\displaystyle (k-1)}$-prometedor. Únicamente necesitamos comprobar la última reina que haya que añadir. Esto 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) controladas por las reinas que ya están puestas.

A continuación se muestra el algoritmo que soluciona nuestro problema, en el cual ${\displaystyle sol_{1\dots 8}}$ es un vector global. Para imprimir todas las soluciones, la llamada inicial es ${\displaystyle \mathrm {reinas} (0,\emptyset ,\emptyset ,\emptyset )}$.

procedimiento ${\displaystyle \mathrm {reinas} (k,col,diag45,diag135)\,}$ //${\displaystyle sol_{1\dots k}}$ es ${\displaystyle k}$-prometedor// //${\displaystyle col=\{sol_{i}\mid 1\leq i\leq k\}}$// //${\displaystyle diag45=\{sol_{i}-i+1\mid 1\leq i\leq k\}}$// //${\displaystyle diag135=\{sol_{i}+i-1\mid 1\leq i\leq k\}}$// si ${\displaystyle k=8\,}$ entonces //un vector ${\displaystyle 8}$-prometedor es una solución// escribir ${\displaystyle sol\,}$ si no //explorar las extensiones ${\displaystyle (k+1)}$-prometedoras de sol// para ${\displaystyle j\leftarrow 1}$ hasta ${\displaystyle 8\,}$ hacer si ${\displaystyle j\notin col}$ y ${\displaystyle j-k\notin diag45}$ y ${\displaystyle j+k\notin diag135}$ entonces ${\displaystyle sol_{k+1}\leftarrow j}$//${\displaystyle sol_{1\dots k+1}}$ es ${\displaystyle (k+1)}$-prometedor// ${\displaystyle \mathrm {reinas} \left(k+1,col\cup \{j\},diag45\cup \{j-k\},diag135\cup \{j+k\}\right)}$

El algoritmo comprueba primero si ${\displaystyle k=8}$, 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 ${\displaystyle k}$ es distinto de 8, el algoritmo explora las extensiones ${\displaystyle (k+1)}$-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 reinas colocadas en el tablero. Si no entran en jaque, se realiza una recurrencia en la cual incrementamos ${\displaystyle k}$ (buscamos ${\displaystyle (k+1)}$-prometedor) y añadimos la nueva fila, columna y diagonales al conjunto de restricciones. Al realizar la recurrencia hemos añadido al vector sol una nueva reina, que no entra en jaque con ninguna de las anteriores. Además, hemos incrementado el conjunto de restricciones añadiendo una nueva fila, columna y diagonales (una positiva y otra negativa) prohibidas.

A continuación se muestra una posible implementación del anterior algoritmo en C++.

#include <iostream> #include <sstream> #include <cstdio> #include <vector> #include <algorithm> #define NREINAS 8 // dimensiones del tablero y número de reinas using namespace std; vector<int> sol; int nro_sol=1;  inline bool contiene(const vector<int>& v, const int val) {     return find(v.begin(), v.end(), val) != v.end(); }  void reinas(int k, vector<int> col, vector<int> diag45, vector<int> diag135) {     if( k == NREINAS )     { 	printf("%3d:", nro_sol++);         for(int j=0; j<NREINAS; j++)  cout << " (" << j+1 << "," << sol[j] << ")";         cout << endl;     }     else     {         for(int j=1; j<=NREINAS; j++)             if( !contiene(col, j) && !contiene(diag45, j-k) && !contiene(diag135, j+k) )             {                 sol[k] = j;                  col.push_back(j);                 diag45.push_back(j-k);                 diag135.push_back(j+k);                  reinas(k+1,col, diag45, diag135);                  col.pop_back();                 diag45.pop_back();                 diag135.pop_back();             }     } }  int main() {     cout << "SOLUCIONES AL PROBLEMA DE LAS " << NREINAS << " REINAS"<<endl;     sol.resize(NREINAS);     reinas(0, vector<int>(), vector<int>(), vector<int>());      return 0; } 

El problema de las ocho reinas se puede plantear de modo general como problema de las ${\displaystyle n}$ reinas. El problema consistiría en colocar ${\displaystyle n}$ reinas en un tablero de ajedrez de ${\displaystyle n\times n}$ de tal manera que ninguna de las reinas quede atacando a otras.

Su análisis y solución es isomorfo al de las ocho reinas.

El tablero de 27x27 es el más grande hasta ahora numerado.^[8]​

Además de las simetrías relativas a la colocación de las reinas y su reflejo o giro se da otra no tan evidente que conecta las soluciones entre un tablero de lado (n) y el tablero siguiente de lado (n+1). Partiendo del conjunto completo de soluciones para n casillas de lado, contando las veces que cada casilla aparece en las mismas, resulta:

Cuando el conjunto de soluciones es correcto para n, se da la simetría completa, tanto vertical como horizontalmente. Ésta simetría puede darse con un conjunto de soluciones incompleto. Sin embargo, la suma de cada fila y de cada columna, si el conjunto de soluciones está completo da como resultado el número total de soluciones posibles:

Por último, la resta entre las soluciones de un tablero y la suma de la diagonal correspondientes coincide con el valor que aparece en las esquinas del tablero siguiente. Resultando una conexión entre el tablero de n casillas y el de n+1 casillas. Para conjunto de soluciones completas:

De hallar la relación entre los valores que resultan en las esquinas y el número total de soluciones de cada tablero o su tamaño, se podría encontrar los resultados correctos de cualquier valor de n.

El problema de las ocho reinas tiene 92 soluciones, de las cuales 12 son esencialmente distintas, es decir, las 92 soluciones existentes se pueden obtener a partir de operaciones de simetría de rotación y reflexión de las 12 soluciones únicas, que se muestran a continuación:

Solución única 1	Solución única 2	Solución única 3
Solución única 4	Solución única 5	Solución única 6
Solución única 7	Solución única 8	Solución única 9
Solución única 10	Solución única 11