Enlaces Fortes no Sudoku

Um Enlace Forte é uma relação entre dois estados de candidato em que os dois não podem ser falsos ao mesmo tempo.

Na linguagem básica de candidatos usada nestes Guias:

Se A for falso, B deve ser verdadeiro.

E, como a relação funciona nos dois sentidos:

Se B for falso, A deve ser verdadeiro.

O Enlace Forte mais conhecido aparece quando um dígito tem exatamente duas posições possíveis em uma linha, coluna ou bloco. Esses dois candidatos formam um par conjugado.

Enlaces Fortes são importantes porque transformam um fato negativo — este candidato é falso — em uma consequência positiva — aquele candidato deve ser verdadeiro. Esse passo de falso para verdadeiro é um dos principais motores de técnicas avançadas como:

• Skyscraper;
• Two-String Kite;
• W-Wing;
• Colorização Simples;
• X-Chain;
• XY-Chain e Cadeias mais gerais.

Você não precisa dominar notação formal de Cadeias para usar Enlaces Fortes corretamente. O primeiro passo é conseguir identificar com precisão por que uma relação é forte.

Regra rápida

Para dois estados de candidato A e B:

Enlace Forte

A falso → B verdadeiro
B falso → A verdadeiro

Outra forma de expressar a mesma condição é:

A e B não podem ser ambos falsos.

O que um Enlace Forte prova?

Um Enlace Forte não significa que os dois candidatos são verdadeiros.

Significa que o par esgota as possibilidades no contexto lógico relevante: se uma extremidade desaparecer, a outra fica forçada.

Para um par conjugado normal do mesmo dígito, os estados possíveis são essencialmente:

A última linha é excluída por uma propriedade de Enlace Fraco. É por isso que um par conjugado comum é ao mesmo tempo Forte e Fraco: exatamente uma extremidade é verdadeira.

Manter as duas ideias separadas é útil porque as Cadeias usam cada uma em um sentido diferente da inferência.

Par conjugado: o Enlace Forte padrão para o mesmo dígito

Suponha que a linha 4 ainda precise do dígito 7 e que o candidato 7 apareça apenas em:

• r4c2;
• r4c9.

Não existe uma terceira posição legal para 7 nessa linha.

Portanto:

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

Esses dois candidatos 7 formam um par conjugado na linha 4.

A mesma estrutura pode surgir em:

• uma coluna;
• um bloco 3×3.

A geometria muda, mas a prova é a mesma.

Por que “exatamente dois” importa

A unidade de origem precisa conter exatamente duas posições restantes para aquele dígito.

Se o candidato 7 aparecesse em três células da linha 4, eliminar uma ainda deixaria duas possibilidades. Nenhum parceiro específico seria forçado.

A relação entre candidatos que se veem continuaria sendo fraca, mas não seria forte.

Enlace Forte dentro de uma célula bivalue

Enlaces Fortes também podem conectar valores de candidato diferentes dentro da mesma célula.

Suponha que uma célula contenha exatamente:

{3,8}

A célula precisa terminar com um dos dois valores.

Então:

• não 3 → 8;
• não 8 → 3.

Isso é um Enlace Forte entre o candidato 3 e o candidato 8 dentro da célula.

Também é um Enlace Fraco, porque a célula não pode conter os dois dígitos ao mesmo tempo.

Essa relação interna é fundamental para:

• XY-Wing;
• raciocínio de W-Wing;
• XY-Chains;
• AICs que mudam de um valor de candidato para outro.

Uma célula {3,8,9} não oferece o mesmo Enlace Forte par a par. Se 3 for falso, 8 ou 9 ainda podem permanecer; nenhum parceiro individual fica forçado.

Enlace Forte vs par conjugado

Os termos são próximos, mas não são idênticos.

Par conjugado

Normalmente significa:

• o mesmo dígito;
• exatamente duas posições candidatas restantes;
• dentro de uma linha, coluna ou bloco.

Enlace Forte

Descreve a inferência lógica:

uma extremidade falsa força a outra a ser verdadeira.

Todo par conjugado comum produz um Enlace Forte.

Mas um Enlace Forte também pode existir entre dois candidatos diferentes dentro de uma célula bivalue, portanto nem todo Enlace Forte costuma ser chamado de par conjugado.

Enlace Forte vs Enlace Fraco

Essa distinção é a base das Cadeias.

Forte

A falso → B verdadeiro

Significa:

A e B não podem ser ambos falsos.

Fraco

A verdadeiro → B falso

Significa:

A e B não podem ser ambos verdadeiros.

Um par conjugado padrão satisfaz as duas condições:

• um dos dois precisa ser verdadeiro;
• os dois não podem ser verdadeiros.

Logo, exatamente um é verdadeiro.

Um par apenas Fraco não possui essa propriedade exaustiva.

Por que um Enlace Forte muitas vezes também pode servir como Fraco

Em relações comuns de candidatos, como um par conjugado ou uma célula bivalue, as duas extremidades são mutuamente exclusivas e também exaustivas.

Isso fornece os dois sentidos usados pela lógica de Cadeias:

falso → verdadeiro   papel Forte
verdadeiro → falso   papel Fraco

Por isso um par conjugado muitas vezes pode ocupar uma parte da Cadeia que exige um Enlace Fraco.

O inverso não é válido em geral.

Se dois candidatos 6 apenas se veem em uma linha que ainda possui três posições possíveis para 6, então:

um verdadeiro → o outro falso

mas:

um falso → o outro não é necessariamente verdadeiro.

Fraco não vira Forte automaticamente.

Um par de candidatos não é automaticamente Forte

Suponha que a linha 5 contenha candidato 6 em:

• r5c2;
• r5c4;
• r5c8.

Escolha r5c2 e r5c4.

Eles estão fracamente ligados porque os dois não podem ser 6 na mesma linha.

Mas não estão fortemente ligados.

Se r5c2 for falso, r5c4 não é forçado, porque r5c8 ainda pode ser 6.

Um Enlace Forte exige uma justificativa completa que exclua todas as alternativas fora das duas extremidades.

Exemplo passo a passo

Antes de ler o tabuleiro, use esta lista de verificação:

1. identifique o dígito candidato;
2. identifique a unidade de origem ou a célula bivalue;
3. confirme que restam apenas duas alternativas nessa origem;
4. considere uma extremidade como falsa;
5. verifique que a outra se torna obrigatoriamente verdadeira.

Como encontrar Enlaces Fortes em uma grade real de Sudoku

Enlaces Fortes ficam muito mais fáceis de enxergar quando você procura por dígito.

Para um candidato específico:

1. filtre ou acompanhe visualmente esse dígito;
2. procure em cada linha exatamente duas posições restantes;
3. faça o mesmo em cada coluna;
4. faça o mesmo em cada bloco;
5. conecte mentalmente cada par conjugado.

Você ainda não está tentando resolver o Sudoku inteiro.

Está construindo um mapa de relações binárias forçadas.

Uma rede útil de Enlaces Fortes pode sugerir imediatamente:

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

Depois mude para uma leitura por célula e observe as células bivalue. Estruturas bivalue repetidas podem sustentar:

• W-Wing;
• XY-Wing;
• XY-Chain.

Enlaces Fortes podem se sobrepor

Um candidato pode participar de mais de uma relação conjugada.

Por exemplo, o candidato 5 de uma célula pode fazer parte de:

• um par conjugado na linha;
• e um par conjugado no bloco.

Essa sobreposição é valiosa porque permite que a inferência viaje de uma unidade para outra.

Redes de Colorização e X-Chains muitas vezes crescem exatamente através dessas interseções.

Não presuma que cada Enlace Forte pertence a uma técnica com nome isolada. O mesmo grafo de candidatos pode sustentar várias deduções diferentes.

Enlaces Fortes e nós agrupados

Sistemas de Cadeias mais avançados podem usar nós agrupados em vez de uma única célula candidata como extremidade de uma inferência.

Por exemplo, vários candidatos dentro da interseção de uma linha com um bloco podem atuar coletivamente como um estado lógico diante de outro candidato ou grupo.

Essa extensão é útil para Grouped AIC e outras técnicas avançadas, mas fica deliberadamente fora deste Guia introdutório.

Para o corpus atual, use esta base confiável:

Um Enlace Forte é uma relação forçada falso → verdadeiro entre dois estados de candidato que esgotam a possibilidade relevante.

A ideia será generalizada nas técnicas avançadas correspondentes.

Erros comuns

Chamar qualquer par do mesmo dígito de Forte

Dois candidatos compartilhando uma unidade não bastam.

Não pode existir uma terceira posição legal para aquele dígito na unidade de origem.

Olhar apenas para as duas extremidades

A prova depende da origem que torna o par exaustivo.

Saiba sempre se o enlace vem de uma linha, coluna, bloco ou célula bivalue.

Ler Forte como verdadeiro → verdadeiro

Enlaces Fortes não dizem que verdade se propaga para verdade.

A inferência definidora é:

falso → verdadeiro.

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

Um par conjugado é o exemplo padrão de uma relação que é ao mesmo tempo Forte e Fraca.

Tratar uma célula trivalue como bivalue

Em {3,8,9}, remover 3 não força 8.

A alternativa adicional quebra o Enlace Forte par a par.

Procurar Cadeias antes de validar os candidatos

Uma lista de candidatos incorreta pode criar pares conjugados falsos e, portanto, Cadeias falsas.

O trabalho com Enlaces Fortes depende de candidatos precisos.

Exercício de reconhecimento

Para um dígito selecionado, pergunte repetidamente:

Exatamente duas posições nesta unidade?

Se sim, você encontrou um par conjugado do mesmo dígito.

Para uma célula, pergunte:

Exatamente dois candidatos nesta célula?

Se sim, os dois valores formam uma relação forte dentro da célula.

Depois acrescente a pergunta que prepara o próximo Guia:

As duas extremidades podem ser verdadeiras?

Se não, o par também é Fraco.

FAQ

O que é um Enlace Forte no Sudoku?

Um Enlace Forte é uma relação em que dois estados de candidato não podem ser ambos falsos. Se uma extremidade for falsa, a outra deve ser verdadeira.

O que é um par conjugado?

Um par conjugado é o Enlace Forte mais comum para o mesmo dígito: um dígito possui exatamente duas posições restantes em uma linha, coluna ou bloco.

Todo Enlace Forte é um par conjugado?

Não. Os dois candidatos dentro de uma célula bivalue também estão fortemente ligados, mesmo sendo dígitos diferentes.

Um Enlace Forte também pode ser Fraco?

Sim. Pares conjugados comuns e pares dentro de células bivalue são Fortes e Fracos porque exatamente um de seus dois estados é verdadeiro.

Por que os Enlaces Fortes são importantes?

Eles transformam um candidato falso em um candidato forçadamente verdadeiro, permitindo que o estado lógico se propague por Colorização e Cadeias.

Enlaces Fortes resolvem células sozinhos?

Às vezes um par conjugado acaba se reduzindo a um Single, mas normalmente o enlace é útil porque se combina com outras relações para produzir uma eliminação ou contradição.

O que aprender depois

Leia Enlaces Fracos a seguir. Quando os dois sentidos de inferência estiverem claros, combine-os em Cadeias no Sudoku.