Nesta página
Quando um Sudoku clássico é publicado como quebra-cabeça, normalmente esperamos que suas pistas determinem exatamente uma solução completa.
Essa propriedade é chamada de unicidade.
Ela é central para construção, verificação, técnicas de unicidade e qualidade editorial, mas não deve ser confundida com as três restrições locais de linha, coluna e bloco.
As pistas entram em conflito, então nenhuma grade completa pode satisfazê-las todas.
Este é o alvo pretendido para Sudoku clássico publicado.
As pistas não contêm informação suficiente para forçar uma única resposta final.
Os três estados possíveis do número de soluções
Um conjunto de pistas pode produzir três estados fundamentais.
Nenhuma solução
As pistas e restrições entram em contradição. Não existe grade completa válida compatível com o estado inicial.
Exatamente uma solução
Existe uma única grade completa que satisfaz todas as pistas e regras.
Esse é o estado esperado de um Sudoku clássico publicado corretamente.
Mais de uma solução
Duas ou mais grades completas satisfazem as mesmas pistas.
Nesse caso, as pistas não determinam um resultado único.
Unicidade não é uma quarta regra do Sudoku
As regras locais dizem:
- cada linha contém 1–9 sem repetição;
- cada coluna contém 1–9 sem repetição;
- cada bloco 3×3 contém 1–9 sem repetição.
A unicidade responde a uma pergunta global diferente:
Quantas grades completas satisfazem essas restrições e todas as pistas iniciais?
Por isso, é mais preciso dizer que um Sudoku clássico bem construído deve ser projetado com solução única, não que “ter solução única” seja uma quarta restrição local aplicada a cada movimento.
Um candidato legal não é necessariamente a solução
Um candidato é legal quando não viola imediatamente linha, coluna ou bloco.
Isso não prova que ele pertença à solução final.
Pode acontecer de uma célula possuir vários candidatos legalmente possíveis no estado atual, mas apenas um deles ser compatível com a solução completa.
A resolução lógica existe justamente para provar quais possibilidades permanecem ou podem ser eliminadas.
Como um Sudoku pode ter várias soluções?
Se as pistas não restringirem suficientemente a grade, pode existir uma região na qual duas ou mais configurações completas sejam possíveis.
Às vezes a ambiguidade é local e se parece com uma troca de candidatos. Em outros casos, a diferença entre soluções pode envolver uma estrutura maior.
O ponto importante é que ambas as grades finais podem obedecer perfeitamente às regras locais.
Uma ambiguidade desse tipo pode ser difícil de perceber olhando apenas para uma sequência de jogadas humanas. Duas soluções podem compartilhar grande parte da grade e divergir somente em um conjunto restrito de células. Por isso, para QA de publicação, a contagem de soluções deve ser feita por um método completo, não por inspeção visual.
Um quebra-cabeça com várias soluções ainda pode obedecer às regras do Sudoku?
Sim.
Cada solução completa pode ter todos os dígitos corretos em todas as linhas, colunas e blocos.
O problema é que mais de uma dessas grades satisfaz as mesmas pistas.
Portanto, “obedece às regras” e “tem solução única” não são afirmações equivalentes.
Como um software verifica a unicidade do Sudoku
Um verificador de unicidade precisa responder quantas soluções completas existem.
Uma estratégia comum é usar busca completa com propagação de restrições:
- aplicar todas as deduções simples disponíveis;
- escolher uma possibilidade quando necessário;
- explorar o ramo;
- voltar atrás se houver contradição;
- parar quando a contagem chegar a duas soluções.
Para verificar unicidade, normalmente não é necessário enumerar todas as soluções se já encontramos duas: duas já são suficientes para provar que o puzzle não é único.
Também podem ser usadas representações como exact cover e Algorithm X.
Por que técnicas humanas sozinhas não são o mesmo que uma prova de unicidade
Um solver human-style pode ficar sem técnicas disponíveis mesmo quando o Sudoku possui uma solução única.
Isso não prova múltiplas soluções. Pode apenas significar que o catálogo de técnicas do solver é incompleto para aquele puzzle.
Da mesma forma, conseguir resolver um Sudoku por uma sequência humana não é, por si só, uma prova formal de que nenhuma segunda solução existe.
Para unicidade, usamos um solver completo ou contador de soluções.
Essa separação de responsabilidades é útil em arquitetura de produto. O mesmo puzzle pode passar por um componente que prova “há exatamente uma solução” e, em seguida, por outro que responde “qual caminho humano resolve essa solução e com que dificuldade?”. Misturar as duas perguntas costuma produzir diagnósticos confusos.
Por que geradores verificam novamente a unicidade
Durante a geração, remover uma pista pode transformar um Sudoku único em um puzzle com múltiplas soluções.
Por isso, um gerador robusto costuma recontar soluções depois de alterações importantes no conjunto de pistas.
Essa verificação precisa ser separada da análise de dificuldade.
Um puzzle pode ser único e ainda assim inadequado para a faixa de dificuldade pretendida.
Único não significa fácil
Unicidade informa quantas soluções completas existem.
Não informa quanto trabalho um humano precisa fazer para encontrar essa solução.
Um Sudoku único pode ser Fácil, Médio, Difícil ou extremamente avançado.
Explore a teoria do SudokuComo a Dificuldade do Sudoku É ClassificadaEntenda como técnicas, esforço lógico, dependências entre passos, reconhecimento e dados de jogadores podem formar um rating de dificuldade do Sudoku.Ler guia de teoria →Único não significa minimal
Um Sudoku único pode conter pistas redundantes.
Se removemos uma pista e o puzzle continua único, o puzzle original não era minimal.
Minimal significa que cada pista individual é necessária para preservar unicidade.
Explore a teoria do SudokuMínimo de Pistas no SudokuEntenda por que 17 é o mínimo de pistas para um Sudoku clássico 9×9 com solução única, como 16 foi descartado e por que mínimo não significa minimal.Ler guia de teoria →Único não significa bem construído
Um Sudoku pode ter exatamente uma solução e ainda oferecer uma experiência ruim.
Por exemplo:
- caminho excessivamente repetitivo;
- necessidade de busca quando o produto promete lógica humana;
- dificuldade fora do nível anunciado;
- uma técnica alvo que nunca se torna necessária;
- um gargalo pouco interessante.
Unicidade é uma condição de validade editorial importante, mas não uma medida completa de qualidade.
Também não garante que o puzzle respeite as convenções de um produto específico. Um catálogo pode exigir, por exemplo, ausência de determinadas técnicas, simetria de pistas, uma faixa de rating ou um caminho pedagógico. Tudo isso fica além da simples contagem de soluções.
Por que a unicidade importa para Retângulo Único
Técnicas como Retângulo Único partem de uma premissa específica: o puzzle foi construído para ter uma única solução.
A técnica reconhece uma estrutura que, se evoluísse para um determinado padrão mortal, permitiria duas soluções relacionadas por troca de candidatos.
A dedução usa a premissa de unicidade para evitar esse estado.
Unicidade e adivinhação são perguntas diferentes
Um Sudoku pode ser único e ainda ser difícil demais para o repertório atual de um jogador.
Isso não significa que “adivinhar” faça parte da definição de unicidade.
Da mesma forma, um solver pode usar busca para verificar uma solução única mesmo que um humano consiga resolver o mesmo puzzle logicamente.
Como o puzzle é verificado e como o jogador escolhe resolvê-lo são perguntas distintas.
E se um Sudoku publicado tiver várias soluções?
Se a publicação promete Sudoku clássico de solução única, isso deve ser tratado como um erro de construção ou validação.
O melhor procedimento é:
- confirmar o estado inicial exato;
- verificar se não houve erro de transcrição;
- usar um contador de soluções confiável;
- corrigir ou retirar o puzzle se múltiplas soluções forem confirmadas.
FAQ
Todo Sudoku tem uma solução?
Não. Um conjunto arbitrário de pistas pode ter zero, uma ou várias soluções.
Um Sudoku clássico publicado deve ter exatamente uma solução?
Sim, essa é a expectativa normal de um quebra-cabeça clássico bem construído.
A unicidade é uma das regras básicas de linha, coluna e bloco?
Não. É uma propriedade global do conjunto de pistas.
Um Sudoku pode ter duas soluções válidas sem quebrar as regras?
Sim. Cada solução pode obedecer às regras locais e ainda assim as pistas permitirem ambas.
Um puzzle pode ser único e ainda ser extremamente difícil?
Sim. Unicidade e dificuldade medem propriedades diferentes.
Encontrar uma solução prova unicidade?
Não. Você precisa excluir a existência de uma segunda solução.
Como um software pode verificar a unicidade de forma eficiente?
Com busca completa, propagação de restrições, exact cover ou outra técnica capaz de contar soluções, geralmente parando ao encontrar a segunda.
Todo Sudoku único é minimal?
Não. Ele pode conter pistas redundantes.
Posso usar Retângulo Único sem uma premissa de unicidade?
Não como argumento de unicidade padrão. A técnica depende justamente da expectativa de solução única.
O que aprender depois
Leia Mínimo de Pistas no Sudoku para ver como unicidade limita o clue count, Como Sudokus São Gerados para entender verificação durante construção e Retângulo Único para uma técnica que usa explicitamente essa premissa.