Nishio
Nishio é uma inferência forçada de dígito único. Através de uma única suposição, ela avança através de nós fortes e conexões fracas alternadas até alcançar uma contradição — o dígito não pode ir a nenhuma posição, ou precisa de duas colocações dentro da mesma casa. Se a suposição força a contradição, a suposição deve ser falsa.
O que e uma Nishio Forcing Chain?
Escolha um dígito e uma das suas posições possíveis como suposição. Para esse dígito apenas, trace as consequências forçadas através de nós fortes e conexões fracas alternadas. Procure uma contradição — o dígito não pode ir a lugar nenhum numa casa, ou precisa de duas posições na mesma casa.
Exemplo passo a passo
Um exemplo passo a passo de um Nishio: uma única suposição de candidato é seguida até uma contradição, de modo que a suposição é descartada.
Passo 1
Considere estas células.
Passo 2
Com esta técnica de resolução, provaremos que a suposição «F2 deve conter o valor 6» é falsa. A partir desta única suposição, duas cadeias Nishio paralelas eliminam os candidatos para o valor 6 em linha 6: 1. Cadeia 1 elimina C6. 2. Cadeia 2 elimina G6. Como C6 e G6 são as únicas posições possíveis para o valor 6 em linha 6, eliminá-las todas deixaria linha 6 sem lugar para o valor 6 — uma contradição. Portanto F2 não pode conter o valor 6. As cadeias são cadeias Nishio: envolvem apenas um único valor (como as X-Chains), e as conclusões das duas subcadeias devem ser combinadas para alcançar a contradição. Cadeia 1 (elimina C6): 1. Se F2 contém o valor 6, então F1 não pode conter o valor 6 (o valor só pode ocorrer uma vez no bloco) 2. Se F1 não contém o valor 6, então C1 deve conter o valor 6 (única posição possível restante na linha) 3. Se C1 contém o valor 6, então C6 não pode conter o valor 6 (o valor só pode ocorrer uma vez na coluna). Cadeia 2 (elimina G6): 1. Se F2 contém o valor 6, então F9 não pode conter o valor 6 (o valor só pode ocorrer uma vez na coluna) 2. Se F9 não contém o valor 6, então G9 deve conter o valor 6 (única posição possível restante na linha) 3. Se G9 contém o valor 6, então G6 não pode conter o valor 6 (o valor só pode ocorrer uma vez na coluna).
Passo 3
Então 6 pode ser removido de F2: supor que F2 contém 6 leva a uma contradição — duas cadeias paralelas eliminam todo candidato para o valor 6 em linha 6, deixando linha 6 sem lugar para ele. A suposição deve ser falsa, então F2 não pode conter o valor 6.
Este exemplo mostra um caso válido da dedução definida. Confirme o conjunto de origem ou a suposição indicada, que todos os ramos foram testados e que a conclusão aplicada é compartilhada por todos eles antes de usar a mesma dedução em outra grade. Você pode jogar Sudoku online para praticar com o estado atual de candidatos visível.
Como identifica-la
Escreva a suposição e liste cada posição forçada para esse dígito apenas. Quando uma contradição é alcançada — o dígito não pode ir a lugar nenhum, ou precisa de duas posições na mesma casa — a suposição deve ser falsa.
A logica
Se a suposição força uma contradição, a suposição deve ser falsa. Retire aquele candidato da célula. O caminho de dígito único sozinho dirige este raciocínio — interações de múltiplos dígitos não fazem parte do enquadramento Nishio.