Forçar

É adivinhação? A controvérsia do Cadeias forçadas

No. Cadeias forçadas explora todas as possibilidades simultaneamente sem se comprometer com nenhuma suposição. Compara todas as ramificações e só age quando as ramificações convergem. Três propriedades distintivas: exploração exaustiva, conclusão determinística e correção provável. Cadeias forçadas são menos elegantes do que as técnicas baseadas em padrões, mas são provavelmente corretas.

Célula Cadeia de Forçamento

Comece com um Célula bivalorado {A, B}. Propague as implicações para cada ramificação. Compare os resultados. Contradição: um dos ramos é inválido, então o Célula deve ser o outro candidato. Convergência na colocação: ambos os ramos forçam o mesmo dígito em um mesmo Célula distante. Convergência na eliminação: ambos os ramos eliminam o mesmo candidato de um mesmo Célula.

Cadeia de Forçamento de Região (Cadeia de Forçamento de Dígito)

Comece a partir de 2-3 posições de um dígito em uma casa. Explore cada posição como uma ramificação. Mesmas três tipos de dedução. Célula forçamento é eficaz quando as células bivalores têm implicações de longo alcance. Forçamento de região é eficaz quando a posição de um dígito tem efeitos em cascata fortes.

Forçar Rede: Ampliando a Contagem de Ramos

Célula Forcing Net: células com 3-6 candidatos. Forcing Net de região: casas com 4-6 posições para um dígito. Mais ramificações, mais caro, mas pode encontrar deduções Cadeias forçadas não pode. A lógica é idêntica. Apenas a contagem de ramificações difere.

O Motor de Propagação

Cada ramificação propaga-se por meio de singles nus, singles ocultos, Candidatos Trancados, e pares nus, iterativamente até atingir estabilidade. Uma única suposição pode se propagar por dezenas de etapas intermediárias em todo o tabuleiro. Quando dois ramos chegam à mesma conclusão por caminhos completamente diferentes, a convergência prova a conclusão com certeza.

Os três tipos de dedução

Contradição: Uma ramificação produz um estado inválido. Essa suposição é falsa. Mais comum. Convergência na Posição: Todas as ramificações forçam o mesmo dígito para o mesmo Célula. Menos comum, mas decisiva. Convergência na Eliminação: Todas as ramificações eliminam o mesmo candidato do mesmo Célula. Tipo mais sutil.

Quando usar técnicas de forçamento

Último recurso lógico. Aplicado após todas as outras técnicas falharem. Cadeias forçadas (2-3 ramificações) é testado primeiro. Rede Forçada (3-6 ramificações) apenas quando as Cadeias falharem. Ambas são Nível 12 (Extremo). Para solucionadores computacionais, a força garante completude: a garantia de que a lógica sozinha pode resolver qualquer quebra-cabeça válido.

Uma nota filosófica sobre elegância e completude

Técnicas baseadas em padrões revelam relações estruturais e são mais elegantes. Mas existem quebra-cabeças válidos que exigem lógica de nível de forçamento. Técnicas de forçamento são a rede de segurança que captura todos os quebra-cabeças que as técnicas baseadas em padrões não conseguem resolver. A abordagem mais satisfatória: tente todas as técnicas baseadas em padrões primeiro, e recorra ao forçamento apenas quando o quebra-cabeças exigir realmente.

Resumo

Cadeias forçadas e rede de forçamento são as técnicas lógicas mais poderosas, no Nível 12 (Extremo). Elas exploram todas as possibilidades a partir de um ponto de partida, propagam as consequências e comparam os resultados. As deduções surgem por contradição, convergência na colocação ou convergência na eliminação. São a última opção antes da tentativa forçada por retrocesso, garantindo completude para qualquer quebra-cabeça Sudoku válido.