Um Sudoku tem solução única quando exatamente uma grade completa satisfaz todas as pistas iniciais e todas as restrições clássicas de linha, coluna e bloco 3×3.
Parece simples, mas unicidade responde a uma pergunta diferente da validação comum de uma jogada.
Um dígito pode ser legal localmente sem estar forçado, e uma grade inicial pode não ter conflitos visíveis enquanto ainda permite mais de uma solução completa.
Os três estados possíveis do número de soluções
Uma grade inicial pode ter:
Nenhuma solução
As pistas são incompatíveis com as restrições do Sudoku, portanto nenhuma grade completa funciona.
Exatamente uma solução
Uma grade completa — e somente uma — corresponde às pistas e a todas as restrições clássicas.
Mais de uma solução
As pistas não determinam uma única grade final. Duas ou mais conclusões permanecem possíveis.
Sudokus clássicos publicados normalmente buscam exatamente uma solução.
Unicidade é uma propriedade global
As regras locais clássicas são fáceis de enunciar:
- nenhum dígito repetido em uma linha;
- nenhum dígito repetido em uma coluna;
- nenhum dígito repetido em um bloco.
Essas regras dizem se uma grade completa é válida e se uma colocação individual cria um conflito imediato.
Elas não provam, por si só, que um Sudoku parcialmente preenchido determina apenas uma conclusão.
Por isso estas afirmações são diferentes:
Esta jogada não viola linha, coluna ou bloco.
Este Sudoku inicial possui exatamente uma grade completa possível.
A segunda afirmação exige raciocínio sobre todo o quebra-cabeça ou uma busca completa de soluções.
Candidatos legais não são automaticamente dígitos resolvidos
Imagine que uma célula não resolvida tenha atualmente os candidatos:
{3,8}
Os dois dígitos podem respeitar as restrições locais de linha, coluna e bloco.
Isso não significa que qualquer um deles possa ser escolhido livremente. Uma resolução lógica ainda precisa de uma dedução que elimine um candidato ou prove de outra forma o valor final.
Por isso é útil separar quatro ideias:
- validade das regras — o estado viola alguma regra clássica?
- legalidade de candidato — este dígito ainda pode ocupar esta célula?
- dedução — uma possibilidade pode ser provada ou eliminada?
- unicidade — quantas soluções completas são compatíveis com as pistas iniciais?
Como um software pode testar unicidade
Um solucionador completo pode explorar o espaço de soluções e contar quantas existem.
Para testar unicidade, ele não precisa listar todas as conclusões possíveis. Basta distinguir:
0 soluções
1 solução
2 ou mais soluçõesUma abordagem comum em alto nível é:
- buscar até encontrar uma primeira solução;
- continuar a busca;
- parar imediatamente se uma segunda solução diferente aparecer;
- se a busca terminar após a primeira solução, o Sudoku é único.
Backtracking, métodos de cobertura exata, solucionadores SAT/CSP e outros métodos completos podem realizar esse trabalho.
O algoritmo pode mudar. A propriedade testada é a mesma.
Por que geradores verificam novamente a unicidade
Uma grade solução completa com 81 células já é uma conclusão válida.
Para transformá-la em um quebra-cabeça, pistas são escondidas ou selecionadas. Cada pista removida reduz a informação disponível para o jogador.
Depois de uma determinada remoção, uma segunda solução pode se tornar possível.
Por isso a geração costuma repetir um ciclo como:
alterar o conjunto de pistas
↓
testar o Sudoku resultante
↓
ainda existe exatamente uma solução?Um gerador pode usar diferentes estratégias de construção, mas um Sudoku anunciado como padrão e único precisa ter essa propriedade verificada.
Único não significa fácil
Unicidade é essencialmente uma propriedade de sim ou não.
Dificuldade não é.
Dois Sudokus únicos podem exigir raciocínios humanos completamente diferentes:
- um pode se resolver com Singles;
- outro pode exigir Candidatos Bloqueados e subconjuntos;
- outro pode precisar de Fish, Wings ou Cadeias.
Assim, o número de soluções é útil para validade, enquanto a dificuldade exige uma análise separada do caminho de resolução.
Explore a teoria do SudokuComo a Dificuldade do Sudoku É ClassificadaEntenda por que a dificuldade do Sudoku não depende apenas das pistas e como técnicas, esforço de resolução e dados de jogadores melhoram a classificação.Ler guia de teoria →Único não significa minimal
Um Sudoku pode ter uma solução e ainda conter pistas desnecessárias para preservar essa unicidade.
Um Sudoku minimal é mais restrito:
Remova qualquer uma de suas pistas e o quebra-cabeça deixa de ter exatamente uma solução.
Minimalidade descreve a necessidade das pistas naquele Sudoku específico.
Isso não significa que ele tenha o menor número global possível de pistas.
Explore a teoria do SudokuMínimo de Pistas no SudokuEntenda por que um Sudoku clássico 9×9 com solução única precisa de pelo menos 17 pistas e como uma busca exaustiva descartou 16 pistas.Ler guia de teoria →Por que a unicidade importa para Retângulo Único
A maioria das técnicas de Sudoku depende diretamente das restrições de candidatos criadas por linhas, colunas, blocos e pelas consequências lógicas de deduções anteriores.
Retângulo Único é diferente porque seu raciocínio padrão pressupõe que o Sudoku tenha uma solução pretendida.
Um retângulo mortal pode criar duas conclusões intercambiáveis. Se a unicidade foi estabelecida, o estado que preserva essa ambiguidade pode ser rejeitado.
Essa premissa deve estar explícita sempre que uma técnica baseada em unicidade for ensinada.
Uma grade com várias soluções ainda pode obedecer às regras do Sudoku?
Sim — cada solução completa pode individualmente satisfazer todas as regras clássicas.
O problema é que o conjunto de pistas inicial não identifica uma única resposta final.
Isso torna Sudokus com várias soluções inadequados para a experiência padrão de solução única, mesmo que cada uma de suas grades finais seja válida.
Unicidade e resolubilidade lógica são diferentes
Um solucionador completo pode provar que um Sudoku tem uma solução mesmo quando uma determinada biblioteca de técnicas humanas ainda não consegue explicar um caminho até ela.
São perguntas diferentes:
Quantas soluções existem?
e:
Quais deduções compreensíveis por humanos resolvem este Sudoku?
Separar essas duas perguntas torna mais clara tanto a geração quanto a análise de dificuldade.
Perguntas frequentes
Todo Sudoku tem uma solução?
Não. Uma grade inicial pode ter zero, uma ou várias conclusões.
A unicidade é uma das regras básicas de linha, coluna e bloco?
Não. É uma propriedade do quebra-cabeça como um todo, normalmente esperada de Sudokus clássicos publicados.
Um Sudoku pode ser único e ainda assim extremamente difícil?
Sim. Unicidade não diz nada sobre a dificuldade das deduções humanas necessárias.
Ter uma solução prova que o Sudoku foi bem construído?
Não. Um bom quebra-cabeça também pode ser avaliado pela dificuldade, fluidez da resolução, disposição das pistas e técnicas exigidas.
Como um software pode testar unicidade de forma eficiente?
Um solucionador completo pode parar assim que encontra uma segunda solução diferente. Se a busca terminar com exatamente uma, o Sudoku é único.
Posso usar Retângulo Único sem uma premissa de unicidade?
O raciocínio padrão de Retângulo Único baseado em unicidade depende de o Sudoku ser conhecido como tendo exatamente uma solução.
O que aprender depois
Leia Mínimo de Pistas no Sudoku para entender o limite inferior global de 17 pistas.
Leia Como Sudokus São Gerados para ver onde a validação de unicidade entra na construção.
Leia Retângulo Único para estudar uma técnica de resolução que usa explicitamente essa premissa.