BUG significa *Binary Universal Grave*: ogni cella vuota ha esattamente due candidati, e ogni candidato compare al massimo due volte per unità. È uno stato non valido con più di una soluzione.
BUG+1 è il quasi-BUG: ogni cella non risolta è bivalore tranne una cella con tre candidati. L’unicità dice che il candidato extra in quella cella deve essere vero.
Perché funziona
Se quel candidato extra fosse falso, la griglia diventerebbe un BUG puro, che di solito ammette più soluzioni. Un puzzle a soluzione unica rifiuta quel mondo.
Quindi la cifra extra è obbligata. Inseriscila.
Come individuarlo
Controllo rapido ogni volta che tutte le celle vuote tranne una sono bivalore.
Dimostrazione
Un puzzle classico a soluzione unica non può cadere in una Binary Universal Grave (tutto bivalore, più soluzioni).
Controlla se quasi ogni cella vuota ha esattamente due candidati. Esattamente una cella ne ha tre: questo è BUG+1. La cifra extra è 9.
Se 9 fosse falso, il puzzle cadrebbe in quella trappola mortale tutta bivalore con più di una soluzione.
Inserisci 9 nella cella a tre candidati. Lo richiede l’unicità, ma solo nei puzzle classici a soluzione unica.
Esempio 1
Cerca una griglia tutta bivalore con una sola cella a tre candidati.
BUG+1: la cifra extra è 8.
Inserisci 8. Impedisce una Binary Universal Grave con più soluzioni.
Esempio 2
Cerca una griglia tutta bivalore con una sola cella a tre candidati.
BUG+1: la cifra extra è 9.
Inserisci 9. Impedisce una Binary Universal Grave con più soluzioni.