Enlaces Fortes no Sudoku

Um Enlace Forte conecta duas possibilidades de candidato que não podem ser ambas falsas.

A inferência é:

Se A for falso, B deve ser verdadeiro.

Na resolução comum por candidatos, o Enlace Forte mais frequente aparece quando um dígito tem exatamente duas posições restantes em uma linha, coluna ou bloco.

Essas duas posições formam um par conjugado.

Os Enlaces Fortes são o principal mecanismo de “falso → verdadeiro” por trás de:

• Skyscraper;
• Two-String Kite;
• W-Wing;
• Colorização;
• X-Chains;
• Cadeias mais gerais.

Regra rápida

Enlace Forte

A falso
↓
B verdadeiro

A relação descreve o que acontece quando uma das extremidades é descartada.

Par conjugado: o Enlace Forte mais comum para um mesmo dígito

Suponha que a linha 4 ainda precise do dígito 7.

Restam apenas dois candidatos 7:

• r4c2
• r4c9

A linha precisa conter um 7.

Então:

• se r4c2 não for 7 → r4c9 deve ser 7;
• se r4c9 não for 7 → r4c2 deve ser 7.

Isso é um Enlace Forte no candidato 7.

O mesmo padrão funciona em:

• uma coluna;
• um bloco.

Enlace Forte dentro de uma célula bivalue

Enlaces Fortes também podem conectar candidatos diferentes dentro da mesma célula.

Se uma célula contém apenas:

{3,8}

então:

• se não for 3 → deve ser 8;
• se não for 8 → deve ser 3.

Esse Enlace Forte dentro da célula é o mecanismo que permite a uma XY-Chain passar de um candidato para outro.

Enlace Forte vs par conjugado

Par conjugado

Normalmente significa:

• mesmo dígito;
• exatamente duas posições em uma unidade.

Enlace Forte

É a relação lógica:

um falso força o outro a ser verdadeiro.

Por isso, uma célula bivalue possui um Enlace Forte entre seus dois candidatos mesmo que normalmente não seja chamada de par conjugado.

Por que um par conjugado também tem uma relação fraca

Dois candidatos do mesmo dígito em uma linha não podem ser ambos verdadeiros.

Portanto, um par conjugado possui as duas propriedades:

Forte

Não podem ser ambos falsos.

Fraca

Não podem ser ambos verdadeiros.

Isso importa nas Cadeias porque um Enlace Forte muitas vezes pode ocupar uma posição em que um Enlace Fraco é necessário.

O contrário não é válido em geral.

Um par de candidatos não é automaticamente Forte

Suponha que a linha 5 contenha o candidato 6 em:

• c2;
• c4;
• c8.

Escolha c2 e c4.

Eles têm uma relação fraca porque os dois não podem ser 6 na mesma linha.

Mas não formam um Enlace Forte.

Se c2 for falso, c4 não precisa ser verdadeiro; c8 ainda pode ser 6.

A força da relação vem de uma restrição exaustiva.

Exemplo passo a passo

Enlaces Fortes como camada de busca

Solucionadores avançados podem se beneficiar ao visualizar Enlaces Fortes antes de procurar padrões com nome.

Para um dígito:

1. destaque o candidato;
2. procure linhas com exatamente duas posições;
3. procure colunas;
4. procure blocos;
5. desenhe ou marque mentalmente os pares conjugados.

Uma rede de Enlaces Fortes pode sugerir:

• Skyscraper;
• Two-String Kite;
• Colorização Simples;
• X-Chain.

Células bivalue repetidas podem sugerir W-Wing ou XY-Chain.

Enlaces Fortes e nós agrupados

Sistemas de Cadeias de nível especialista podem construir Enlaces Fortes entre grupos de candidatos em vez de apenas entre células individuais.

Essa é uma teoria avançada válida, mas um primeiro modelo mental pode continuar simples:

dois nós de candidatos conectados por uma implicação obrigatória falso → verdadeiro.

Enlaces agrupados são uma extensão mais avançada e ficam além deste escopo introdutório.

Erros comuns

Chamar qualquer par do mesmo dígito de Forte

Não pode existir uma terceira posição válida na unidade de origem.

Ler a implicação como verdadeiro → verdadeiro

Essa é a direção errada.

Achar que Forte e Fraco são opostos que não podem coexistir

Um par conjugado tem as duas propriedades.

Esquecer a origem do enlace

Saiba se o enlace foi criado por:

• linha;
• coluna;
• bloco;
• célula bivalue.

Exercício de reconhecimento

Para um dígito escolhido, pergunte:

“Existem exatamente duas posições nesta unidade?”

Se sim, marque um Enlace Forte.

Para uma célula bivalue, pergunte:

“Existem exatamente dois valores nesta célula?”

Se sim, os dois candidatos estão fortemente ligados dentro da célula.

FAQ

O que é um par conjugado?

Duas posições candidatas para o mesmo dígito que são as únicas posições possíveis para esse dígito em uma unidade.

Todo Enlace Forte é um par conjugado?

Não. Células bivalue também criam Enlaces Fortes entre candidatos diferentes.

Um Enlace Forte também pode ser Fraco?

Sim. Pares conjugados comuns são o exemplo clássico.

Por que os Enlaces Fortes são importantes?

Eles transformam um candidato falso em outro candidato obrigatoriamente verdadeiro, permitindo que a inferência avance por Cadeias.

O que aprender depois

Leia Enlaces Fracos e depois combine as duas direções em Cadeias no Sudoku.