¿Dónde puedo encontrar una prueba detallada que garantice la existencia de una solución al problema de n-Queens?

Answer 1

Solo necesitas un mejor google foo 🙂

Hay un conjunto de pruebas, la primera es de E. Pauls [1] en 1874. Más tarde, otra en 1897 (Tarry), 1911 (H. Behmann), 1912–13 (Laparewics), 1925 (G.Sforza), 1960 (F.Scheid), 1969 (Hoffman, Lessi y Moore), etc.

Jordan Bell y Brett Stevens pueden encontrar una encuesta de estos resultados [2].

Una buena solución de Demirors, Rafraf y Tanik es usar cuadrados mágicos, puede reemplazarlos con un recordatorio con [math] n [/ math] para obtener n soluciones diferentes proporcionadas [math] \ text {gcd} (n, 6) = 1 [/matemáticas].

1. Das Maximal problem der Damen auf dem Schachbrete I y II
2. Una encuesta de resultados conocidos y áreas de investigación para
3. Obtención de soluciones [matemática] N [/ matemática] a partir de cuadrados mágicos y construcción de cuadrados mágicos a partir de soluciones [matemática] n [/ matemática] -queens J. Recreational Math, 24 (4) (1992) pp 272–280

Answer 2

Aparentemente, siempre es posible colocar n reinas en un tablero de ajedrez de tamaño nxn de modo que ninguna reina ataque directamente a ninguna de las demás utilizando las reglas estándar de ajedrez para una reina atacante.

Tendría que calificar eso para hacerlo realidad. Es trivialmente falso cuando n = 2, y un poco menos trivialmente falso (pero aún no es cierto) para n = 3.