Loop Único tipo 4
Esta dedução assume que o quebra-cabeça tem exatamente uma solução e que todas as remoções de candidatos anteriores foram corretas. Um Laço Único tipo 4 começa de um estado de candidatos onde trocar dois dígitos através da estrutura preservaria cada linha, coluna e bloco tocada. Uma restrição conjugada sobre um dígito base dentro da casa compartilhada das células de resgate retira o outro dígito base de ambas.
O que é o Loop Único tipo 4?
Esta dedução assume que o quebra-cabeça tem exatamente uma solução e que todas as remoções de candidatos anteriores foram corretas. Verifique primeiro uma estrutura completa de dois valores: um laço par de células não resolvidas compartilhando os mesmos dois dígitos base, com exatamente duas células do laço em cada casa que ele toca. Trocar esses dígitos ao redor do laço não deve mover nenhum given e deve deixar cada dígito base uma vez em cada casa afetada. O tipo 4 aplica então sua condição de resgate adicional; qualquer ciclo par não basta.
No tipo 4, uma casa compartilhada por duas células de resgate tem um dígito base confinado a essas células. Isso trava esse dígito nas células de resgate, então o outro dígito base é retirado de ambas.
Exemplo passo a passo
Um exemplo passo a passo de um Loop Único Tipo 4: um dígito de base bloqueado nas duas células de resgate remove o outro dígito de base de ambas.
Passo 1
Considere estas 6 células.
Passo 2
Suponha que este puzzle tem exatamente uma solução e que os seus candidatos atuais refletem deduções corretas. As células B4, I4, I6, C6, C9, B9 formam um Loop Único potencialmente mortal em 2 e 8. Se cada uma destas células fosse restrita a 2 e 8, as duas atribuições alternadas preservariam cada linha, coluna e bloco tocados enquanto deixam os dados fixos. Trocar uma atribuição pela outra impediria portanto uma completação única. A suposição de unicidade declarada exige os candidatos extras indicados ou restrição adicional para quebrar este estado mortal. Note que as duas células C9 e B9 são as únicas posições possíveis do valor 2 neste bloco, portanto, uma destas duas células conterá o valor 2.
Passo 3
Portanto, a única forma possível de evitar as duas configurações é se nem C9 nem B9 contiver o valor 8.
Este exemplo mostra um caso válido da construção definida. Confirme a estrutura mortal completa, cada unidade tocada e a condição de resgate ou guardião em cada alvo antes de aplicar a mesma dedução a outra grade. Você pode inicie um jogo de Sudoku gratuito para praticar com o estado atual de candidatos visível.
Como o identificar
Verifique um laço par onde cada casa afetada contém exatamente duas células do laço e os dois dígitos base podem ser trocados ao redor do laço. Numa casa compartilhada pelas células de resgate, um dígito base está restrito a essas células. Essa restrição impede que o outro dígito base ocupe qualquer célula de resgate; não afirme atribuições individuais do dígito travado a menos que outro raciocínio as prove.
A lógica
O dígito base travado deve aparecer numa célula de resgate. Se o outro dígito base ocupasse qualquer célula de resgate, o dígito base restante poderia completar a troca proibida. Portanto, retire o outro dígito base de ambas as células de resgate; a célula exata do dígito travado pode permanecer não resolvida.