BUG 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. No BUG Tipo 1, uma célula trivalorada contém um único candidato guardião cuja remoção hipotética deixaria a estrutura BUG completa. A guardiã deve ser verdadeira, então os outros dois candidatos naquela célula podem ser retirados.
O que é o BUG Tipo 1?
A premissa é mais do que «todas as células bivaloradas exceto uma». Após remover hipoteticamente o candidato guardião, cada célula não resolvida deve ser bivalorada e cada dígito restante deve ocorrer exatamente duas vezes em cada linha, coluna e bloco onde ocorre. Essa é a estrutura BUG excluída pela unicidade.
Uma única célula trivalorada é a exceção usual do Tipo 1. Um dos seus três candidatos é a guardiã: remover essa hipoteticamente produz a estrutura BUG verificada. A guardiã deve permanecer e torna-se o valor da célula; os outros dois candidatos, não guardiões, são retirados.
Exemplo passo a passo
Um exemplo passo a passo de um BUG Tipo 1: uma única célula de exceção trivalente em um estado caso contrário totalmente bivalente; seu candidato guardião permanece e os outros dois são removidos.
Passo 1
Suponha que este puzzle tem exatamente uma solução e que os seus candidatos atuais refletem deduções corretas. Considere estas células não resolvidas.
Passo 2
Cada célula destacada tem exatamente dois candidatos, exceto I9. O seu candidato guardião 7, marcado na grelha, é o que impede o BUG.
Passo 3
Suponha que 7 fosse removido de I9, como marcado na grelha. Então cada célula não resolvida seria bivalente, e cada candidato restante ocorreria exatamente duas vezes em cada linha, coluna e bloco onde aparece. Esta é a estrutura BUG excluída pela suposição de solução única declarada.
Passo 4
Portanto I9 deve tirar o seu valor do candidato guardião 7; caso contrário o BUG permaneceria. Os seus outros candidatos, 5 e 9, podem ser removidos de I9.
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 jogue Sudoku online para praticar com o estado atual de candidatos visível.
Como identificá-lo
Verifique se cada célula não resolvida contém exatamente dois candidatos. Se uma célula contém exatamente três candidatos e uma casa mantém exatamente um deles como terceira ocorrência, esse candidato é a guardiã. Retire os outros dois dígitos dessa célula.
A lógica
Retirar a guardiã reduziria a célula a bivalorada e deixaria todas as células não resolvidas exatamente bivaloradas com cada dígito deixando exatamente duas posições em cada casa — um estado equilibrado. Como a premissa de unicidade proíbe esse estado, o candidato guardião deve permanecer e os outros dois são retirados.