Loop Único tipo 2
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 2 começa de um estado de candidatos onde trocar dois dígitos através da estrutura preservaria cada linha, coluna e bloco tocada. As células de resgate compartilham um dígito extra que deve aparecer em pelo menos uma delas, então esse dígito é retirado de todos os candidatos que veem todas elas.
O que é o Loop Único tipo 2?
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 2 aplica então sua condição de resgate adicional; qualquer ciclo par não basta.
No tipo 2, as células de resgate compartilham um dígito extra. Pelo menos uma célula de resgate deve tomá-lo, então o dígito é retirado de todos os candidatos externos que veem todas as células de resgate.
Exemplo passo a passo
Um exemplo passo a passo de um Loop Único Tipo 2: as células de resgate compartilham um dígito extra, que é removido de todo candidato que vê todas elas.
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 H1, I1, I5, G5, G8, H8 formam um Loop Único potencialmente mortal em 4 e 6. Se cada uma destas células fosse restrita a 4 e 6, 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. A única forma possível de evitar estas duas configurações é se uma de I5, H8 contiver o valor 3.
Passo 3
Outras ocorrências de 3 podem portanto ser removidas de qualquer célula que vê cada célula de resgate listada: I5, H8.
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. As células de resgate compartilham o dígito extra e compartilham uma casa ou, de outra forma, dão a um alvo proposto visibilidade para todas as ocorrências de resgate. O dígito extra é verdadeiro em pelo menos uma célula de resgate, então retire-o apenas de candidatos que veem todas elas.
A lógica
Se nenhuma célula de resgate usasse o dígito extra compartilhado, a troca fatal completa permaneceria. Portanto, pelo menos uma célula de resgate usa o dígito extra, e qualquer candidato que veja todas as suas ocorrências de resgate possíveis não pode usá-lo.