Nesta página
Um Enlace Fraco conecta dois estados de candidato que não podem ser verdadeiros ao mesmo tempo.
Sua inferência definidora é:
Se A for verdadeiro, B deve ser falso.
E, simetricamente:
Se B for verdadeiro, A deve ser falso.
A limitação importante aparece quando uma extremidade é falsa:
Se A for falso, B ainda pode ser verdadeiro ou falso.
Esse estado falso não força o parceiro, a menos que a relação também seja Forte.
Enlaces Fracos são, portanto, a metade verdadeiro → falso do raciocínio com Cadeias. Eles descrevem conflitos: dois estados de candidato que não podem coexistir.
Regra rápida
Enlace Fraco
A verdadeiro → B falso
B verdadeiro → A falsoMas:
A falso → nenhuma conclusão forçada sobre BOutra definição equivalente é:
A e B não podem ser ambos verdadeiros.
A Verdadeiro → B Falso
O que um Enlace Fraco prova?
Um Enlace Fraco diz o que um candidato verdadeiro eliminaria.
Para um par apenas Fraco, os estados possíveis são:
| A | B | Possível? |
|---|---|---|
| verdadeiro | falso | sim |
| falso | verdadeiro | sim |
| falso | falso | sim |
| verdadeiro | verdadeiro | não |
A terceira linha é o que separa uma relação apenas Fraca de uma Forte.
Os dois candidatos podem ser falsos porque uma terceira possibilidade pode satisfazer a linha, coluna, bloco ou célula.
Mesmo dígito em uma unidade
Suponha que a linha 4 contenha candidato 6 em quatro células.
Escolha quaisquer duas dessas posições de 6.
Elas estão fracamente ligadas porque uma linha não pode conter o dígito 6 duas vezes.
Se:
r4c2 = 6então todos os outros candidatos 6 da linha 4 são falsos.
O mesmo conflito existe quando dois candidatos do mesmo dígito compartilham:
- uma linha;
- uma coluna;
- um bloco.
Eles não precisam formar um par conjugado para serem Fracos.
A visibilidade é suficiente: dois candidatos iguais que se veem não podem ser verdadeiros ao mesmo tempo.
Candidatos diferentes dentro da mesma célula
Candidatos na mesma célula também estão fracamente ligados porque uma célula de Sudoku só pode conter um valor.
Suponha que uma célula contenha:
{3,8,9}Se 3 for verdadeiro:
- 8 é falso;
- 9 é falso.
Mas, se 3 for falso, 8 ou 9 ainda podem ser verdadeiros.
Então o par 3–8 é Fraco, mas não Forte.
Se a célula fosse:
{3,8}os dois candidatos seriam Fracos e Fortes:
- um verdadeiro força o outro a ser falso;
- um falso força o outro a ser verdadeiro.
Essa relação de exatamente um verdadeiro é o que torna células bivalue tão úteis em Wings e XY-Chains.
Forte vs Fraco
Os dois conceitos respondem a perguntas diferentes.
Enlace Forte
Os dois candidatos podem ser falsos?
Se não:
A falso → B verdadeiroEnlace Fraco
Os dois candidatos podem ser verdadeiros?
Se não:
A verdadeiro → B falsoFalso → Verdadeiro
Verdadeiro → Falso
Um par pode ser:
- apenas Fraco;
- Forte + Fraco.
Nas relações comuns de candidatos usadas nestes Guias, “Forte + Fraco” significa que exatamente uma extremidade é verdadeira.
Por que pares conjugados são Fortes e Fracos
Suponha que a linha 8 contenha exatamente dois candidatos 5.
Como um deles precisa ser 5:
um falso → o outro verdadeiro.
Essa é a propriedade Forte.
Como compartilham a mesma linha:
um verdadeiro → o outro falso.
Essa é a propriedade Fraca.
Portanto, o par pode muitas vezes ser usado em qualquer um dos papéis de inferência dentro de uma Cadeia alternada.
Essa flexibilidade é importante quando uma X-Chain atravessa um par conjugado, mas precisa que aquela conexão funcione como passo Fraco em um ponto específico do caminho.
Um Enlace Fraco não escolhe o substituto
Esse é o erro que quebra muitas Cadeias.
Suponha que a linha 2 contenha candidato 4 em:
r2c1;r2c5;r2c8.
r2c1 e r2c5 estão fracamente ligados.
Se r2c1 = 4, então r2c5 ≠ 4.
Mas se r2c1 ≠ 4, você não pode concluir r2c5 = 4, porque r2c8 continua possível.
Um Enlace Fraco elimina um estado conflitante depois de uma verdade. Ele não cria, sozinho, uma verdade depois de uma falsidade.
Comparação passo a passo
Leia o tabuleiro fazendo duas perguntas separadas para cada par:
- Se uma extremidade for verdadeira, a outra precisa ser falsa?
- Se uma extremidade for falsa, a outra precisa ser verdadeira?
A primeira testa a propriedade Fraca.
A segunda testa a propriedade Forte.
De onde vêm os Enlaces Fracos
Enlaces Fracos são extremamente comuns porque o Sudoku é construído sobre regras de exclusão mútua.
Mesmo dígito na mesma linha
Duas posições candidatas para o dígito X na mesma linha não podem ser X ao mesmo tempo.
Mesmo dígito na mesma coluna
Duas posições candidatas para X na mesma coluna não podem ser X ao mesmo tempo.
Mesmo dígito no mesmo bloco
Duas posições candidatas para X no mesmo bloco não podem ser X ao mesmo tempo.
Candidatos diferentes na mesma célula
Uma célula só pode conter um dígito, então dois valores candidatos dentro dela não podem ser verdadeiros ao mesmo tempo.
Todos esses casos respondem à mesma pergunta lógica:
Se este candidato for verdadeiro, qual outro estado de candidato se torna impossível?
Enlaces Fracos podem conectar segmentos de Enlaces Fortes
Cadeias avançadas muitas vezes parecem pares forçados separados por conflitos mais fracos.
Para um único dígito:
segmento Forte
→ conexão Fraca
→ segmento FortePor exemplo:
- um par conjugado em uma linha;
- um candidato visível do mesmo dígito conectando-o a outro par conjugado;
- depois outra relação forçada.
O Enlace Fraco permite que um estado verdadeiro de um segmento Forte torne o próximo candidato falso, para que o Enlace Forte seguinte transforme falso novamente em verdadeiro.
Isso cria a propagação conhecida:
falso → verdadeiro → falso → verdadeiroEnlaces Fracos em XY-Chains
XY-Chains alternam dois tipos de estrutura:
- relação Forte dentro de uma célula bivalue;
- relação Fraca entre células relacionadas que compartilham um candidato.
Suponha:
A {3,9}
B {9,8}e que A veja B.
Se A se tornar 9, B não pode ser 9.
Como B é bivalue, não-9 força B a ser 8.
Então a relação de 9 entre as células é Fraca, enquanto a relação interna {9,8} é Forte.
Esse padrão repetido permite que a implicação percorra várias células bivalue.
Enlaces Fracos em Cadeias de um único dígito
Uma X-Chain mantém um único dígito fixo.
Enlaces Fortes normalmente vêm de pares conjugados.
Enlaces Fracos conectam posições candidatas do mesmo dígito que se veem.
Conceitualmente:
A = B - C = D - E = F=é Forte;-é Fraco.
Os passos Fracos convertem um candidato verdadeiro em falso. O passo Forte seguinte converte esse falso em um verdadeiro forçado.
Enlace Fraco vs relação de peer
Para candidatos do mesmo dígito, a visibilidade entre peers é suficiente para criar um Enlace Fraco.
Mas “peer” e “Enlace Fraco” não são termos intercambiáveis em todo contexto.
Duas células podem ser peers mesmo quando você está comparando dígitos candidatos diferentes, e estados candidatos dentro de uma mesma célula podem estar fracamente ligados sem estarem em células peer distintas.
Use primeiro a definição lógica:
Os dois estados de candidato podem ser verdadeiros?
Se não, a relação é Fraca.
Erros comuns
Ler falso → verdadeiro a partir de um Enlace Fraco
Essa inferência exige uma relação Forte.
Achar que Fraco significa “incerto”
A inferência é totalmente certa:
A verdadeiro definitivamente torna B falso.
“Fraco” descreve o que você não pode inferir quando A é falso.
Achar que apenas pares conjugados criam Enlaces Fracos
Quaisquer candidatos iguais que sejam peers estão fracamente ligados, mesmo que a unidade contenha outras possibilidades.
Esquecer Enlaces Fracos dentro da célula
Valores candidatos diferentes dentro da mesma célula não podem coexistir.
Tratar Forte e Fraco como rótulos mutuamente exclusivos
Um par conjugado e os dois candidatos de uma célula bivalue são ambos.
Ligar candidatos que não entram em conflito
Dois estados não são Fracos apenas porque aparecem próximos na grade ou na mesma ilustração de uma técnica.
É necessária uma regra concreta de Sudoku que impeça os dois de serem verdadeiros.
Exercício de reconhecimento
Escolha quaisquer dois estados candidatos e pergunte:
Eles podem ser verdadeiros ao mesmo tempo?
Se a resposta for não, existe um Enlace Fraco.
Depois pergunte:
Eles podem ser falsos ao mesmo tempo?
- se sim → apenas Fraco;
- se não → Forte + Fraco.
Esse teste de duas perguntas é mais confiável do que decorar estilos de linha.
FAQ
O que é um Enlace Fraco no Sudoku?
É uma relação entre dois estados de candidato que não podem ser verdadeiros ao mesmo tempo. Se um for verdadeiro, o outro deve ser falso.
Dois candidatos do mesmo dígito em uma unidade estão sempre fracamente ligados?
Sim. Dois dígitos iguais não podem ser colocados na mesma linha, coluna ou bloco.
Eles estão sempre fortemente ligados?
Não. Só são Fortes quando a lógica relevante também garante que não podem ser ambos falsos, como em um par conjugado com exatamente duas posições restantes.
Um enlace pode ser Forte e Fraco ao mesmo tempo?
Sim. Pares conjugados e os dois candidatos de uma célula bivalue são exemplos padrão.
Por que Cadeias alternam Enlaces Fortes e Fracos?
Enlaces Fortes convertem falso em verdadeiro. Enlaces Fracos convertem verdadeiro em falso. Alterná-los permite propagar um estado forçado por uma sequência de candidatos.
“Fraco” significa que o enlace é menos útil?
Não. Enlaces Fracos são essenciais. O nome descreve o sentido da inferência, não sua importância.
O que aprender depois
Combine relações Fortes e Fracas em Cadeias no Sudoku, onde esses dois sentidos de inferência se tornam uma linguagem reutilizável de resolução.