Resultado
Você poderá seguir uma cadeia de inferências alternadas, explicar o que suas extremidades provam, usar essa prova para uma eliminação e reconhecer quando uma cadeia é válida, mas não útil.
Uma cadeia precisa de uma conclusão
Uma cadeia não é valiosa por ser longa.
Ela é valiosa porque prova algo que antes não era óbvio.
Um fluxo útil é:
- escolher uma suposição inicial;
- propagar cada implicação corretamente;
- inspecionar a extremidade;
- transformar a relação entre extremidades em colocação, eliminação ou contradição.
Etapa 1 — Siga os estados
Comece com:
A = B - C = DAssuma A = falso.
A cadeia fica:
A falso
→ B verdadeiro
→ C falso
→ D verdadeiroCada seta precisa ser justificada pela relação anterior.
Etapa 2 — Siga a partir da outra extremidade
Agora comece com D = falso e percorra para trás.
Você encontra a conclusão espelhada:
- se A é falso, D é verdadeiro;
- se D é falso, A é verdadeiro.
Portanto, A e D não podem ser falsos juntos. Pelo menos uma extremidade precisa ser verdadeira.
Essa afirmação sobre as extremidades é a parte útil da cadeia.
Etapa 3 — Elimine de uma célula relacionada comum
Suponha que o candidato T entre em conflito com as duas extremidades A e D.
Como pelo menos uma extremidade é verdadeira, T não pode permanecer:
- se A é verdadeiro, T é falso;
- se D é verdadeiro, T é falso.
De qualquer forma, T é eliminado.
Etapa 4 — Uma cadeia válida ainda pode não fazer nada
É possível seguir uma cadeia perfeitamente válida cuja relação entre extremidades não tenha alvo útil nem gere contradição.
Isso não é uma prova fracassada. É apenas uma cadeia improdutiva naquele estado.
Não colecione cadeias por si mesmas. Procure uma conclusão.
Etapa 5 — Encontre o link quebrado
Uma cadeia pode parecer convincente e conter um Strong Link inválido.
Se um suposto par conjugado tiver na verdade um terceiro candidato na unidade fonte, a implicação falso → verdadeiro desaparece. Toda conclusão depois desse link fica sem fundamento.
Verifique os links antes de confiar nas extremidades.
Etapa 6 — Padrões com nome são cadeias compactadas
Skyscraper, Two-String Kite e W-Wing podem ser entendidos com a mesma linguagem de implicações.
A geometria ajuda você a encontrá-los. A lógica de cadeia explica por que a eliminação é válida.
Essa distinção se torna cada vez mais útil em técnicas avançadas.
Verificação rápida
Siga as implicações, identifique a afirmação útil das extremidades e diferencie uma cadeia quebrada de uma cadeia válida, porém improdutiva.
Lembre-se
O padrão ajuda você a procurar. As implicações fornecem a prova.
Próxima
W-Wing
Use a mesma lógica de Strong Links dentro de um padrão compacto com nome.
Referência
Leia Cadeias de Sudoku para X-Chains, XY-Chains, notação e o caminho para cadeias de inferência alternada mais gerais.