BUG står for *Binary Universal Grave*: hver tom celle har præcis to kandidater, og hver kandidat optræder højst to gange pr. hus – en ugyldig tilstand med mere end én løsning.
BUG+1 er næsten-BUG’en: hver uløst celle er bivalent undtagen én celle med tre kandidater. Entydigheden siger, at den ekstra kandidat i den celle skal være sand.
Hvorfor det virker
Hvis den ekstra kandidat var falsk, ville gitteret blive en ren BUG – som typisk tillader flere løsninger. En entydig opgave afviser den verden.
Så det ekstra ciffer er tvunget. Placér det.
Sådan finder du den
Et hurtigt tjek, når alle tomme celler på nær én er bivalente.
Demonstration
En entydig klassisk opgave kan ikke ende i en Binary Universal Grave (alle bivalente, flere løsninger).
Tjek, om næsten alle tomme celler har præcis to kandidater. Præcis én celle har tre – det er BUG+1. Det ekstra ciffer er 9.
Hvis 9 var falsk, ville opgaven falde i den dødelige, helt bivalente grav med mere end én løsning.
Placér 9 i cellen med tre kandidater. Entydigheden kræver det – kun i entydige klassiske opgaver.
Eksempel 1
Kig efter et helt bivalent gitter med én celle med tre kandidater.
BUG+1 – det ekstra ciffer er 8.
Placér 8. Det forhindrer en ikke-entydig Binary Universal Grave.
Eksempel 2
Kig efter et helt bivalent gitter med én celle med tre kandidater.
BUG+1 – det ekstra ciffer er 9.
Placér 9. Det forhindrer en ikke-entydig Binary Universal Grave.