Sudoku (um dígito) (originalmente chamado de Number Place) é um quebra-cabeça combinatório de colocação de números baseado em lógica. O objetivo é preencher uma grade 9 × 9 com dígitos de forma que cada coluna, cada linha e cada uma das nove subgrades 3 × 3 que compõem a grade (também chamadas de "caixas", "blocos" ou "regiões") contenham todos os dígitos de 1 a 9. O montador do quebra-cabeça fornece uma grade parcialmente preenchida, que para um quebra-cabeça bem posicionado tem uma única solução.
Os jogos concluídos são sempre um tipo de quadrado latino com uma restrição adicional no conteúdo de regiões individuais. Por exemplo, o mesmo número inteiro não pode aparecer duas vezes na mesma linha, coluna ou em qualquer uma das nove sub-regiões 3 × 3 do tabuleiro de jogo 9 × 9.
Uma grade de Sudoku concluída é um tipo especial de quadrado latino com a propriedade adicional de não haver valores repetidos em nenhum dos nove blocos (ou caixas de 3 × 3 células). A relação entre as duas teorias é conhecida, depois que foi provado que uma fórmula de primeira ordem que não menciona blocos é válida para Sudoku se e somente se for válida para quadrados latinos.
O problema geral de resolver quebra-cabeças Sudoku em n2 × n2 grades de n × n blocos é conhecido por ser NP-completo. Muitos algoritmos de computador, como backtracking e links dançantes, podem resolver a maioria dos quebra-cabeças 9 × 9 com eficiência, mas a explosão combinatória ocorre à medida que n aumenta, criando limites para as propriedades do Sudokus que podem ser construídas, analisadas e resolvidas à medida que n aumenta. Um quebra-cabeça Sudoku pode ser expresso como um problema de coloração de gráficos. O objetivo é construir uma 9-coloração de um gráfico específico, dada uma 9-coloração parcial.
Atualizado em
19 de ago. de 2023