Forcing Chain
Uma Forcing Chain é uma rede de inferência forçada que traça dois caminhos AIC abertos através de uma suposição. Cada caminho atribui um estado inicial, verdadeiro ou falso, e avança através de nós fortes e conexões fracas alternadas. Quando ambos os caminhos forçam a mesma conclusão, ela se mantém independentemente da suposição inicial.
O que e uma Forcing Chain?
Uma Forcing Chain é uma rede de inferência forçada consistindo de dois caminhos AIC abertos. A suposição atribui um estado inicial e cada caminho avança através de nós fortes e conexões fracas verificadas. Se ambos os caminhos forçam a conclusão, ela se mantém independentemente da suposição inicial.
Exemplo passo a passo
Um exemplo passo a passo de uma Cadeia de Forçamento: uma única suposição de candidato é seguida por implicações forçadas até uma contradição.
Passo 1
Considere estas células.
Passo 2
Através de uma cadeia de implicações, pode ser mostrado que B1 deve conter o valor 1. 1. Se B1 não contém o valor 1, então B1 deve conter o valor 2 (único valor possível restante na célula) 2. Se B1 contém o valor 2, então A1 não pode conter o valor 2 (o valor só pode ocorrer uma vez no bloco) 3. Se A1 não contém o valor 2, então A1 deve conter o valor 3 (único valor possível restante na célula) 4. Se A1 contém o valor 3, então A8 não pode conter o valor 3 (o valor só pode ocorrer uma vez na coluna) 5. Se A8 não contém o valor 3, então A8 deve conter o valor 9 (único valor possível restante na célula) 6. Se A8 contém o valor 9, então A7 não pode conter o valor 9 (o valor só pode ocorrer uma vez no bloco) 7. Se A7 não contém o valor 9, então D7 deve conter o valor 9 (única posição possível restante na linha) 8. Se D7 contém o valor 9, então D7 não pode conter o valor 1 (a célula só pode conter um valor) 9. Se D7 não contém o valor 1, então D9 deve conter o valor 1 (única posição possível restante no bloco) 10. Se D9 contém o valor 1, então D9 não pode conter o valor 4 (a célula só pode conter um valor) 11. Se D9 não contém o valor 4, então F9 deve conter o valor 4 (única posição possível restante no bloco) 12. Se F9 contém o valor 4, então F1 não pode conter o valor 4 (o valor só pode ocorrer uma vez na coluna) 13. Se F1 não contém o valor 4, então F1 deve conter o valor 2 (único valor possível restante na célula) 14. Se F1 contém o valor 2, então B1 não pode conter o valor 2 (o valor só pode ocorrer uma vez na linha) 15. Se B1 não contém o valor 2, então B1 deve conter o valor 1 (único valor possível restante na célula)
Passo 3
Então valor 2 pode ser removido de B1: a cadeia prova que B1 deve conter 1, 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
Escreva a suposição inicial e enumere os nós fortes alternados e conexões fracas para cada um dos dois caminhos. A conclusão é válida apenas quando ambas as atribuições, verdadeiro e falso, produzem a mesma consequência.
A logica
Quando ambos os caminhos forçam a conclusão, ela se aplica quer a suposição mantenha ou contradiga a conclusão. Eliminações são feitas de candidatos verificados por ambos os caminhos; um caminho sozinho não é suficiente.