Dynamic Forcing Chain
Uma Dynamic Forcing Chain começa de uma suposição explícita e aplica cada consequência forçada a um estado de candidatos temporário. Novos singles ou outras deduções criados nesse estado podem estender a cadeia. Todo resultado intermediário permanece condicional à suposição inicial até que a prova alcance e descarregue uma contradição ou conclusão exaustiva.
O que e uma Dynamic Forcing Chain?
Uma Dynamic Forcing Chain usa a mesma rede de inferência forçada de duas ramificações que uma Forcing Chain, mas cada caminho pode reutilizar consequências anteriormente derivadas como nós fortes posteriores. Essa reutilização permite que os caminhos procurem posições forçadas não apenas pela suposição inicial, mas também por consequências anteriormente provadas.
Exemplo passo a passo
Um exemplo passo a passo de uma Cadeia de Forçamento Dinâmica: as consequências forçadas são aplicadas a um estado temporário de candidatos, permitindo que novos singles estendam o ramo até sua conclusão.
Passo 1
Considere estas células.
Passo 2
Assuma A1 deve conter o valor 7. A contradição rejeita essa suposição; as cadeias abaixo mostram o porquê. Esta dinâmica Cadeia de Forçamento usa mutação dinâmica da grade (candidatos são removidos durante a exploração da cadeia) para provar que A1 não pode conter o valor 7. Cadeia 1 (suposição ON): 1. Se A1 contém o valor 7, então A9 não pode conter o valor 7 (o valor só pode ocorrer uma vez na coluna) 2. Se A9 não contém o valor 7, então A9 deve conter o valor 5 (único valor possível restante na célula) 3. Se A9 contém o valor 5, então A7 não pode conter o valor 5 (o valor só pode ocorrer uma vez no bloco) 4. Se A7 não contém o valor 5, então A7 deve conter o valor 9 (único valor possível restante na célula). Cadeia 2 (suposição OFF): 1. Se A1 contém o valor 7, então C3 não pode conter o valor 7 (o valor só pode ocorrer uma vez no bloco) 2. Se C3 não contém o valor 7, então C4 deve conter o valor 7 (única posição possível restante na coluna) 3. Se C4 contém o valor 7, então C4 não pode conter o valor 9 (a célula só pode conter um valor) 4. Se C4 não contém o valor 9, então A4 deve conter o valor 9 (única posição possível restante no bloco) 5. Se A4 contém o valor 9, então A7 não pode conter o valor 9 (o valor só pode ocorrer uma vez na coluna).
Passo 3
Então A1 7 pode ser removido: a cadeia de força dinâmica prova que A1 não pode conter o valor 7.
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
Em cada caminho, registre as consequências derivadas e reutilize-as como nós fortes posteriores. Quando ambos os caminhos forçam a conclusão, ela se mantém independentemente da suposição inicial.
A logica
A reutilização permite que os caminhos produzam consequências mais profundas, pois podem procurar posições forçadas não apenas pela suposição inicial, mas também por consequências anteriormente provadas. Quando ambos os caminhos forçam a conclusão, ela se mantém independentemente da suposição inicial.