Dynamic Forcing Chain Plus
Uma Dynamic Forcing Chain Plus aplica deduções comuns dentro do estado temporário criado por uma suposição inicial. Essas deduções podem estender a ramificação, mas todo resultado permanece condicional à suposição inicial até que uma contradição ou conclusão exaustiva a descarregue.
O que e uma Dynamic Forcing Chain Plus?
Uma Dynamic Forcing Chain Plus estende a Dynamic Forcing Chain permitindo que um caminho enumere conjuntos exaustivos de suposições. Quando um caminho lista todos os valores possíveis de uma célula não resolvida e todos eles forçam uma consequência, essa consequência deve se manter naquela posição.
Como identificar
Dentro de um caminho, liste todos os valores possíveis de uma célula não resolvida e verifique que cada um força a mesma consequência. Use essa consequência para continuar o caminho.
A logica
Quando valores listados forçam uma consequência, ela se mantém independentemente do valor real da célula. Esse forcing permite que o caminho avance a partir de consequências provadas, além de consequências anteriormente derivadas.