Estratégia BUG+1 no Sudoku

BUG+1 é uma técnica de unicidade. Quando todas as células não resolvidas, exceto uma, são bivalue e uma célula tem três candidatos, o candidato adicional pode ser forçado.

Definição e condições

BUG significa Bivalue Universal Grave. Um BUG puro permite duas soluções; no BUG+1, o candidato extra deve quebrar essa simetria.

Exemplo no tabuleiro completo

Somente R1C8 contém 3, 5 e 6. As demais células abertas são bivalue, e 6 é o candidato extra que rompe o equilíbrio; portanto R1C8=6.

Como encontrar

Confirme uma única célula trivalue, verifique todas as outras células e conte as ocorrências nas linhas, colunas e blocos afetados.

Por que funciona

Remover o candidato extra criaria o estado BUG de duas soluções. Isso é impossível em um passatempo com solução única confirmada.

Relação com outras técnicas

Uma célula com três candidatos não basta. As contagens por unidade e a unicidade do problema também precisam ser verificadas.

Resumo

Use BUG+1 somente depois de confirmar toda a estrutura, nunca por aparência isolada.

Perguntas frequentes

O que significa BUG?

Bivalue Universal Grave, um padrão mortal que permite duas soluções.

BUG+1 exige solução única?

Sim; a conclusão exclui o estado BUG de duas soluções.

Uma célula trivalue basta?

Não; as contagens de candidatos nas unidades também devem corresponder.