BUG+1 é uma técnica de unicidade que aparece em um estado de candidatos muito específico, geralmente perto do fim de um Sudoku difícil.
BUG significa Bivalue Universal Grave.
Um BUG puro possui duas propriedades essenciais:
- todas as células não resolvidas têm exatamente dois candidatos;
- cada dígito candidato restante aparece exatamente duas vezes em cada linha, coluna e bloco em que ainda está por resolver.
Esse estado perfeitamente equilibrado é mortal para um puzzle que deve ter uma única solução: as atribuições restantes podem ser trocadas e produzir outra finalização válida.
Por isso, um Sudoku corretamente construído e com solução única não pode terminar em um BUG puro.
BUG+1 é o estado quase completo que se torna útil:
- todas as células não resolvidas são bivalue, exceto uma;
- essa única célula possui três candidatos;
- um desses três candidatos é o valor extra que impede a grade de colapsar no padrão BUG.
Esse candidato extra precisa ser verdadeiro.
Em um BUG+1 verificado, coloque o candidato extra na única célula trivalue.
A palavra verificado é importante. Apenas encontrar uma célula com três candidatos não prova BUG+1.
O que é um Bivalue Universal Grave?
Uma célula bivalue contém exatamente dois candidatos.
Ter todas as células não resolvidas bivalue ainda não basta para demonstrar um BUG.
Também é necessário verificar a condição de frequência:
cada dígito não resolvido aparece exatamente duas vezes em cada linha, coluna e bloco em que continua presente.
Isso cria uma rede global equilibrada de pares de candidatos.
Em um BUG puro, as atribuições restantes podem ser invertidas por essa rede e gerar outra solução.
Isso contradiz a premissa de unicidade de um Sudoku padrão bem formado.
Por que BUG+1 força um candidato
Suponha que todas as células não resolvidas sejam bivalue, exceto uma:
r5c6 = {2,7,9}Chamaremos essa célula de célula +1.
Dois de seus candidatos encaixam na estrutura equilibrada do BUG.
O terceiro é o candidato extra.
Se esse candidato extra fosse falso, a célula se tornaria bivalue e o estado inteiro poderia cair no BUG mortal de duas soluções.
Como o puzzle é assumido como único, o candidato extra não pode ser falso.
Logo, ele precisa ser verdadeiro.
A pista de paridade
A forma mais prática de reconhecer o candidato +1 é observar a paridade das ocorrências.
Em um BUG puro, cada dígito restante aparece duas vezes em cada unidade relevante.
Na célula trivalue, um dos candidatos quebra esse equilíbrio.
Por exemplo, em uma linha, coluna ou bloco ele pode aparecer:
3 vezesenquanto os outros candidatos continuam aparecendo em pares.
Esse excesso revela qual candidato está impedindo o estado de se tornar um BUG puro.
Não confunda isso com simplesmente procurar qualquer dígito que apareça três vezes em algum lugar. A estrutura deve ser verificada globalmente.
Exemplo passo a passo de BUG+1
Como identificar o candidato +1
Use um processo disciplinado.
1. Confirme que todas as outras células não resolvidas são bivalue
Se houver outra célula com três ou mais candidatos, o padrão padrão BUG+1 ainda não está formado.
2. Examine os três candidatos da célula +1
Normalmente a célula excepcional é trivalue.
Liste os três candidatos e trate cada um como possível candidato extra.
3. Encontre o candidato que quebra o equilíbrio par
Conte as ocorrências desses dígitos nas unidades que passam pela célula.
O candidato +1 é aquele que produz a ocorrência extra incompatível com o equilíbrio bivalue do BUG.
4. Verifique o restante da grade
Não basta que uma única linha pareça correta.
Confirme que a estrutura bivalue e as frequências de candidatos se mantêm em todas as unidades relevantes.
5. Coloque o candidato extra
Depois da verificação completa, o candidato +1 é forçado pela unicidade.
Atualize os candidatos e volte às técnicas mais simples.
BUG+1 é uma técnica de grade inteira
Muitas técnicas de Sudoku são locais.
Um Naked Pair pode ser verificado em uma única unidade.
Um X-Wing pode ser verificado em duas linhas e duas colunas.
BUG+1 é diferente.
A lógica depende do estado global dos candidatos.
Mesmo que a célula +1 esteja em um bloco convincente, o resto da grade precisa continuar obedecendo à estrutura BUG.
Essa é uma das razões pelas quais BUG+1 costuma aparecer tarde no solve: quanto menos células restam, mais fácil é verificar toda a rede.
Por que “todas as células menos uma são bivalue” não é suficiente
Esse é o falso positivo mais comum.
Uma grade pode ter:
- quase todas as células bivalue;
- uma única célula trivalue;
sem formar um BUG+1.
O motivo é que a segunda condição do BUG pode falhar: um dígito pode aparecer um número diferente de vezes em alguma linha, coluna ou bloco.
Portanto, a definição correta não é:
uma célula com três candidatos e todas as outras com dois.
É:
um estado BUG globalmente válido, perturbado por exatamente um candidato extra.
BUG+1 e unicidade
BUG+1 é uma técnica de unicidade.
Ela não decorre apenas das três restrições locais de linha, coluna e bloco.
Também usa a premissa de que:
o puzzle possui exatamente uma solução.
Se estiver resolvendo um Sudoku cuja unicidade não foi verificada, BUG+1 não deve ser tratado como uma dedução garantida.
Isso coloca BUG+1 na mesma família conceitual de Unique Rectangle e outras técnicas de unicidade.
BUG+1 vs Retângulo Único
As duas técnicas usam a premissa de solução única, mas reconhecem estruturas diferentes.
Retângulo Único
- normalmente usa quatro células;
- depende de duas linhas, duas colunas e exatamente dois blocos;
- evita um padrão mortal retangular com duas soluções.
BUG+1
- usa o estado global das células não resolvidas;
- depende de uma rede bivalue equilibrada;
- força o candidato extra de uma única célula excepcional.
Retângulo Único é geométrico e local.
BUG+1 é global e baseado em paridade de candidatos.
BUG+1 vs Naked Single
Um Naked Single é forçado porque uma célula possui apenas um candidato legal.
BUG+1 é muito diferente.
A célula +1 normalmente possui três candidatos legais localmente.
O candidato correto é forçado apenas quando consideramos a estrutura global e a premissa de unicidade.
Portanto, BUG+1 não é um “Single escondido” dentro de uma célula trivalue.
BUG+1 vs XY-Chain
Uma XY-Chain também pode resolver uma grade dominada por células bivalue.
Mas a prova é diferente.
Uma XY-Chain:
- segue uma sequência específica de células bivalue;
- usa implicações entre candidatos;
- produz uma eliminação a partir de seus extremos.
BUG+1:
- não precisa traçar uma cadeia específica;
- observa o padrão global das células bivalue;
- usa unicidade para forçar o candidato extra.
Às vezes a mesma colocação BUG+1 também pode ser demonstrada por uma cadeia. Isso não torna nenhuma das duas descrições incorreta.
Um BUG puro é um estado de resolução válido?
Em um Sudoku com solução única verificada, não.
Se a grade chegar a um BUG puro, isso indica que o estado restante admite pelo menos duas finalizações compatíveis com as restrições locais.
Isso normalmente significa uma destas coisas:
- o puzzle não é único;
- algum candidato foi removido incorretamente;
- alguma pista ou colocação foi copiada de forma errada;
- o suposto BUG não foi verificado corretamente.
BUG+1 é útil justamente porque o “+1” impede que essa ambiguidade se complete.
Como encontrar BUG+1 com eficiência
1. Espere até que a grade não resolvida esteja quase toda bivalue
Não vale a pena procurar BUG+1 no início do puzzle.
A técnica fica visível quando restam poucas células e muitas têm dois candidatos.
2. Observe uma única célula trivalue
Uma célula com três candidatos em meio a uma grade quase toda bivalue é um sinal para investigar, não uma prova.
3. Conte as ocorrências de candidatos
Verifique os três candidatos da célula excepcional nas linhas, colunas e blocos relevantes.
Procure aquele que rompe o equilíbrio de pares.
4. Verifique globalmente
Confirme a condição BUG em toda a região não resolvida, não apenas perto da célula +1.
5. Prefira deduções mais simples quando estiverem disponíveis
Se um Single, Locked Candidate ou Chain curta produz o mesmo progresso, use a prova mais simples.
BUG+1 é mais valioso quando a estrutura global realmente é a explicação mais clara.
Erros comuns com BUG+1
Erro 1: verificar apenas um bloco
BUG+1 é global. Um bloco convincente não prova o padrão.
Erro 2: assumir que uma única célula trivalue é suficiente
É apenas um indício. A estrutura bivalue e a frequência dos candidatos precisam ser verificadas.
Erro 3: escolher qualquer candidato que apareça três vezes em algum lugar
O candidato extra deve ser o que quebra o equilíbrio BUG no contexto completo das unidades relevantes.
Erro 4: usar BUG+1 sem uma premissa de unicidade
A técnica depende de o puzzle ter uma única solução.
Erro 5: confundir BUG+1 com um truque comum de paridade
A paridade ajuda a identificar o candidato extra, mas a prova vem da estrutura BUG e da unicidade.
Erro 6: esquecer de atualizar candidatos antes de verificar
Candidatos desatualizados podem criar um BUG+1 falso.
Faça uma atualização completa antes de aplicar a técnica.
Quando usar BUG+1?
BUG+1 é uma técnica de fim de jogo.
Procure por ela quando:
- poucas células permanecem vazias;
- quase todas são bivalue;
- existe uma única célula trivalue;
- técnicas mais simples já foram esgotadas;
- a unicidade do puzzle é confiável.
Se a grade ainda contém muitas células com três, quatro ou mais candidatos, é cedo demais para BUG+1.
FAQ
O que significa BUG no Sudoku?
BUG significa Bivalue Universal Grave. É um estado global em que todas as células restantes são bivalue e os candidatos mantêm uma estrutura equilibrada que permite múltiplas soluções.
O que significa o “+1” em BUG+1?
É o candidato extra que aparece em uma única célula excepcional e impede que a grade se torne um BUG puro.
A célula BUG+1 sempre tem três candidatos?
Na forma padrão, sim: todas as outras células são bivalue e a célula +1 é trivalue. Extensões e padrões relacionados podem ser descritos de outras formas, mas não são o BUG+1 básico desta página.
Como saber qual candidato é o extra?
Verifique qual dos três candidatos da célula excepcional rompe o equilíbrio de ocorrências pares exigido pelo BUG nas unidades relevantes.
BUG+1 exige um Sudoku com solução única?
Sim. A eliminação ou colocação é uma técnica de unicidade e depende dessa premissa.
BUG+1 pode ser resolvido de outra forma?
Frequentemente, sim. Cadeias, forcing ou outras técnicas podem provar a mesma colocação. BUG+1 é valioso porque reconhece a estrutura global de forma compacta.
O que aprender a seguir
Depois de BUG+1, aprofunde as técnicas de unicidade e compare provas baseadas em unicidade com AICs, XY-Chains e outras formas de inferência que não dependem dessa premissa adicional.