BUG+1
BUG+1 explora o fato de que um tabuleiro de Sudoku válido não pode terminar em um estado no qual todas as células vazias tenham exatamente dois candidatos. Esse estado é chamado de Bivalue Universal Grave.
Veja a técnica na prática
Percorra os exemplos passo a passo. Cada etapa explica o que você vê no tabuleiro e por que a conclusão é válida.
- Observe o tabuleiro inteiro. Com exceção de uma célula, todas as células vazias têm exatamente dois candidatos.
Como reconhecer o padrão
BUG significa Bivalue Universal Grave, um estado em que todas as células vazias têm exatamente dois candidatos. Um tabuleiro assim não pode ter solução única; portanto, um Sudoku válido nunca pode terminar dessa forma. O BUG+1 surge quando o tabuleiro está a um passo desse estado: todas as células vazias têm dois candidatos, exceto uma, que tem três.
Essa célula deve impedir o BUG. Entre os três candidatos, há um número que se destaca pela quantidade de ocorrências na linha, na coluna e no bloco da célula. É esse número que deve ser colocado para que o tabuleiro não termine em um estado com várias soluções. O padrão costuma aparecer no fim de tabuleiros difíceis.
Método passo a passo
- Verifique se todas as células vazias do tabuleiro têm exatamente dois candidatos, com uma única exceção.
- Encontre a exceção, ou seja, a célula com três candidatos.
- Para cada um dos três candidatos, conte quantas vezes o número aparece como candidato na linha, coluna e bloco dessa célula.
- Coloque o número cuja quantidade de ocorrências difere da dos outros dois, pois sem ele o tabuleiro terminaria em um estado sem solução única.
Erros comuns
- Usar o padrão cedo demais. O BUG+1 exige que o tabuleiro inteiro esteja nesse estado, não apenas um canto.
- Não perceber outra célula com três candidatos. Se houver duas células assim, o tabuleiro não apresenta um BUG+1 e a conclusão deixa de ser válida.
- Esquecer o requisito de solução única. A técnica pressupõe que o tabuleiro seja um Sudoku válido com exatamente uma solução.
Quando você precisa dessa técnica?
Os tabuleiros mais difíceis exigem técnicas que seguem longas cadeias lógicas por todo o tabuleiro. Na prática, são demonstrações: parta de uma hipótese, acompanhe as consequências e veja o que não pode ser verdadeiro. Percorra os exemplos abaixo, passo a passo, com as mesmas ferramentas que o solucionador usa no seu tabuleiro.