BUG znači *Binary Universal Grave* (binarni univerzalni grob): svako prazno polje ima točno dva kandidata, a svaki se kandidat pojavljuje najviše dvaput po jedinici — nevaljano stanje s više od jednog rješenja.
BUG+1 je gotovo-BUG: svako neriješeno polje je dvovrijednosno osim jednog polja s tri kandidata. Jedinstvenost kaže da dodatni kandidat u tom polju mora biti istinit.
Zašto funkcionira
Kad bi taj dodatni kandidat bio lažan, mreža bi postala čisti BUG — što obično dopušta više rješenja. Jedinstvena zagonetka odbija taj svijet.
Dakle, dodatna znamenka je prisiljena. Upiši je.
Kako ga uočiti
Brza provjera kad god su sva prazna polja osim jednog dvovrijednosna.
Demonstracija
Jedinstvena klasična zagonetka ne može upasti u binarni univerzalni grob (sve dvovrijednosno, više rješenja).
Provjeri ima li gotovo svako prazno polje točno dva kandidata. Točno jedno polje ima tri — to je BUG+1. Dodatna znamenka je 9.
Kad bi 9 bila lažna, zagonetka bi upala u taj smrtonosni dvovrijednosni grob s više od jednog rješenja.
Upiši 9 u polje s tri kandidata. Jedinstvenost to zahtijeva — samo na jedinstvenim klasičnim zagonetkama.
Primjer 1
Potraži potpuno dvovrijednosnu mrežu s jednim poljem s tri kandidata.
BUG+1 — dodatna znamenka je 8.
Upiši 8. Ona sprječava binarni univerzalni grob s više rješenja.
Primjer 2
Potraži potpuno dvovrijednosnu mrežu s jednim poljem s tri kandidata.
BUG+1 — dodatna znamenka je 9.
Upiši 9. Ona sprječava binarni univerzalni grob s više rješenja.