Arranha-céu
Um Arranha-céu é a forma de casas paralelas de uma X-Chain de dois nós. Para um dígito, dois nós de linha ou dois nós de coluna formam (A=B)-(C=D). Os sinais de igual são inferências fortes e o traço é uma inferência fraca através de uma casa perpendicular. A cadeia prova A ou D, permitindo eliminações de candidatos que veem ambos os extremos.
O que é um Arranha-céu?
Um Arranha-céu usa dois nós bilocais de mesmo dígito em linhas paralelas ou colunas paralelas. Escreva-o como (A=B)-(C=D). Cada casa base tem exatamente duas posições para esse dígito, dando duas ligações fortes (XOR), A=B e C=D. Os candidatos conectados B e C compartilham uma casa perpendicular e não podem ser ambos verdadeiros, dando a inferência fraca (NAND) B-C. É também a representação AIC de duas X-Asas Sashimi siamesas.
Exemplo passo a passo
Um exemplo passo a passo de um Arranha-céu escrito como (A=B)-(C=D): duas inferências fortes em unidades paralelas unidas por uma inferência fraca em uma unidade perpendicular.
Passo 1
Considere a X-Chain de dois nós para 8 em linha 1 e linha 6.
Passo 2
Escreva a cadeia como (D1=B1)-(B6=F6). Cada sinal de igual é uma ligação forte (XOR): em linha 1, exatamente uma das células D1 e B1 contém 8; em linha 6, exatamente uma das células B6 e F6 contém 8. O traço é uma inferência fraca (NAND): B1 e B6 veem-se neste coluna, então não podem ambas conter 8. Se D1 for falso, B1 é verdadeiro, B6 é falso, e F6 é verdadeiro. Portanto as extremidades satisfazem D1 OU F6: pelo menos uma contém 8, possivelmente ambas.
Passo 3
Esta é a eliminação de tipo 1 do mesmo dígito: como D1 OU F6 está provado para 8, remova 8 de cada candidato que vê ambas as extremidades.
A assinatura em unidades paralelas (A=B)-(C=D) prova a relação inclusiva de extremidades A OU D por meio de duas ligações fortes (XOR) e uma inferência fraca (NAND). Essa relação AIC, e não o formato visual do telhado, 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á-lo
Para um dígito, encontre duas linhas com exatamente duas posições de candidato cada — ou use a forma de colunas transposta. Verifique que um lado de cada nó de inferência forte compartilha a mesma casa perpendicular; esse par fornece a inferência fraca. Os outros lados são os extremos A e D. Retire o dígito apenas de alvos que veem ambos os extremos.
A lógica
Se A é falso, então B é verdadeiro porque A=B é uma ligação forte; C é falso porque B-C é uma inferência fraca, e D é verdadeiro via C=D. Portanto A ou D é verdadeiro, possivelmente ambos. Qualquer candidato de mesmo dígito que veja ambos os extremos pode ser retirado — uma eliminação de mesmo dígito tipo 1. Trocar linhas e colunas não altera a prova.