Uma Cadeia no Sudoku é uma sequência de implicações obrigatórias entre estados de candidatos.
Para o percurso de aprendizagem atual, a linguagem mais útil é:
- Enlace Forte: falso → verdadeiro;
- Enlace Fraco: verdadeiro → falso.
Ao alternar esses papéis de inferência, um estado pode percorrer a grade:
falso → verdadeiro → falso → verdadeiro → ...Uma Cadeia útil termina com uma conclusão:
- uma extremidade deve ser verdadeira;
- um candidato deve ser falso;
- uma suposição cria uma contradição;
- ou duas possibilidades iniciais levam ao mesmo resultado.
O objetivo não é construir a Cadeia mais longa possível.
É construir a Cadeia mais curta que prove algo útil.
Uma Cadeia de quatro nós
Suponha:
A = B - C = Donde:
=representa um Enlace Forte;-representa um Enlace Fraco.
Comece com A falso.
A falso
Enlace Forte:
→ B verdadeiro.
B verdadeiro
Enlace Fraco:
→ C falso.
C falso
Enlace Forte:
→ D verdadeiro.
Portanto:
A falso → D verdadeiro.
Se a estrutura da Cadeia também for válida no sentido inverso:
D falso → A verdadeiro.
Então pelo menos uma das extremidades A/D deve ser verdadeira.
Qualquer candidato que entre em conflito com as duas extremidades pode ser eliminado.
- Strong Link
- Weak Link
Por que Cadeias não são palpites aleatórios
Uma Cadeia pode começar com uma suposição temporária:
Suponha que A seja falso.
Mas cada estado posterior é forçado por um enlace válido.
A suposição não é aceita como resposta.
Ela é usada para provar uma consequência.
Essa é a diferença entre tentativa e erro sem justificativa e implicação lógica.
Padrões com nome são Cadeias comprimidas
Várias técnicas Avançadas já se encaixam na lógica de Cadeias.
Skyscraper
Uma Cadeia curta de um único dígito.
Two-String Kite
Uma Cadeia curta de um dígito com um Enlace Fraco em um bloco.
W-Wing
Duas células bivalue iguais conectadas por um Enlace Forte.
XY-Wing
Uma Cadeia curta de células bivalue.
Padrões com nome são úteis porque seres humanos conseguem reconhecê-los mais rapidamente do que Cadeias arbitrárias.
A linguagem de Cadeias é útil porque explica por que esses padrões funcionam e permite ir além de geometrias fixas.
Enlaces dentro e entre células
Dentro de uma célula bivalue
{3,8}
3 e 8 formam um Enlace Forte:
- não 3 → 8;
- não 8 → 3.
Entre células relacionadas
Dois candidatos 8 que compartilham uma unidade formam um Enlace Fraco:
- primeiro 8 verdadeiro → segundo 8 falso.
Essa alternância é a base das XY-Chains.
Cadeias de um único dígito
Uma X-Chain usa apenas um dígito candidato.
Enlaces Fortes normalmente vêm de pares conjugados.
Enlaces Fracos vêm de posições candidatas que se enxergam.
Uma X-Chain padrão baseada em extremidades:
- começa Forte;
- termina Forte;
- prova que uma extremidade deve ser X;
- elimina X de células que veem as duas extremidades.
Cadeias de células bivalue
Uma XY-Chain usa células bivalue.
Dentro de cada célula:
- os candidatos formam um Enlace Forte.
Entre células consecutivas:
- o candidato compartilhado forma a conexão fraca.
A Cadeia começa e termina no mesmo valor candidato, permitindo eliminações em células relacionadas às duas extremidades.
XY-Wing é a forma introdutória de três células.
Notação de Cadeias
Para aprender, o significado deve vir antes da notação.
Uma notação visual simples pode usar:
- linha contínua = Forte;
- linha tracejada = Fraca.
A notação textual pode usar:
A = B - C = DA notação formal de AIC fica mais fácil depois que a propagação verdadeiro/falso estiver clara.
Quando uma Cadeia é útil?
Uma sequência válida de enlaces não é automaticamente uma jogada útil.
Ela precisa produzir uma conclusão.
Padrão útil de extremidades:
uma extremidade deve ser verdadeira.
Padrão útil de contradição:
esta suposição força um estado impossível.
Padrão útil de convergência:
duas possibilidades iniciais forçam o mesmo resultado.
Se a Cadeia termina sem provar nada, ela pode ser logicamente interessante, mas não é produtiva.
Cadeia vs Rede
Em uma Cadeia simples, cada inferência depende diretamente do estado imediatamente anterior.
Uma Rede ramifica ou depende de vários ramos anteriores.
Uma progressão introdutória útil é:
- Enlaces Fortes;
- Enlaces Fracos;
- Cadeias curtas;
- conceitos de X-Chain/XY-Chain.
Forcing Nets são uma extensão posterior.
Dos conceitos de Cadeia às técnicas específicas
Colorização Simples
Uma forma visual de administrar uma rede de Enlaces Fortes do mesmo dígito usando dois estados.
X-Chain
Um caminho alternado e deliberado de um único dígito.
XY-Chain
Um caminho através de células bivalue.
AIC
O framework mais geral de Cadeias de Inferência Alternadas.
O tratamento completo de AIC fica além deste escopo introdutório.
Como aprender Cadeias sem se perder
- Domine Forte vs Fraco.
- Trace Cadeias abstratas de quatro nós.
- Veja os mesmos enlaces em uma grade de Sudoku.
- Reveja Skyscraper, Two-String Kite e W-Wing.
- Aprenda X-Chains curtas.
- Aprenda XY-Chains curtas.
- Só então avance para AICs formais.
Erros comuns
Alternar estilos de linha sem conferir a inferência real
A relação lógica importa mais do que o desenho.
Ler um Enlace Fraco ao contrário
Falso não força o parceiro a ser verdadeiro a menos que também exista um Enlace Forte.
Construir uma Cadeia sem conclusão
Uma Cadeia deve provar uma jogada.
Pular direto para a notação formal
A notação comprime o entendimento; não o cria.
Usar uma Cadeia desnecessariamente longa
Se um padrão curto com nome ou uma dedução mais simples provar a mesma jogada, prefira a explicação mais simples.
FAQ
Cadeias são sempre uma técnica de Sudoku Especialista?
Não. Algumas Cadeias curtas com nome, como Skyscraper, são técnicas Avançadas relativamente acessíveis.
XY-Wing pode ser representada como uma Cadeia?
Sim. Pode ser representada como uma XY-Chain curta.
O que é uma AIC?
Uma Alternating Inference Chain é um framework geral que alterna inferências Fortes e Fracas.
Cadeias são o mesmo que adivinhar?
Não. Cada inferência da Cadeia é forçada; uma suposição temporária é usada como parte de uma prova.
O que aprender depois
Estude Colorização Simples, X-Chain e XY-Chain antes de avançar para AICs completas.