Posts

Showing posts with the label brute force

Generalized Sudoku (jigsaw sudoku)

Image
Pt En Muita gente sabe o que é um sudoku: um puzzle com números que se joga numa tabela com $9$ linhas e $9$ colunas. O objetivo é simples: preencher a tabela com os números entre $1$ e $9$, seguindo umas quantas regras. As regras que devem ser seguidas não são complicadas, mas quem já experimentou resolver sudokus sabe que às vezes pode ser bastante difícil completar o puzzle! Para além de resolver problemas, os matemáticos também gostam muito de generalizar . Suponhamos que temos uma série de características e que olhamos para todos os objetos que satisfazem essas restrições; uma generalização desses objetos pode ser dada ao ignorarmos uma das características consideradas. A título de exemplo, suponha-se que estamos à procura de todos os polígonos que satisfazem as seguintes restrições: Tem quatro lados; Todos os lados são iguais; Todos os lados fazem ângulos de $90^\circ$ entre si. É fácil de ver que o quadrado é o único polígono que satisfaz estas duas retr...