BUG 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. O BUG Tipo 3 começa com uma estrutura de candidatos BUG verificada e combina suas alternativas de guardiã com outras células numa casa compartilhada para fazer uma restrição estilo subconjunto. As alternativas de guardiã atuam como um slot virtual; não são células de subconjunto independentes comuns.
O que é o BUG Tipo 3?
Primeiro identifique o grupo de candidatos guardiã cuja remoção completa criaria o estado BUG. Numa casa compartilhada, combine esse grupo garantido com N−1 células reais de modo que a união de candidatos relevante tenha N dígitos. Conte cada célula real uma vez e mantenha as células de guardiã distintas de membros de subconjunto comuns.
O tipo 3 combina as alternativas de guardiã garantidas com uma restrição de subconjunto numa casa compartilhada. As alternativas juntas ocupam um slot virtual; não são células de subconjunto independentes comuns. Adicione o número necessário de células companheiras separadas, conte a união de candidatos exatamente e elimine apenas de outras células elegíveis naquela casa.
Exemplo passo a passo
Um exemplo passo a passo de um BUG Tipo 3: as alternativas guardiãs atuam como um slot virtual completando uma restrição de subconjunto em uma unidade compartilhada.
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
As células F7 e H7 contêm os candidatos BUG extras 4 e 7, marcados na grelha. Remover todos esses candidatos marcados deixaria a estrutura BUG mortal.
Passo 3
Suponha que os candidatos BUG 4 e 7 fossem removidos de F7 e H7, como marcado na grelha. Cada célula não resolvida seria então 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
Para evitar o BUG, pelo menos uma de F7 e H7 deve conter um de 4 e 7. Essa escapatória garantida age como uma posição virtual para os valores 4 e 7. Juntamente com as células companheiras reais E7, ela bloqueia esses valores em linha 7. As ocorrências marcadas fora destas posições elegíveis podem portanto ser removidas.
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 as contagens BUG subjacentes, identifique as alternativas de guardiã e depois conte as células companheiras e a união de dígitos na sua casa compartilhada. Não chame três células comuns de Par Nu nem elimine de uma célula de guardiã usando a regra comum de fora do subconjunto.
A lógica
A unicidade garante que pelo menos uma alternativa de guardiã é verdadeira, então o grupo ocupa um slot virtual na restrição combinada. As células companheiras ocupam os slots restantes. Candidatos na união de dígitos resultante podem ser retirados apenas de outras células elegíveis na casa compartilhada.