|
O material é uma folha quadriculada, um lápis e um quadrado de oito por oito desenhado à mão. Oito moedas em cima do quadrado ajudam a conferir no fim, mas comece pelos números: a busca escrita é mais rápida e não perde o rastro do que já foi testado.
A notação faz metade do serviço. Como cada coluna tem uma rainha só, um arranjo inteiro cabe em oito algarismos, um por coluna, dizendo em que linha aquela rainha está. O arranjo 15863724, por exemplo, descreve uma posição completa, e conferir uma posição vira conferir uma sequência de oito números.
1. Corte pelas colunas. Escreva a solução como oito algarismos, um por coluna, com valores de 1 a 8. Só essa decisão troca as quatro bilhões e quatrocentas e vinte e seis milhões de escolhas de casas por dezesseis milhões e setecentas e setenta e sete mil sequências, sem perder uma única posição válida.
2. Corte pelas linhas. Duas rainhas na mesma linha se atacam, então os oito algarismos precisam ser todos diferentes: a sequência é uma permutação dos números de 1 a 8. Sobram quarenta mil trezentas e vinte candidatas, e agora a conta cabe numa varredura organizada.
3. Corte pelas diagonais, coluna por coluna. Duas rainhas nas posições de coluna i e j se atacam na diagonal quando a diferença das linhas é igual à diferença das colunas. Escolha a rainha da coluna 1, depois a da coluna 2, e assim por diante: na primeira colisão, apague a última escolhida e tente o próximo valor.
|
"O problema das oito rainhas admite noventa e duas soluções, se as posições obtidas por rotação ou reflexão do tabuleiro forem contadas como distintas."
Carl Friedrich Gauss, carta a Heinrich Christian Schumacher, 1850.
|
A frase acima resolve o número e deixa o método de fora, e repare no tamanho do silêncio. Ela não diz em que ordem varrer as colunas, não diz onde interromper um ramo que já morreu e não diz como saber que a varredura terminou. O silêncio é justamente onde a sua tabela entra.
Se travar, encolha o tabuleiro antes de brigar com o grande. No tabuleiro de quatro por quatro existem duas soluções, no de cinco por cinco existem dez, no de seis por seis existem quatro, e no de sete por sete existem quarenta.
A Sequência é o placar de quem fecha sozinho. Um ponto por enigma resolvido antes de a solução aparecer, e o placar zera no dia em que você espia fora da hora. Ninguém confere, e um placar sem plateia é o único que não se falsifica.
Um aviso de jogo limpo. Achar o número pronto na internet não vale ponto: o que conta é escrever um arranjo válido com a própria mão e descrever a ordem de busca que fecharia a lista inteira, com os três cortes anotados ao lado.
A charada dos envelopes pune quem confia na média, e a do tabuleiro pune quem confia na primeira tentativa que dá certo. Uma pede que você olhe duas vezes para a mesma letra, a outra pede que você prove que não sobrou nada.
"Quantas vezes você parou na primeira resposta que funcionou sem perguntar quantas outras havia?"
|