Loop Único tipo 1
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 1 começa de um estado de candidatos onde trocar dois dígitos através da estrutura preservaria cada linha, coluna e bloco tocada. Uma célula de resgate carrega candidatos extras e deve tomar um deles, então os dois dígitos base são retirados dessa célula.
O que é o Loop Único tipo 1?
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 1 aplica então sua condição de resgate adicional; qualquer ciclo par não basta.
No tipo 1, todas as células do laço menos uma são bivaloradas nos dígitos base. A célula de resgate restante também carrega candidatos extras. Como pelo menos um candidato de resgate deve ser verdadeiro, essa célula não pode conter nenhum dígito base.
Exemplo passo a passo
Um exemplo passo a passo de um Loop Único Tipo 1: cada célula do loop, exceto uma, é bivalente nos dígitos de base, e a única célula de resgate perde ambos os dígitos de base.
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 D4, G4, G6, F6, F9, D9 formam um Loop Único potencialmente mortal em 4 e 5. Se cada uma destas células fosse restrita a 4 e 5, 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.
Passo 3
A única forma possível de evitar estas duas configurações é se a célula D9 não contiver os valores 4 e 5.
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 experimente nossos quebra-cabeças de Sudoku gratuitos para praticar com o estado atual de candidatos visível.
Como identificá-lo
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. Todas as células do laço menos uma são bivaloradas nos dígitos base, e a célula de resgate também carrega candidatos extras. Confirme que a troca preserva cada casa tocada antes de retirar os dois dígitos base daquela célula de resgate.
A lógica
Se a célula de resgate usasse um dígito base, a alocação completa de dígitos base permitiria a troca proibida. Sob a suposição de solução única, ela deve usar um candidato extra, então os dois candidatos base podem ser retirados dessa célula.