Existe uma fórmula para resolver um Sudoku?
Última atualização
Não há formula. Sudoku não é um math problem - É um logic puzzle que por acaso usa digits. Nenhuma equation ou arithmetic formula produz diretamente a answer. O que funciona é systematic constraint elimination.
Porque é que a matemática não o resolve
Os dígitos 1-9 no Sudoku são apenas símbolos. Poderia substituí-los por letras ou cores e o puzzle seria idêntico. O que importa é a unicidade dentro das unidades - Cada símbolo aparece exatamente uma vez em cada linha, coluna e bloco. Não existe relação aritmética entre células que uma fórmula possa explorar.
O Que Realmente Funciona - Propagação de Restrições
O Sudoku é um problema de satisfação de restrições. Começa com 81 células, cada uma restringida pela sua linha, coluna e bloco. Colocar um dígito propaga novas restrições - Esse dígito é eliminado de outras 20 células. A reação em cadeia continua até o puzzle ser resolvido ou ser necessária uma técnica mais complexa.
A hierarquia de técnicas, da mais simples à mais difícil:
- Únicos nus - Um candidato restante numa célula
- Únicos ocultos - Uma posição para um dígito numa unidade
- Pares e trios nus e ocultos
- X-Wing, Swordfish
- Cadeias e lógica de múltiplos passos
O Que os Computadores Fazem em Vez Disso
Os computadores resolvem Sudoku usando pesquisa de retrocesso - Tentam um dígito, propagam restrições e invertem se for atingida uma contradição. Para os humanos, isto é equivalente a adivinhar, o que não é nem satisfatório nem instrutivo. A resolução humana prefere sempre técnicas dedutivas que garantem correção sem qualquer tentativa e erro.