Pipa Dupla
Uma Pipa de 2 Linhas é a forma linha+coluna de uma X-Chain de dois nós. Para um dígito, um nó de inferência forte de linha e um nó de inferência forte de coluna formam (A=B)-(C=D). O traço é uma inferência fraca através de um bloco compartilhado. A cadeia prova A ou D, permitindo eliminações de candidatos que veem ambos os extremos.
O que é uma Pipa Dupla?
Escreva uma pipa como (A=B)-(C=D). A=B é uma ligação forte de linha (XOR) e C=D é uma ligação forte de coluna (XOR): cada casa deve colocar o dígito em pelo menos um dos lados mostrados. Os lados conectados B e C estão num bloco e não podem conter ambos o dígito, dando a inferência fraca (NAND) B-C. No sistema de assinaturas de strmckr, um lado de nó pode ser um conjunto de alternativas agrupadas adequadamente fundamentado.
Exemplo passo a passo
Um exemplo passo a passo de uma Pipa de duas cordas escrita como (A=B)-(C=D): uma inferência forte de linha e outra de coluna unidas por uma inferência fraca de bloco.
Passo 1
Considere a X-Chain de dois nós para 1 em linha 1 e coluna 2.
Passo 2
Escreva a cadeia como (E1=C1)-(B3=B8). Cada sinal de igual é uma ligação forte (XOR): em linha 1, exatamente uma das células E1 e C1 contém 1; em coluna 2, exatamente uma das células B3 e B8 contém 1. O traço é uma inferência fraca (NAND): C1 e B3 veem-se neste bloco, então não podem ambas conter 1. Se E1 for falso, C1 é verdadeiro, B3 é falso, e B8 é verdadeiro. Portanto as extremidades satisfazem E1 OU B8: pelo menos uma contém 1, possivelmente ambas.
Passo 3
Esta é a eliminação de tipo 1 do mesmo dígito: como E1 OU B8 está provado para 1, remova 1 de cada candidato que vê ambas as extremidades.
A assinatura linha-mais-coluna (A=B)-(C=D) une duas ligações fortes (XOR) por meio de uma inferência fraca no bloco (NAND) e prova A OU D. Essa relação de extremidades justifica remover o dígito de um candidato que vê ambos os lados. Esta é a eliminação de Tipo 1 do mesmo dígito. Você pode experimente nossos quebra-cabeças de Sudoku gratuitos para praticar com o estado atual de candidatos visível.
Como identificá-la
Para um dígito, encontre uma inferência forte de linha fundamentada e uma inferência forte de coluna fundamentada. Verifique que um lado do nó de linha e um lado do nó de coluna compartilham um bloco e contradizem universalmente um ao outro; essa é a inferência fraca. Os lados não conectados A e D são os extremos. Retire o dígito apenas de alvos que veem todos os candidatos representados por ambos os extremos.
A lógica
Se A é falso, a ligação forte de linha torna B verdadeiro; a inferência fraca de bloco B-C torna C falso, e a ligação forte de coluna torna D verdadeiro. Portanto A ou D é verdadeiro, possivelmente ambos. Qualquer candidato que contradiga ambos os extremos pode ser retirado — uma eliminação de mesmo dígito tipo 1. Um Arranha-céu tem o mesmo teorema de dois nós mas usa dois nós de linhas paralelas ou dois nós de colunas paralelas.