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 laços fechados que podem ser resolvidos de duas maneiras opostas. Ambas as resoluções satisfazem as restrições Sudoku, então a grade teria múltiplas soluções. Um quebra-cabeça válido com uma única solução nunca pode ser permitido cair em um estado puro BUG.

ERRO+1 é a versão de quase-erro do BUG. Cada Célula não resolvido é bivalorado, exceto um Célula trivalorado com três candidatos.

Dois candidatos no Célula trivalorado se comportam como candidatos normais do BUG: se você remover o terceiro candidato, esses dois se 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 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.

Método 1: Contar ocorrências em casas. Para cada candidato no trivalue Célula, examine a linha, coluna e bloco da Célula. Os candidatos BUG mantêm o padrão de duas ocorrências por casa. O candidato extra é aquele 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 trivalue Célula. Se a grade 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 a Célula.

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.

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.

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.

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.