Técnicas
BUG+1
Técnica de unicidade em que um único pivô com três candidatos precisa receber o candidato extra que impede um BUG global.
O que significa
BUG+1 é uma técnica de unicidade para um estado quase inteiramente bivalorado. Existe um único pivô com três candidatos; todas as outras casas vazias têm exatamente dois.
Testam-se os três pares possíveis do pivô. O par-base correto transforma toda a grade num núcleo BUG: em cada uma das 27 unidades, cada dígito aparece como candidato zero ou duas vezes. No Clave Sudoku, isso é verificado nas 243 relações unidade × dígito, não apenas nas três unidades do pivô.
Num núcleo BUG, trocar em conjunto os dois candidatos de cada casa bivalorada leva uma solução compatível a um complemento distinto. Como o puzzle possui solução única certificada, o pivô não pode ficar no par-base; o terceiro candidato, o +1, precisa ser colocado.
A contagem local de três ocorrências do +1 na linha, coluna e bloco do pivô é consequência do padrão clássico, mas não substitui a prova global. Estados sem unicidade certificada, com candidatos incompletos ou com mais de um pivô não autorizam a jogada.
Exemplo
Se todas as casas vazias são bivaloradas, exceto L1 C5 com {5,7,9}, e retirar 9 deixa cada dígito com 0 ou 2 ocorrências em toda unidade, então 9 é obrigatório em L1 C5.
Cuidado comum
Contar três ocorrências do candidato extra na linha, coluna e bloco do pivô é uma consequência útil, mas não prova o BUG. O núcleo só vale depois de verificar globalmente todas as 243 relações unidade × dígito em 0 ou 2.
