BUG står for *Binary Universal Grave*: hver tomme celle har nøyaktig to kandidater, og hver kandidat forekommer høyst to ganger per enhet — en ugyldig tilstand med mer enn én løsning.
BUG+1 er nesten-BUG: alle uløste celler er toverdiceller unntatt én celle med tre kandidater. Entydighet sier at den ekstra kandidaten i den cellen må være sann.
Hvorfor det virker
Hvis den ekstra kandidaten var usann, ville rutenettet blitt en ren BUG — som vanligvis gir flere løsninger. En entydig oppgave avviser den verdenen.
Så det ekstra sifferet er tvunget frem. Plasser det.
Slik finner du den
En rask sjekk når alle tomme celler unntatt én er toverdiceller.
Demonstrasjon
En entydig klassisk oppgave kan ikke havne i en Binary Universal Grave (bare toverdiceller, flere løsninger).
Sjekk om nesten alle tomme celler har nøyaktig to kandidater. Nøyaktig én celle har tre — det er BUG+1. Det ekstra sifferet er 9.
Hvis 9 var usann, ville oppgaven falt ned i den dødelige graven med bare toverdiceller og mer enn én løsning.
Plasser 9 i cellen med tre kandidater. Entydigheten krever det — bare på entydige klassiske oppgaver.
Eksempel 1
Se etter et rutenett med bare toverdiceller og én celle med tre kandidater.
BUG+1 — det ekstra sifferet er 8.
Plasser 8. Det hindrer en Binary Universal Grave uten entydig løsning.
Eksempel 2
Se etter et rutenett med bare toverdiceller og én celle med tre kandidater.
BUG+1 — det ekstra sifferet er 9.
Plasser 9. Det hindrer en Binary Universal Grave uten entydig løsning.