Forcing Alternativo
Forçamento exaustivo: cada alternativa de uma célula ou unidade de origem é tentada e apenas conclusões que todas as ramificações compartilham são mantidas.
Forcing Chain
Uma cadeia de implicação mista X/Y aberta que prova uma colocação ou eliminação.
Continuar Lendo
Nishio
Uma suposição de valor único é refutada por uma contradição.
Continuar Lendo
Rede de Forcing de Célula
Cada candidato em uma célula de origem leva à mesma conclusão.
Continuar Lendo
Rede de Forcing de Região
Cada posição possível para um dígito em uma casa leva à mesma conclusão.
Continuar Lendo
Dynamic Forcing Chain
Consequências de candidatos descobertas durante a cadeia criam novas implicações.
Continuar Lendo
Dynamic Forcing Chain Plus
Uma cadeia dinâmica que pode usar um nível adicional de sub-regras.
Continuar Lendo
Nested Forcing Chain
Deduções de cadeia de forçamento são aninhadas dentro de outra cadeia de forçamento.
Continuar LendoQuando a ramificação é a ferramenta honesta
Estes métodos usam análise de casos deliberadamente. Uma forcing net parte de uma restrição exatamente-um — cada candidato de uma célula, ou cada posição de um dígito numa unidade — e mantém apenas as conclusões que todas as ramificações compartilham. Nishio testa um único candidato e o retira quando a ramificação contradiz as regras para esse dígito.
Cadeias de Forçamento Dinâmicas permitem que implicações descobertas no meio da ramificação ampliem a análise, e a forma aninhada permite que uma cadeia invoque outra dentro de si. São as entradas mais poderosas desta referência e também as mais próximas de tentativa e erro: cada página enuncia explicitamente o conjunto de origem e a conclusão compartilhada para que a dedução continue verificável.