Resultado
Ao final desta lição, você poderá reconhecer dois padrões curtos de um único dígito, identificar seus Enlaces Fortes e o Enlace Fraco que os conecta e eliminar candidatos que enxergam as duas extremidades livres.
Aprenda primeiro o mecanismo compartilhado
Skyscraper e Two-String Kite têm geometrias diferentes, mas usam quase o mesmo mecanismo lógico.
Para esta lição, use uma definição prática: há um Enlace Forte quando restam exatamente dois candidatos de um mesmo dígito em uma unidade, então pelo menos um precisa ser verdadeiro; há um Enlace Fraco entre dois candidatos do mesmo dígito em células relacionadas que não podem ser verdadeiros ao mesmo tempo. A próxima lição formaliza essa linguagem com mais detalhes.
Comece com dois Enlaces Fortes para um mesmo dígito.
Conecte uma extremidade de cada link por um Enlace Fraco.
Essas extremidades conectadas não podem ser verdadeiras ao mesmo tempo. A que for falsa força a extremidade oposta do seu Enlace Forte a ser verdadeira.
Portanto:
pelo menos uma extremidade livre precisa ser verdadeira.
Qualquer candidato que veja as duas extremidades livres pode ser eliminado.
Parte 1 — Skyscraper
Um Skyscraper comum usa dois Enlaces Fortes de linha.
Uma extremidade de cada par se alinha na mesma coluna. Essas extremidades alinhadas formam o Enlace Fraco de conexão.
As outras duas extremidades são os telhados.
Um alvo que veja os dois telhados não pode conter o dígito.
Não confunda um retângulo completo com um Skyscraper
Se as duas colunas de extremidades também se alinharem, verifique se a estrutura mais simples é na verdade um X-Wing.
O objetivo é usar a prova correta mais simples.
Parte 2 — Two-String Kite
Um Two-String Kite normalmente combina:
- um Enlace Forte de linha;
- um Enlace Forte de coluna.
Uma extremidade de cada par fica no mesmo bloco. Compartilhar o bloco cria o Enlace Fraco de conexão.
As extremidades opostas tornam-se as extremidades livres.
Novamente, elimine apenas um candidato que veja as duas extremidades livres.
Etapa 3 — Classifique a geometria antes de resolver
Diferencie:
- Skyscraper;
- Two-String Kite;
- X-Wing;
- um padrão inválido sem Enlace Forte;
- uma estrutura válida sem eliminação útil.
Dar nome ao padrão é menos importante do que provar a inferência entre as extremidades.
Checkpoint
Identifique os dois Enlaces Fortes, encontre o Enlace Fraco de conexão, reconheça as extremidades livres e decida se existe uma eliminação em uma célula relacionada às duas.
Lembre-se
Para os dois padrões, pense:
dois Enlaces Fortes + um Enlace Fraco de conexão → pelo menos uma extremidade livre é verdadeira.
A geometria dá nome ao padrão. A implicação fornece a prova da eliminação.
Próxima
Enlaces Fortes e Enlaces Fracos — torne explícita a linguagem dos links e use-a sem depender de uma forma fixa com nome.
Referência
Leia Skyscraper e Two-String Kite para provas completas, diagramas e rotinas de busca.