Problema das 8 Rainhas

O problema das 8 rainhas é um desafio matemático bem conhecido. Em um tabuleiro de xadrez 8x8, de quantas maneiras é possível colocar 8 rainhas no tabuleiro sem que elas se ameacem?

Caso não se recorde, no xadrez, a rainha pode movimentar-se pelas diagonais (como um bispo) ou em linha reta (como uma torre).

Matemáticos, sempre interessados em generalizar, expandiram o problema: em um tabuleiro n x n, de quantas maneiras é possível colocar n rainhas no tabuleiro sem que elas se ameacem?

Repare que, ao ocupar uma casa, a rainha bloqueia as direções horizontal, vertical e ambas as diagonais que passam por essa casa.

Em 1850, Franz Nauck mostrou 92 maneiras de colocar 8 rainhas em um tabuleiro 8x8. Só posteriormente foi provado que Nauck havia achado todas. Em um tabuleiro 15x15, o número de maneiras de colocar 15 rainhas é 2.279.184. Isso cresce muito rápido!

A imagem acima mostra uma das 92 soluções para o Problema das 8 Rainhas. Girando o tabuleiro, você obtém 4 soluções a partir desta. E refletindo cada uma das 4 em um espelho você obtém 8 soluções.

Página da Wikipedia Sobre o problema das rainhas

Artigo de Andrei Taylor, sobre como resolver o problema computacionalmente usando Backtracking, que se resume à tecnica de eliminar (backtrack) de forma rápida os candidatos que não resolvem o problema; a leitura é rapida (~10 min) e fluida