Um Enlace Fraco conecta duas possibilidades de candidato que não podem ser ambas verdadeiras.
A inferência é:
Se A for verdadeiro, B deve ser falso.
Mas o contrário não é automaticamente válido:
Se A for falso, B ainda pode ser verdadeiro ou falso.
Essa assimetria é a ideia mais importante.
Os Enlaces Fracos são a metade “verdadeiro → falso” do raciocínio com Cadeias.
Regra rápida
Enlace Fraco
A verdadeiro
↓
B falsoMas:
A falso
↓
nenhuma conclusão obrigatória sobre BMesmo dígito em uma unidade
Suponha que a linha 4 contenha vários candidatos 6.
Quaisquer duas dessas posições têm uma relação fraca.
Se r4c2 = 6, os outros candidatos 6 da linha 4 são falsos.
Mesmo dígito.
Mesma unidade.
Eles não podem coexistir.
Isso continua verdadeiro mesmo quando a linha possui três, quatro ou mais candidatos 6.
Candidatos diferentes dentro da mesma célula
Candidatos na mesma célula também possuem relações fracas.
Célula:
{3,8,9}
Se a célula for 3:
- ela não pode ser 8;
- ela não pode ser 9.
Mas se 3 for falso, a célula ainda pode ser:
- 8;
- ou 9.
Nenhum parceiro específico se torna obrigatório.
Forte vs Fraco
Enlace Forte
Não podem ser ambos falsos.
A falso → B verdadeiro
Enlace Fraco
Não podem ser ambos verdadeiros.
A verdadeiro → B falso
Por que um Enlace Forte muitas vezes pode servir como Fraco
Considere um par conjugado do candidato 7 em uma linha.
Existem exatamente duas posições.
Propriedade Forte
Se uma for falsa, a outra deve ser verdadeira.
Propriedade Fraca
Como as duas são candidatas a 7 na mesma linha, não podem ser ambas verdadeiras.
Por isso, o mesmo par pode cumprir qualquer um dos papéis em uma Cadeia alternada.
Um Enlace Fraco comum não pode ser promovido a Forte a menos que também exista a condição exaustiva de que “uma destas posições deve ser verdadeira”.
Comparação passo a passo
De onde vêm os Enlaces Fracos
Fontes comuns:
Mesmo dígito na mesma linha
Mesmo dígito na mesma coluna
Mesmo dígito no mesmo bloco
Candidatos diferentes na mesma célula
Todas são relações de exclusão.
Elas respondem:
Se este candidato for verdadeiro, o que deixa de poder ser verdadeiro?
Enlaces Fracos em XY-Chains
XY-Chains alternam:
- Enlace Forte dentro de uma célula bivalue;
- Enlace Fraco entre células relacionadas que compartilham um candidato.
Exemplo:
{3,9} vê {9,8}Se a primeira célula se tornar 9, a segunda não pode ser 9 e, como é bivalue, deve se tornar 8.
Enlaces Fracos em Cadeias de um único dígito
Para um candidato X:
- segmentos de pares conjugados fornecem Enlaces Fortes;
- a visibilidade entre candidatos X fornece Enlaces Fracos.
Essa estrutura alternada permite que uma Cadeia propague estados:
falso
→ verdadeiro
→ falso
→ verdadeiroErros comuns
Ler falso → verdadeiro a partir de um Enlace Fraco
Isso exige um Enlace Forte.
Achar que apenas pares conjugados criam enlaces
Quaisquer candidatos do mesmo dígito que se enxergam têm uma relação fraca.
Esquecer os Enlaces Fracos dentro da célula
Candidatos na mesma célula não podem coexistir.
Achar que “fraco” significa pouco importante
O nome descreve o tipo de inferência, não sua utilidade.
Exercício de reconhecimento
Pergunte:
Estes dois estados de candidato podem ser verdadeiros ao mesmo tempo?
Se a resposta for não, existe um Enlace Fraco.
Depois pergunte separadamente:
Eles podem ser ambos falsos?
Se essa resposta também for não, a relação também é Forte.
FAQ
Um enlace pode ser Forte e Fraco ao mesmo tempo?
Sim.
Dois candidatos do mesmo dígito em uma unidade estão sempre fracamente ligados?
Sim.
Eles estão sempre fortemente ligados?
Não.
Por que as Cadeias alternam enlaces?
Porque estados verdadeiro/falso se propagam de forma previsível quando os papéis de inferência Forte e Fraco se alternam.
O que aprender depois
Combine as duas relações em Cadeias no Sudoku.