X-Chain de Dois Nós (Retângulo Vazio — mínimo)
Uma X-Chain de Dois Nós — tradicionalmente listada como 2 Strong Links — é a AIC geral de mesmo dígito de comprimento 2. Sua assinatura é (A=B)-(C=D): dois nós de inferência forte conectados por uma inferência fraca. A cadeia prova a relação inclusiva de extremos A ou D, permitindo retirar o dígito de todos os candidatos que veem ambos os extremos.
O que é uma X-Chain de Dois Nós?
Escreva a estrutura como (A=B)-(C=D). Cada sinal de igual é uma ligação forte (nó XOR): pelo menos um lado é verdadeiro, e num nó típico de duas posições numa casa os lados também são mutuamente exclusivos. O traço é uma inferência fraca (NAND), significando que B e C não podem ser ambos verdadeiros. As casas dos nós podem ser qualquer mistura de linhas, colunas e blocos; são as relações lógicas — não um desenho de ponte — que definem a cadeia.
Exemplo passo a passo
Um exemplo passo a passo de uma Cadeia X de Dois Nós escrita como (A=B)-(C=D), com duas inferências fortes, uma inferência fraca e uma eliminação em par comum a partir das extremidades.
Passo 1
Considere a X-Chain de dois nós para 2 em linha 4 e bloco 7.
Passo 2
Escreva a cadeia como (G4=C4)-(C8=B7). Cada sinal de igual é uma ligação forte (XOR): em linha 4, exatamente uma das células G4 e C4 contém 2; em bloco 7, exatamente uma das células C8 e B7 contém 2. O traço é uma inferência fraca (NAND): C4 e C8 veem-se neste coluna, então não podem ambas conter 2. Se G4 for falso, C4 é verdadeiro, C8 é falso, e B7 é verdadeiro. Portanto as extremidades satisfazem G4 OU B7: pelo menos uma contém 2, possivelmente ambas.
Passo 3
Esta é a eliminação de tipo 1 do mesmo dígito: como G4 OU B7 está provado para 2, remova 2 de cada candidato que vê ambas as extremidades.
A assinatura (A=B)-(C=D) fornece duas ligações fortes (XOR) e uma inferência fraca (NAND), provando a relação inclusiva de extremidades A OU D. Essa relação justifica remover o dígito de um candidato que vê ambas as extremidades. Esta é a eliminação de Tipo 1 do mesmo dígito. Você pode jogar Sudoku online para praticar com o estado atual de candidatos visível.
Como identificá-las
Para um dígito, encontre dois nós de inferência forte fundamentados e conecte um lado de cada por uma inferência fraca válida. Os lados não conectados A e D são os extremos. Um alvo é válido apenas quando contradiz ambos os extremos. Arranha-céu e Pipa de 2 Linhas são restrições de assinatura de casas nomeadas desta X-Chain de dois nós geral.
A lógica
Se A é falso, a primeira ligação forte torna B verdadeiro; a inferência fraca torna C falso, e a segunda ligação forte torna D verdadeiro. Portanto A ou D se mantém. Pelo menos um extremo contém o dígito, possivelmente ambos. Um candidato que veja ambos os extremos contradiz qualquer extremo verdadeiro e pode ser retirado — uma eliminação de mesmo dígito tipo 1.