BUG+1
Tamén coñecido como Binary Universal Grave + 1 (tumba universal binaria + 1).
BUG significa *Binary Universal Grave* (tumba universal binaria): cada cela baleira ten exactamente dous candidatos e cada candidato aparece como moito dúas veces por unidade, un estado non válido con máis dunha solución.
BUG+1 é o case-BUG: cada cela sen resolver é bivalor agás unha cela con tres candidatos. A unicidade di que o candidato extra desa cela ten que ser verdadeiro.
Por que funciona
Se ese candidato extra fose falso, a grella converteríase nun BUG puro, que normalmente permite varias solucións. Un sudoku único rexeita ese mundo.
Así que o díxito extra é obrigado. Colócao.
Como detectalo
Comprobación rápida sempre que todas as celas baleiras agás unha sexan bivalor.
Demostración
Un sudoku clásico único non pode caer nunha Binary Universal Grave (todo bivalor, varias solucións).
Comproba se case todas as celas baleiras teñen exactamente dous candidatos. Exactamente unha ten tres: iso é BUG+1. O díxito extra é 9.
Se 9 fose falso, o sudoku caería nesa tumba mortal toda bivalor con máis dunha solución.
Coloca 9 na cela de tres candidatos. A unicidade esíxeo: só en sudokus clásicos únicos.
Exemplo 1
Busca unha grella toda bivalor cunha cela de tres candidatos.
BUG+1: o díxito extra é 8.
Coloca 8. Evita unha Binary Universal Grave non única.
Exemplo 2
Busca unha grella toda bivalor cunha cela de tres candidatos.
BUG+1: o díxito extra é 9.
Coloca 9. Evita unha Binary Universal Grave non única.