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 linha, coluna e bloco onde ainda não foi resolvido. Essa simetria perfeita significa que cada candidato está emparelhado com outro candidato do mesmo dígito e com outro candidato na mesma célula.

Essa simetria cria ciclos fechados que podem ser resolvidos de duas maneiras opostas. Ambas as resoluções satisfazem as restrições do Sudoku, então a grelha teria múltiplas soluções. Um quebra-cabeça válido de solução única nunca pode ser deixado cair num estado BUG puro.

ERRO+1 é a versão quase-BUG. Cada célula não resolvido é bivalue, exceto um célula trivalue com três candidatos.

Dois candidatos no célula trivalue comportam-se como candidatos BUG normais: se removesse o terceiro candidato, esses dois encaixariam na simetria global do BUG de duas vezes por casa. O terceiro candidato é o dígito extra. É a única coisa que impede o quebra-cabeça de se tornar um BUG com múltiplas soluções.

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

Método 1: Contar ocorrências nas casas. Para cada candidato no célula trivalue, inspecione a linha, a coluna e o bloco do célula. Os candidatos BUG mantêm o padrão de duas vezes por casa. O candidato extra é o que cria uma terceira ocorrência em pelo menos uma dessas casas.

Método 2: O teste de remoção. Remova temporariamente um candidato do célula trivalue. Se a grelha restante se tornar um padrão BUG puro, o candidato removido é o dígito extra. Como um quebra-cabeça válido não pode entrar nesse estado BUG, o dígito extra deve permanecer e é a solução para o célula.

ERRO+1 baseia-se na 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 fiáveis.

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

Verifique quando restam 8-15 células não resolvidas e a maioria é bivalor. 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 de ERRO+1. Marcas de lápis precisas são essenciais.

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