Lógica do Sudoku

A lógica do Sudoku é o processo de transformar um conjunto pequeno de restrições em conclusões que precisam ser verdadeiras.

As pistas iniciais parecem informar pouco quando cada célula é observada isoladamente. A força do puzzle aparece quando as restrições se sobrepõem:

• cada linha deve conter 1–9 uma vez;
• cada coluna deve conter 1–9 uma vez;
• cada bloco 3×3 deve conter 1–9 uma vez.

Uma dedução lógica extrai informação nova dessas condições.

Às vezes essa informação é um dígito que pode ser colocado.

Em outras, ela é apenas:

este candidato é impossível.

Isso também é progresso real.

O que significa “lógico” no Sudoku?

Uma conclusão é lógica quando pode ser justificada a partir do estado atual da grade e das premissas que você declarou usar.

No Sudoku clássico, a base são as regras de linha, coluna e bloco.

Algumas técnicas, como Unique Rectangle e BUG+1, adicionam explicitamente a premissa de solução única.

O importante é que a conclusão não dependa de “parece certo” ou de escolher uma opção ao acaso.

Uma prova pode ser curta:

só resta um dígito nesta célula.

Ou longa:

se este candidato for falso, uma sequência de Enlaces força outro estado, que por sua vez elimina um alvo.

As duas são lógica.

Quatro tipos recorrentes de informação no Sudoku

Grande parte das deduções pode ser entendida como quatro formas de informação.

1. Valor forçado

Esta célula precisa ser X.

Exemplos incluem Full House, Naked Single e Hidden Single.

2. Valor proibido

X não pode estar nesta célula.

É a forma típica de progresso de Locked Candidates, Subsets, Fish, Wings e Chains.

3. Reserva

Estes N dígitos pertencem a estas N células.

Subsets usam esse tipo de informação. Uma reserva pode não resolver nenhuma célula imediatamente, mas restringe outras posições.

4. Implicação

Se A for verdadeiro/falso, B precisa assumir determinado estado.

Enlaces Fortes, Enlaces Fracos, Coloring e Chains expressam lógica como implicações.

Candidatos são um modelo de incerteza

Os candidatos não são palpites.

Eles representam o conjunto de valores que ainda não foram excluídos pelas informações disponíveis.

Quando o solve avança, esse modelo é refinado:

{1,4,7} → {1,7} → {7}

Cada eliminação reduz incerteza.

Uma célula resolvida é apenas o caso extremo em que resta uma única possibilidade.

Essa visão ajuda a entender por que eliminar um candidato é uma jogada real mesmo quando nenhum número é colocado.

Legal é mais fraco que resolvido

Um candidato pode ser legal sem ser a solução da célula.

Se {3,8} são ambos legais, sabemos apenas que nenhum deles viola imediatamente linha, coluna ou bloco.

Para resolver a célula, é preciso informação adicional que prove qual deles é verdadeiro.

Confundir “não vejo conflito” com “está correto” é uma das formas mais comuns de transformar Sudoku em tentativa e erro.

Raciocínio centrado na célula

O raciocínio cell-first pergunta:

quais dígitos podem entrar nesta célula?

É natural para:

• Naked Singles;
• Naked Subsets;
• Wings;
• análise de células bivalue.

Você restringe a lista de possibilidades da célula e procura estrutura nessa lista.

Raciocínio centrado no dígito

O raciocínio digit-first pergunta:

onde este dígito ainda pode aparecer?

É natural para:

• Hidden Singles;
• Locked Candidates;
• Fish;
• Skyscraper;
• Two-String Kite;
• X-Chains e Coloring.

Em vez de examinar uma célula, você acompanha a geometria de um único dígito pela grade.

Raciocínio centrado na unidade

O raciocínio unit-first pergunta:

o que falta nesta linha, coluna ou bloco, e como as células restantes podem acomodar isso?

Full House é a forma mais simples.

Subsets e interseções também dependem fortemente dessa visão.

Um solver humano forte alterna entre cell-first, digit-first e unit-first em vez de usar apenas um modo de busca.

Lógica local e lógica distribuída

Deduções locais

Uma dedução local pode ser verificada em uma área pequena:

• uma célula;
• uma unidade;
• uma interseção entre bloco e linha/coluna.

Singles, Locked Candidates e muitos Subsets são exemplos.

Deduções distribuídas

Uma dedução distribuída depende de relações separadas espacialmente:

• Fish;
• Wings;
• Coloring;
• Chains;
• AIC.

A prova continua sendo lógica, mas a informação precisa ser combinada em várias partes da grade.

Essa transição explica por que técnicas avançadas parecem mais difíceis mesmo quando cada passo individual é simples.

Contagem é uma das ideias mais profundas e recorrentes do Sudoku

Muitas técnicas aparentemente diferentes são variações de uma mesma pergunta:

quantas posições ou candidatos estão reservados para quantos objetos?

Contagem em Subsets

N células contêm exatamente N dígitos relevantes.

Isso cria uma reserva e permite eliminações.

Contagem em Hidden Subsets

N dígitos aparecem apenas em N células.

A reserva é vista do lado dos dígitos em vez do lado das células.

Contagem em Fish

N conjuntos base confinam um dígito a N conjuntos de cobertura.

As ocorrências externas nas coberturas podem ser eliminadas.

Pairs, Triples, Quads e Fish parecem famílias diferentes, mas compartilham essa estrutura combinatória de reserva.

Enlaces Fortes e Fracos são linguagem de implicação

Chains avançadas ficam muito mais claras quando seus enlaces são lidos como regras de verdade.

Enlace Fraco

A verdadeiro → B falso

A e B não podem ser verdadeiros simultaneamente.

Enlace Forte

A falso → B verdadeiro

Se A não for verdadeiro, B precisa assumir a verdade.

Pares conjugados são o exemplo mais comum.

A alternância dessas relações permite transformar uma hipótese local em uma conclusão distante.

Cadeias transformam implicações em prova

Uma Chain não é uma série de palpites.

Ela conecta implicações válidas até que os extremos ou o fechamento da cadeia provem algo.

Por exemplo:

A falso → B verdadeiro → C falso → D verdadeiro

Se essa sequência for sustentada por enlaces reais, D é uma consequência lógica da condição inicial.

X-Chains, XY-Chains e AICs variam na estrutura, mas compartilham essa ideia.

Contradição é um método de prova

Raciocínio por contradição começa com uma hipótese bem definida e demonstra que ela leva inevitavelmente a um estado impossível.

Se:

A verdadeiro → ... → contradição

então A é falso.

Isso não é o mesmo que colocar A na grade, explorar aleatoriamente e apagar quando algo dá errado.

A diferença está na prova: a contradição precisa seguir de implicações necessárias.

Prova direta e prova por contradição podem descrever a mesma lógica

Uma eliminação pode ter mais de uma explicação correta.

Uma Chain pode provar diretamente que um alvo vê dois extremos dos quais pelo menos um é verdadeiro.

Outra notação pode dizer:

se o alvo fosse verdadeiro, ambos os extremos seriam falsos e a cadeia entraria em contradição.

As duas descrições podem representar a mesma estrutura lógica.

O melhor texto é o que torna a prova mais curta e verificável.

Um padrão válido nem sempre é uma jogada útil

Encontrar a geometria de uma técnica não garante que ela produza progresso.

Um X-Wing pode existir sem candidatos externos para eliminar.

Uma XY-Chain pode ser válida, mas seus extremos podem não compartilhar nenhum alvo.

Uma AIC pode alternar corretamente e ainda terminar sem conclusão útil.

Portanto, existem duas perguntas diferentes:

1. o padrão é válido?
2. o padrão produz uma eliminação ou colocação?

A cascata de dependências

Uma dedução raramente termina onde foi feita.

Uma eliminação pode criar:

• um Naked Single;
• um Hidden Single;
• um novo par conjugado;
• um Locked Candidate;
• uma nova Chain.

Isso cria uma cascata de dependências.

É por isso que uma boa estratégia volta a técnicas simples depois de cada breakthrough avançado: o estado da grade mudou, então o que antes não existia pode ter acabado de aparecer.

Solvers de correção e solvers de estilo humano respondem perguntas diferentes

Solver completo / contador de soluções

Um solver completo procura responder:

• existe uma solução?
• existem várias?
• qual é a solução?

Ele pode usar busca, backtracking, exact cover ou outros algoritmos que não imitam um jogador humano.

Analisador de estilo humano

Um analisador human-style procura responder:

• que técnica explica a próxima dedução?
• qual caminho de resolução é plausível para uma pessoa?
• que técnica mais difícil é realmente necessária?

Um puzzle pode ser trivial para um computador e ainda ser muito difícil para um jogador humano.

Unicidade é uma premissa adicional

Técnicas como Unique Rectangle e BUG+1 usam:

este puzzle foi verificado como tendo exatamente uma solução.

Isso é informação adicional sobre o puzzle.

Não deve ser confundida com as regras locais de linha, coluna e bloco.

Essa distinção permite falar de técnicas de unicidade sem tratá-las como “quarta regra” do Sudoku.

Lógica não exige uma ordem universal de técnicas

Não existe uma única sequência obrigatória do tipo:

Singles → Pairs → X-Wing → XY-Wing → ...

Diferentes solvers podem encontrar deduções diferentes no mesmo estado.

Uma técnica avançada pode estar visível enquanto uma técnica simples também está disponível.

Para humanos, a melhor ordem costuma ser pragmática:

• prefira deduções fáceis de verificar;
• procure padrões adequados à densidade de candidatos;
• volte ao início do ciclo após cada progresso.

Um modelo compacto de resolução lógica

Podemos resumir a resolução em um ciclo:

1. modelar as possibilidades com candidatos;
2. procurar uma restrição, reserva ou implicação útil;
3. provar uma colocação ou eliminação;
4. atualizar os candidatos;
5. recomeçar a busca com o novo estado.

A complexidade das técnicas aumenta, mas esse ciclo permanece essencialmente o mesmo do primeiro Single à AIC mais longa.

FAQ

Eliminar um candidato é uma jogada real de Sudoku?

Sim. Uma eliminação reduz o espaço de possibilidades e frequentemente cria a próxima colocação. Em níveis avançados, grande parte do progresso ocorre por eliminações.

Técnicas avançadas usam regras diferentes?

Não, com uma exceção conceitual importante: técnicas de unicidade usam também a premissa adicional de que o puzzle tem exatamente uma solução. As demais técnicas combinam as mesmas restrições básicas de formas mais profundas.

Contradição é a mesma coisa que adivinhar?

Não. Uma prova por contradição é lógica quando a hipótese é analisada por consequências necessárias até um estado impossível. Adivinhação aleatória não possui essa cadeia de prova.

Por que dois solvers podem encontrar jogadas diferentes?

Porque várias deduções podem estar disponíveis ao mesmo tempo e os solvers usam ordens de busca e critérios de preferência diferentes.

Todo padrão válido produz uma eliminação?

Não. A estrutura pode existir sem alvos úteis. O reconhecimento do padrão e o efeito produzido são etapas separadas.

Lógica de Sudoku é apenas eliminação?

Não. Ela inclui colocações forçadas, proibições, reservas entre células/dígitos e implicações que podem ser encadeadas.

Usar um solver de computador ainda é “lógica”?

Depende do objetivo. Um programa pode implementar técnicas humanas lógicas ou usar busca completa. O fato de ser computador não define o método; o algoritmo usado define.

O que aprender a seguir

Para aprofundar esta página, estude Enlaces Fortes e Fracos, Cadeias, AIC e Sudoku e Matemática. Juntos, eles mostram como a mesma lógica pode ser descrita como restrições, implicações, contagem e prova formal.