BUG significa *Binary Universal Grave* (tumba universal binaria): cada celda vacía tiene exactamente dos candidatos y cada candidato aparece como mucho dos veces por unidad, un estado no válido con más de una solución.
BUG+1 es el casi BUG: todas las celdas sin resolver son bivalor excepto una celda con tres candidatos. La unicidad dice que el candidato extra de esa celda tiene que ser verdadero.
Por qué funciona
Si ese candidato extra fuera falso, el tablero se convertiría en un BUG puro, que normalmente permite varias soluciones. Un sudoku de solución única rechaza ese mundo.
Así que el dígito extra queda forzado. Colócalo.
Cómo detectarla
Compruébalo rápido siempre que todas las celdas vacías menos una sean bivalor.
Demostración
Un sudoku clásico de solución única no puede caer en una Binary Universal Grave (todo bivalor, varias soluciones).
Comprueba si casi todas las celdas vacías tienen exactamente dos candidatos. Exactamente una celda tiene tres: eso es BUG+1. El dígito extra es 9.
Si 9 fuera falso, el sudoku caería en esa tumba mortal toda bivalor con más de una solución.
Coloca 9 en la celda de tres candidatos. La unicidad lo exige; úsalo solo en sudokus clásicos de solución única.
Ejemplo 1
Busca un tablero todo bivalor con una celda de tres candidatos.
BUG+1: el dígito extra es 8.
Coloca 8. Evita una Binary Universal Grave sin solución única.
Ejemplo 2
Busca un tablero todo bivalor con una celda de tres candidatos.
BUG+1: el dígito extra es 9.
Coloca 9. Evita una Binary Universal Grave sin solución única.