O problema das oito damas

O problema das oito damas pede oito damas em um tabuleiro de xadrez sem que duas se ataquem. O compositor de problemas de xadrez Max Bezzel o publicou em 1848, e ele se tornou o primeiro exemplo clássico de busca com backtracking.

Três damas em um tabuleiro de xadrez de madeira, colocadas de modo que nenhuma ataque outra
Três damas em um tabuleiro de xadrez de madeira, colocadas de modo que nenhuma ataque outra

Um problema de xadrez de 1848

Max Bezzel, um compositor alemão de problemas de xadrez, propôs o problema em uma revista de xadrez de Berlim em 1848. Franz Nauck publicou todas as 92 soluções em 1850 e fez a mesma pergunta para tabuleiros maiores. Carl Friedrich Gauss acompanhou o problema com interesse e o discutiu em suas cartas.

Uma dama por linha e coluna

Oito damas que não se atacam precisam estar em oito linhas diferentes e em oito colunas diferentes. Então uma solução é um embaralhamento dos números de 1 a 8, uma permutação, com uma regra a mais: duas damas não podem compartilhar uma diagonal. Das 40.320 permutações, só 92 passam.

Backtracking

O backtracking constrói uma solução uma peça de cada vez e volta atrás assim que chega a um beco sem saída. Para as damas: coloque uma dama na primeira casa segura da próxima linha e, quando uma linha não tiver nenhuma casa segura, volte para a linha de cima e avance aquela dama. Em 1972, Edsger Dijkstra usou o problema para explicar a programação estruturada com exatamente esta busca.

Simetria

Gire o tabuleiro um quarto de volta, ou o reflita, e uma solução continua sendo uma solução. Isso dá até oito versões de cada uma. As 92 soluções se dividem em 12 famílias assim: onze com 8 membros e uma com apenas 4, porque essa solução fica igual depois de meia volta.

O problema das n damas

Em um tabuleiro n×n, a pergunta é a mesma com n damas. Há soluções para todo n a partir de 4, e o número delas cresce rápido: 2 para 4×4, 92 para 8×8 e 14.200 para 12×12. Não se conhece nenhuma fórmula para a contagem; os valores recordes vêm de grandes buscas por computador.

Experimente no PictorX

Abra Oito damas e clique em uma casa para colocar uma dama; clique de novo para tirá-la. Mostrar ataques marca com um ponto as casas que as suas damas atacam, e damas em vermelho se atacam. Resolver executa a busca com backtracking um passo de cada vez e mantém as damas que você colocou. Próxima solução percorre todas as soluções em ordem, e Tamanho muda o tabuleiro de 4×4 até 12×12.

Perguntas frequentes

Quem inventou o problema das oito damas?

Max Bezzel, um compositor alemão de problemas de xadrez, em 1848. Franz Nauck publicou o primeiro conjunto completo de soluções em 1850.

Quantas soluções existem?

92 no tabuleiro padrão. Contando rotações e reflexões como uma só, são 12.

Por que o tabuleiro 6×6 tem tão poucas soluções?

Ele tem só 4, todas de uma única família. O tabuleiro 5×5, menor, tem 10. Tabuleiros maiores têm cada vez mais: 40 no 7×7 e 92 no 8×8.

O PictorX envia alguma coisa?

Não. O tabuleiro é desenhado numa tela no seu navegador. Salvar baixa um PNG, e Editar abre essa imagem no editor do PictorX.

Pronto para experimentar?

Abra o PictorX em seu navegador – sem instalação, sem necessidade de cartão de crédito para iniciar.

Experimentar Oito damas