Loop Único tipo 3
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 3 começa de um estado de candidatos onde trocar dois dígitos através da estrutura preservaria cada linha, coluna e bloco tocada. As alternativas de resgate atuam como um único slot virtual que completa uma restrição de subconjunto numa casa compartilhada.
O que é o Loop Único tipo 3?
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 3 aplica então sua condição de resgate adicional; qualquer ciclo par não basta.
No tipo 3, as alternativas de resgate atuam como um único slot virtual. Combinado com células companheiras numa casa compartilhada, completa uma restrição de subconjunto sobre uma união de dígitos contada, que é então retirada de outras células elegíveis.
Exemplo passo a passo
Um exemplo passo a passo de um Loop Único Tipo 3: as alternativas de resgate atuam como um slot virtual completando uma restrição de subconjunto em uma unidade compartilhada.
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 C4, C6, H6, H1, I1, I4 formam um Loop Único potencialmente mortal em 2 e 7. Se cada uma destas células fosse restrita a 2 e 7, 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. Ou H1 ou I1 deve fornecer um dos valores de escape 5 e 1. Essa escolha garantida age como uma posição virtual para 5 e 1. Juntamente com as células companheiras reais G3, a posição virtual bloqueia esses valores em bloco; nenhuma das células de resgate é contada duas vezes.
Passo 3
Os candidatos marcados para 5 e 1 podem portanto ser removidos de bloco. Eles estão fora da posição virtual de escape, das suas células companheiras reais e da célula de resgate alternativa.
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 alternativas de resgate nas células de resgate formam um slot virtual. Combine esse slot com N−1 células companheiras reais numa casa compartilhada cuja união de candidatos contenha N dígitos. Conte cada célula uma vez e retire a união apenas de outras células elegíveis.
A lógica
A unicidade garante que pelo menos uma célula de resgate use um dígito extra, então o grupo de resgate ocupa um slot virtual. Junto com as células companheiras verificadas, reserva a união de dígitos declarada; apenas candidatos fora desse conjunto combinado são alvos de eliminação.