Rede de Forcing de Célula
Uma Rede de Forcing de Célula assume todos os valores possíveis de uma célula não resolvida e traça cada um 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 do valor real da célula.
O que é uma Rede de Forcing de Célula?
Escolha uma célula não resolvida e liste todos os seus valores possíveis. Para cada valor, trace a consequência forçada através de nós fortes e conexões fracas verificadas. Se todos os valores listados forçam a mesma conclusão, ela se mantém independentemente do valor real.
Exemplo passo a passo
Um exemplo passo a passo de uma Rede de Forçamento de Célula: cada candidato da célula de origem é testado 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 F6 contém o valor 1, então E5 deve conter o valor 6 2. Se F6 contém o valor 3, então E5 deve conter o valor 6 3. Se F6 contém o valor 9, então E5 deve conter o valor 6 Como a célula F6 não pode conter outros valores, e os resultados são os mesmos, podemos concluir que E5 deve conter o valor 6. 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 F6 contém o valor 1, então E5 não pode conter o valor 1 (o valor só pode ocorrer uma vez no bloco) 2. Se E5 não contém o valor 1, então E5 deve conter o valor 6 (único valor possível restante na célula) Cadeia 2: 1. Se F6 contém o valor 3, então D5 não pode conter o valor 3 (o valor só pode ocorrer uma vez no bloco) 2. Se D5 não contém o valor 3, então D5 deve conter o valor 1 (único valor possível restante na célula) 3. Se D5 contém o valor 1, então E5 não pode conter o valor 1 (o valor só pode ocorrer uma vez no bloco) 4. Se E5 não contém o valor 1, então E5 deve conter o valor 6 (único valor possível restante na célula) Cadeia 3: 1. Se F6 contém o valor 9, então D6 não pode conter o valor 9 (o valor só pode ocorrer uma vez no bloco) 2. Se D6 não contém o valor 9, então D9 deve conter o valor 9 (única posição possível restante na coluna) 3. Se D9 contém o valor 9, então E9 não pode conter o valor 9 (o valor só pode ocorrer uma vez no bloco) 4. Se E9 não contém o valor 9, então E9 deve conter o valor 1 (único valor possível restante na célula) 5. Se E9 contém o valor 1, então E5 não pode conter o valor 1 (o valor só pode ocorrer uma vez na coluna) 6. Se E5 não contém o valor 1, então E5 deve conter o valor 6 (único valor possível restante na célula)
Passo 3
Então valor 1 pode ser removido de E5: todas as posições fonte possíveis forçam E5 a conter 6, 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 todos os valores listados forçam a conclusão, ela deve se manter quer o valor mantenha ou contradiga a conclusão. Eliminações de candidatos provados por todos os casos são seguras.