ERRO+1

O que é um BUG (Grave Universal de Dois Valores)?

Um BUG é um estado hipotético em que cada Célula não resolvido tem exatamente dois candidatos, e cada dígito aparece exatamente duas vezes em cada casa relevante. Essa simetria perfeita significa que os candidatos formam laços fechados resolvíveis de duas maneiras, garantindo múltiplas soluções. Um quebra-cabeça válido nunca pode chegar a esse estado.

O que é ERRO+1 em Sudoku?

ERRO+1: cada Célula não resolvido é bivalorado, exceto um Célula trivalorado. Dois de seus candidatos aparecem exatamente duas vezes em cada casa (candidatos BUG). O terceiro (o dígito "extra") quebra a simetria.

Como funciona a dedução ERRO+1

Se o dígito extra fosse removido, o tabuleiro se tornaria um BUG (múltiplas soluções). Como isso é impossível, o dígito extra deve ser a resposta. ERRO+1 resulta em uma colocação direta, e não apenas na eliminação de candidatos.

Como identificar o dígito extra

Método 1: Contar ocorrências em casas. Dois candidatos aparecem exatamente duas vezes em todos os lugares; o extra aparece três vezes em pelo menos uma casa. Método 2: O teste de remoção. Qualquer candidato, se removido, completaria o padrão BUG; esse é o dígito extra que deve permanecer.

Por que ERRO+1 é uma técnica de unicidade

ERRO+1 depende da suposição de que o quebra-cabeça tem exatamente uma solução. Outras técnicas de unicidade incluem Retângulos Únicos e Retângulos Evitáveis. ERRO+1 é perfeitamente sólido para quebra-cabeças de fontes confiáveis.

Classificação de Dificuldade e Raridade

Nível 8 (Experto). Relativamente incomum -- requer um estado quase-BUG muito específico no final do processo de resolução. Quando aparece, oferece uma colocação direta satisfatória.

Dicas para identificar ERRO+1

Verifique quando restarem de 8 a 15 células sem resolver e a maioria for bivalorada. Varredura rápida: se alguma Célula tiver mais de 3 candidatos, pare. Se duas ou mais tiverem 3, pare. Se exatamente uma tiver 3 e todas as outras tiverem 2, verifique as condições ERRO+1. Marcas a lápis precisas são essenciais.

Resumo

ERRO+1 detecta quando o tabuleiro está a uma Célula de um estado com múltiplas soluções. Ao identificar o único trivalue Célula e seu dígito extra, a técnica permite uma colocação direta. Nível 8 (Experto), rara mas elegante.