Rede de Forcing de Região
Uma Rede de Forcing de Região assume todas as posições possíveis para um dígito numa casa e traça cada uma através de nós fortes e conexões fracas alternadas. Se todos os casos forçam a mesma conclusão, ela se mantém independentemente da posição real.
O que é uma Rede de Forcing de Região?
Escolha uma casa e um dígito, e liste todas as posições possíveis para esse dígito. Para cada posição, trace a consequência forçada através de nós fortes e conexões fracas verificadas. Se todas as posições listadas forçam a mesma conclusão, ela se mantém independentemente da posição real.
Exemplo passo a passo
Um exemplo passo a passo de uma Rede de Forçamento de Região: cada posição restante de um dígito em uma unidade é testada como um ramo, e apenas uma conclusão compartilhada por todos os ramos é aplicada.
Passo 1
Considere estas células.
Passo 2
Com esta técnica de resolução, provaremos as seguintes asserções: 1. Se D1 contém o valor 2, então F2 deve conter o valor 3 2. Se D4 contém o valor 2, então F2 deve conter o valor 3 3. Se D6 contém o valor 2, então F2 deve conter o valor 3 Como o valor 2 não pode ser colocado em outro lugar no coluna, e os resultados são os mesmos, podemos concluir que F2 deve conter o valor 3. Cada asserção é provada por uma cadeia diferente de regras simples. As cadeias são estáticas, o que significa que cada regra da cadeia pode ser entendida sem ter que lembrar os resultados de regras anteriores. Cadeia 1: 1. Se D1 contém o valor 2, então D1 não pode conter o valor 3 (a célula só pode conter um valor) 2. Se D1 não contém o valor 3, então F2 deve conter o valor 3 (única posição possível restante no bloco) Cadeia 2: 1. Se D4 contém o valor 2, então D4 não pode conter o valor 4 (a célula só pode conter um valor) 2. Se D4 não contém o valor 4, então D1 deve conter o valor 4 (única posição possível restante na coluna) 3. Se D1 contém o valor 4, então D1 não pode conter o valor 3 (a célula só pode conter um valor) 4. Se D1 não contém o valor 3, então F2 deve conter o valor 3 (única posição possível restante no bloco) Cadeia 3: 1. Se D6 contém o valor 2, então D6 não pode conter o valor 9 (a célula só pode conter um valor) 2. Se D6 não contém o valor 9, então F6 deve conter o valor 9 (única posição possível restante no bloco) 3. Se F6 contém o valor 9, então F6 não pode conter o valor 3 (a célula só pode conter um valor) 4. Se F6 não contém o valor 3, então F2 deve conter o valor 3 (única posição possível restante na coluna)
Passo 3
Então valores 1 e 9 pode ser removido de F2: todas as posições fonte possíveis forçam F2 a conter 3, então nenhum outro valor pode ir lá.
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
Para cada caso, escreva a suposição e trace o caminho através de nós fortes e conexões fracas até cada conclusão. Se todos os casos forçam a conclusão, é uma consequência verificada; um caso sozinho não é suficiente.
A logica
Quando todas as posições listadas forçam a conclusão, ela deve se manter quer a posição mantenha ou contradiga a conclusão. Eliminações de candidatos provados por todos os casos são seguras.