Cadeias no Sudoku

Uma Cadeia no Sudoku é uma sequência de inferências entre candidatos em que a verdade ou falsidade de um estado força o estado seguinte.

A linguagem central é formada por duas relações:

• Enlace Forte: falso → verdadeiro;
• Enlace Fraco: verdadeiro → falso.

Quando esses papéis de inferência se alternam, um estado lógico pode percorrer a grade:

falso → verdadeiro → falso → verdadeiro → ...

Essa propagação pode provar que:

• um candidato deve ser verdadeiro;
• um candidato deve ser falso;
• pelo menos uma de duas extremidades deve ser verdadeira;
• uma suposição leva a uma contradição;
• ou diferentes estados iniciais levam à mesma conclusão.

Cadeias não servem para desenhar linhas longas em um Sudoku por si só.

O objetivo é encontrar a sequência verificável mais curta que prove uma dedução útil.

Antes das Cadeias: entenda os estados de candidato

Uma Cadeia não conecta células inteiras de forma geométrica e vaga.

Ela conecta estados de candidato.

Por exemplo:

r4c2=7

é um estado lógico: “o candidato 7 em r4c2 é verdadeiro”.

Um enlace explica o que acontece com outro estado de candidato se esse primeiro estado for verdadeiro ou falso.

Isso importa porque a mesma célula pode participar de vários enlaces através de valores candidatos diferentes.

Quando o raciocínio por Cadeias parecer confuso, volte aos estados individuais e enuncie cada inferência em voz alta.

Os dois sentidos de inferência

Enlace Forte

A falso → B verdadeiro

A e B não podem ser ambos falsos.

Enlace Fraco

A verdadeiro → B falso

A e B não podem ser ambos verdadeiros.

A alternância funciona porque cada enlace produz o estado de que o enlace seguinte precisa.

Um Enlace Forte recebe falso e produz verdadeiro.

Um Enlace Fraco recebe verdadeiro e produz falso.

Então outro Enlace Forte pode continuar o processo.

Uma Cadeia de quatro nós

Suponha:

A = B - C = D

onde:

• = representa um papel de inferência Forte;
• - representa um papel de inferência Fraco.

Comece com A falso.

A falso

O Enlace Forte força:

B verdadeiro.

B verdadeiro

O Enlace Fraco força:

C falso.

C falso

O Enlace Forte seguinte força:

D verdadeiro.

Portanto:

A falso → D verdadeiro.

Se a mesma estrutura alternada também puder ser lida a partir da outra extremidade:

D falso → A verdadeiro.

então A e D não podem ser ambos falsos.

Logo:

Pelo menos uma extremidade é verdadeira.

Qualquer estado de candidato que entre em conflito com as duas possíveis extremidades verdadeiras pode ser eliminado.

Por que uma Cadeia muitas vezes pode ser lida nos dois sentidos

Pares conjugados comuns e pares de candidatos em células bivalue são relações ao mesmo tempo Fortes e Fracas.

Isso permite seguir uma sequência alternada válida a partir de qualquer extremidade, desde que os papéis dos enlaces estejam atribuídos corretamente.

Em uma Cadeia de eliminação por extremidades, a prova útil costuma ser:

Extremidade A falsa → Extremidade B verdadeira
Extremidade B falsa → Extremidade A verdadeira

Portanto, as duas extremidades não podem ser falsas ao mesmo tempo.

Essa é a base lógica das eliminações por peer comum ensinadas em X-Chain e XY-Chain.

Não presuma que qualquer sequência arbitrária de conexões possui essa propriedade reversível. O tipo e o sentido de cada enlace precisam ser válidos em todos os passos.

Cadeias não são palpites aleatórios

Provas por Cadeia muitas vezes começam com uma afirmação temporária como:

Suponha que o candidato A seja falso.

Isso pode parecer um palpite, mas a função da suposição é diferente.

Você não aceita a suposição como solução.

Em vez disso:

1. escolha um estado temporário;
2. siga apenas implicações forçadas;
3. alcance uma consequência;
4. repita a partir da extremidade oposta ou de outro estado quando necessário;
5. mantenha apenas a conclusão que é logicamente garantida.

A prova está nos enlaces forçados, não na premissa temporária inicial.

Isso se aproxima mais de uma prova matemática por casos ou contradição do que de tentativa e erro sem justificativa.

Técnicas de Sudoku com nome são Cadeias comprimidas

Muitos padrões que são mais fáceis de reconhecer pela geometria também podem ser descritos como Cadeias curtas.

Skyscraper

Um caminho alternado curto de um único dígito entre duas estruturas de pares conjugados.

Two-String Kite

Uma Cadeia curta de um único dígito em que a conexão Fraca surge através de um bloco.

W-Wing

Duas células bivalue iguais interagem por meio de um Enlace Forte externo.

XY-Wing

Um padrão de propagação bivalue de três células que pode ser representado como uma XY-Chain curta.

Quando a geometria é óbvia, o padrão com nome costuma ser a melhor descrição humana.

A linguagem de Cadeias se torna mais valiosa quando:

• o padrão se estende mais;
• a geometria já não corresponde a uma forma conhecida;
• ou você quer uma estrutura lógica única que explique várias técnicas.

Enlaces dentro e entre células

Cadeias podem percorrer diferentes tipos de relações entre candidatos.

Dentro de uma célula bivalue

Célula:

{3,8}

Os candidatos estão fortemente ligados:

não 3 → 8

e:

não 8 → 3.

Como uma célula só contém um dígito, também estão fracamente ligados.

Entre células relacionadas

Dois candidatos 8 que se veem estão fracamente ligados:

primeiro 8 verdadeiro → segundo 8 falso.

Dentro de um par conjugado

Dois candidatos do mesmo dígito que são as únicas posições em uma unidade são Fortes e Fracos.

Essas três ideias bastam para entender os Guias atuais de X-Chain e XY-Chain.

Cadeias de um único dígito

Uma X-Chain acompanha apenas um dígito candidato.

Por exemplo, cada nó pode representar candidato 7 em uma célula diferente.

Enlaces Fortes normalmente vêm de:

• pares conjugados em linhas;
• pares conjugados em colunas;
• pares conjugados em blocos.

Enlaces Fracos vêm de posições do candidato 7 que se veem.

Uma X-Chain eliminativa padrão começa e termina com um papel de inferência Forte. Isso prova que pelo menos uma extremidade contém o dígito da Cadeia, permitindo eliminar esse dígito dos peers comuns das extremidades.

X-Chains curtas se sobrepõem a padrões de um único dígito com nome, como Skyscraper, Two-String Kite, Turbot Fish e Empty Rectangle.

Cadeias de células bivalue

Uma XY-Chain, em sua forma padrão, usa apenas células bivalue.

Dentro de cada célula da Cadeia:

• os dois candidatos fornecem o passo Forte.

Entre células consecutivas:

• o candidato compartilhado fornece o passo Fraco porque as células se veem.

O valor do candidato muda ao longo da Cadeia.

A primeira e a última célula contêm o mesmo candidato de extremidade Z. Isso prova que pelo menos uma extremidade é Z, permitindo eliminar Z de células que veem as duas extremidades.

XY-Wing é o exemplo introdutório curto desse tipo de propagação.

Colorização é outra forma de gerenciar estados de Cadeia

A Colorização Simples acompanha um dígito por uma rede conectada de pares conjugados.

Em vez de seguir um único caminho escolhido, atribui dois estados alternados — frequentemente exibidos como Cor A e Cor B — a todo o componente conectado de Enlaces Fortes.

Depois procura contradições ou candidatos externos que interajam com as duas polaridades.

Portanto, Colorização e Cadeias não são teorias rivais.

São interfaces humanas diferentes para uma lógica binária de inferência muito próxima.

O que torna uma Cadeia útil?

Uma Cadeia pode ser válida e ainda assim não produzir progresso.

Isso é importante.

A grade não recompensa o comprimento da Cadeia; recompensa conclusões.

Resultados úteis comuns incluem:

Eliminação pelas extremidades

Pelo menos uma das duas extremidades é verdadeira.

Um candidato que vê ambas não pode ser verdadeiro.

Contradição

Uma premissa acaba forçando um estado impossível, provando que a premissa é falsa.

Colocação forçada

Um ramo ou uma suposição de extremidade força o mesmo candidato verdadeiro em todas as possibilidades.

Convergência

Diferentes estados iniciais possíveis levam ao mesmo resultado.

Se sua sequência não chega a uma consequência garantida, ela pode ser um caminho de implicações válido, mas ainda não é uma jogada produtiva de Sudoku.

Cadeias abertas, loops e o caminho até AIC

Os Guias atuais se concentram em Cadeias abertas com conclusões úteis nas extremidades.

Teoria de Cadeias mais geral inclui:

• Alternating Inference Chains (AICs);
• loops descontínuos;
• loops contínuos;
• nós agrupados;
• nós ALS.

Essas extensões permitem condições de extremidade e eliminações mais variadas.

Elas pertencem à camada de expansão porque o corpus atual primeiro precisa de uma base estável em enlaces ao nível de candidato, X-Chains, XY-Chains e Colorização.

A ideia central não muda:

alterne papéis de inferência válidos e preserve a lógica forçada em cada passo.

Cadeia vs Rede

Uma Cadeia progride de forma linear: cada nova inferência segue do estado imediatamente anterior.

Uma Rede ramifica ou exige o resultado combinado de mais de um ramo anterior.

A distinção importa porque uma Rede é mais difícil de verificar manualmente e pertence a métodos de forcing mais avançados.

Para o percurso atual:

Enlaces Fortes
→ Enlaces Fracos
→ Cadeias curtas
→ Colorização / X-Chain / XY-Chain
→ AIC
→ estruturas agrupadas e forcing depois

Notação de Cadeias

A notação só é útil depois que a lógica foi entendida.

Uma forma conceitual simples é:

A = B - C = D

onde:

• = significa papel de inferência Forte;
• - significa papel de inferência Fraco.

Comunidades de Sudoku também usam notação de Nice Loop, AIC/Eureka, coordenadas de candidatos, rótulos de dígitos e sintaxe de nós agrupados.

Esses sistemas comprimem uma Cadeia para comunicá-la com precisão.

Eles não mudam a prova.

Ao aprender, você deve sempre conseguir expandir a notação de volta para linguagem comum:

Se isto for falso, aquilo é verdadeiro; portanto isto é falso; portanto aquilo é verdadeiro...

Como verificar uma Cadeia

Antes de fazer uma eliminação, confira todos os passos.

1. Identifique o nó candidato exato.
2. Nomeie a origem do enlace. Linha, coluna, bloco, célula bivalue ou outra estrutura válida.
3. Declare o sentido da inferência. Falso → verdadeiro ou verdadeiro → falso.
4. Continue apenas se o estado seguinte for forçado.
5. Verifique a conclusão nas extremidades nos dois casos necessários.
6. Confira se o alvo realmente entra em conflito com todas as possibilidades de extremidade usadas pela prova.

Se um passo depender de “provavelmente” ou “parece conectado”, a Cadeia não está provada.

Como procurar Cadeias sem se perder

Não comece tentando enumerar todo o grafo de candidatos.

Uma progressão prática é:

1. encontre um Enlace Forte promissor;
2. examine conexões Fracas curtas a partir de suas extremidades;
3. procure outro Enlace Forte;
4. pare assim que surgir uma relação útil entre extremidades;
5. prefira um padrão curto com nome quando ele descreve a mesma prova com clareza;
6. depois de qualquer eliminação, volte a Singles e técnicas mais simples.

Isso mantém as Cadeias como ferramenta de resolução, não como exercício de desenhar grafos.

Erros comuns

Alternar estilos de linha sem conferir a inferência

O enlace precisa ser logicamente válido. Uma linha sólida ou tracejada não faz com que seja.

Ler um Enlace Fraco ao contrário

A partir de A falso, uma relação apenas Fraca não oferece conclusão forçada sobre B.

Esquecer que os nós são estados de candidato, não apenas células

A mesma célula pode participar através de candidatos diferentes.

Construir uma Cadeia sem conclusão

Um caminho longo e válido ainda pode ser inútil.

Eliminar um alvo que entra em conflito com apenas uma extremidade

Na prova padrão por extremidades, o alvo precisa ser incompatível com todas as possíveis extremidades verdadeiras.

Pular direto para a notação formal

A notação deve comprimir um raciocínio que você já entende.

Usar uma Cadeia desnecessariamente longa

Se Skyscraper, W-Wing, X-Wing ou outra técnica mais simples prova a mesma eliminação, prefira a explicação mais curta.

Como aprender Cadeias sem ficar sobrecarregado

Uma boa progressão é:

1. dominar Enlaces Fortes;
2. dominar Enlaces Fracos;
3. traçar Cadeias abstratas de quatro nós;
4. revisitar Skyscraper, Two-String Kite e W-Wing como exemplos de Cadeia;
5. aprender Colorização Simples como rede binária visual;
6. aprender X-Chains curtas;
7. aprender XY-Chains curtas;
8. só então generalizar para AICs.

FAQ

O que é uma Cadeia no Sudoku?

É uma sequência de implicações forçadas entre candidatos. Cada estado força o seguinte por meio de relações Fortes e Fracas até a sequência provar uma conclusão útil.

Por que Cadeias alternam Enlaces Fortes e Fracos?

Enlaces Fortes transformam falso em verdadeiro, enquanto Enlaces Fracos transformam verdadeiro em falso. Alternar esses papéis permite propagar um estado forçado.

Cadeias são o mesmo que adivinhar?

Não. Uma suposição temporária pode iniciar a prova, mas cada estado seguinte é forçado e apenas uma conclusão garantida é mantida.

Todas as Cadeias são técnicas de nível especialista?

Não. Vários padrões Avançados conhecidos são Cadeias curtas disfarçadas. A dificuldade cresce ao reconhecer e verificar estruturas mais longas ou gerais.

XY-Wing pode ser representada como Cadeia?

Sim. Ela pode ser representada como uma XY-Chain curta através de três células bivalue.

O que é uma AIC?

Uma Alternating Inference Chain é a estrutura geral que alterna papéis de inferência Fortes e Fracos. Há um Guia dedicado a AIC na camada avançada do corpus.

Qual é a diferença entre uma Cadeia e uma Rede?

Uma Cadeia é linear: cada passo depende diretamente do anterior. Uma Rede ramifica ou combina implicações de vários ramos anteriores.

O que aprender depois

Estude Colorização Simples, X-Chain e XY-Chain. Juntas, elas transformam a linguagem abstrata Forte/Fraco em três métodos práticos antes de estruturas ainda mais gerais como AIC.