Retângulo Ú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 Retângulo Ú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 Retângulo Ú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: quatro células não resolvidas nos cantos de duas linhas e duas colunas abrangendo exatamente dois blocos, cada uma carregando os mesmos dois dígitos base entre seus candidatos. Trocar esses dígitos entre os cantos 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 retângulo 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 Retângulo Ú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 4 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 B2, G2, B3, G3 formam um Retângulo Único potencialmente mortal em 6 e 7. Se cada uma destas células fosse restrita a 6 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 B2 ou B3 deve fornecer um dos valores de escape 1, 3 e 5. Essa escolha garantida age como uma posição virtual para 1, 3, 5 e 4. Juntamente com as células companheiras reais B5, B7, B8, a posição virtual bloqueia esses valores em coluna; nenhuma das células de resgate é contada duas vezes.
Passo 3
Os candidatos marcados para 1, 3, 5 e 4 podem portanto ser removidos de coluna. 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 comece um jogo de Sudoku gratuito para praticar com o estado atual de candidatos visível.
Como identificá-lo
Verifique quatro cantos não resolvidos em duas linhas, duas colunas e exatamente dois blocos. 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.