Existe uma fórmula para resolver um Sudoku?
Última atualização
Não existe fórmula. Sudoku não é um problema de matemática - É um quebra-cabeça lógico que por acaso usa dígitos. Nenhuma equação ou fórmula aritmética produz a resposta diretamente. O que funciona é a eliminação sistemática de restrições.
Por que a matemática não vai resolver
Os dígitos 1-9 no Sudoku são apenas símbolos. Você poderia substituí-los por letras ou cores e o quebra-cabeça seria idêntico. O que importa é a unicidade dentro das unidades - Cada símbolo aparece exatamente uma vez em cada linha, coluna e caixa. Não há relação aritmética entre células que uma fórmula possa explorar.
O Que Realmente Funciona - Constraint Propagation
Sudoku é um problema de satisfação de restrições. Você começa com 81 células, cada uma restringida por sua linha, coluna e caixa. Colocar um dígito propaga novas restrições - Esse dígito é eliminado de outras 20 células. A reação em cadeia continua até que o quebra-cabeça seja resolvido ou uma técnica mais complexa seja necessária.
A hierarquia de técnicas, da mais simples à mais difícil:
- Singles nus - Um candidato restante em uma célula
- Singles ocultos - Uma posição para um dígito em uma unidade
- Pares e triplas nus e ocultos
- X-Wing, Swordfish
- Cadeias e lógica de múltiplos passos
O Que os Computadores Fazem em Vez Disso
Computadores resolvem Sudoku usando busca por retrocesso - Tente um dígito, propague restrições e reverta se uma contradição for alcançada. Para humanos, isso é equivalente a adivinhar, o que não é nem satisfatório nem instrutivo. A resolução humana sempre prefere técnicas dedutivas que garantem correção sem qualquer tentativa e erro.