BUG staat voor *Binary Universal Grave*: elke lege cel heeft precies twee kandidaten, en elke kandidaat komt maximaal twee keer per eenheid voor — een ongeldige toestand met meer dan één oplossing.
BUG+1 is de bijna-BUG: elke onopgeloste cel is bivalue behalve één cel met drie kandidaten. Uniciteit zegt dat de extra kandidaat in die cel waar moet zijn.
Waarom het werkt
Als die extra kandidaat onwaar was, zou het rooster een zuivere BUG worden — die doorgaans meerdere oplossingen toelaat. Een unieke puzzel wijst die wereld af.
Het extra cijfer is dus afgedwongen. Plaats het.
Zo herken je het
Snelle check zodra op één na alle lege cellen bivalue zijn.
Demonstratie
Een unieke klassieke puzzel kan niet in een Binary Universal Grave terechtkomen (alles bivalue, meerdere oplossingen).
Controleer of bijna elke lege cel precies twee kandidaten heeft. Precies één cel heeft er drie — dat is BUG+1. Het extra cijfer is 9.
Als 9 onwaar was, zou de puzzel in dat dodelijke, volledig bivalue graf vallen met meer dan één oplossing.
Plaats 9 in de cel met drie kandidaten. Uniciteit eist het — alleen bij unieke klassieke puzzels.
Voorbeeld 1
Zoek een volledig bivalue rooster met één cel met drie kandidaten.
BUG+1 — het extra cijfer is 8.
Plaats 8. Het voorkomt een niet-unieke Binary Universal Grave.
Voorbeeld 2
Zoek een volledig bivalue rooster met één cel met drie kandidaten.
BUG+1 — het extra cijfer is 9.
Plaats 9. Het voorkomt een niet-unieke Binary Universal Grave.