Técnicas de Sudoku · Extremo
BUG+1 no Sudoku
BUG+1, abreviatura de Bivalue Universal Grave mais um, é um argumento de unicidade. Se toda a célula não resolvida tivesse exatamente dois candidatos e todo o número aparecesse exatamente duas vezes em todo o grupo, a grelha teria duas soluções, o que um puzzle válido nunca tem. Então, quando o tabuleiro chega a esse estado exceto por uma célula com três candidatos, o candidato que quebra o padrão tem de ser a resposta.
Por que funciona
Num puzzle com solução única, supõe que cada célula por resolver tem dois candidatos, exceto uma que tem três. Se remover um candidato dessa célula deixar cada número a aparecer como candidato zero ou duas vezes em cada linha, coluna e bloco, esse candidato tem de ser o correto. Caso contrário, qualquer solução teria uma alternativa espelhada, trocando o número de cada célula por resolver pelo seu outro candidato.
Como identificar
Não caças este padrão; reparas nele tarde, num puzzle difícil, quando o tabuleiro fica uniformemente bivalente.
- Verifica se todas as células não resolvidas têm exatamente dois candidatos, exceto uma com três.
- Nessa célula, encontra o candidato que aparece um número ímpar de vezes na sua linha, coluna e bloco. Essa é a resposta.
- Tal como o Retângulo Único, isto só é válido porque o puzzle tem garantia de solução única: não é lógica pura sobre a grelha por si só.
Baseia-se em
Exemplo resolvido
Estes são os tabuleiros de lição da própria aplicação. Percorre-os passo a passo, do mesmo jeito que uma dica faz.
- 1
Todas as células por resolver que restam no tabuleiro são células bivalentes: contêm exatamente dois candidatos. A única exceção é a célula realçada, que contém três: 2, 4, 6.
- 2
Observe agora a linha, a coluna e o bloco da célula realçada: o candidato 6 aparece três vezes em cada um, enquanto qualquer outro candidato aparece exatamente duas vezes, se aparecer. Se esta célula não fosse 6, todos os candidatos apareceriam exatamente duas vezes em todo o lado, formando um padrão mortal que poderia ser completado de duas formas diferentes. O puzzle tem apenas uma solução, por isso 6 tem de ficar aqui, e 2 e 4 podem ser removidos.