BUG+1
Cunoscută și ca Binary Universal Grave + 1 (Mormântul universal binar + 1).
BUG înseamnă *Binary Universal Grave* (Mormântul universal binar): fiecare celulă goală are exact doi candidați, iar fiecare candidat apare de cel mult două ori pe unitate — o stare nevalidă, cu mai mult de o soluție.
BUG+1 este aproape-BUG-ul: fiecare celulă nerezolvată este bivalentă, cu excepția unei celule cu trei candidați. Unicitatea spune că acel candidat în plus din celulă trebuie să fie adevărat.
De ce funcționează
Dacă acel candidat în plus ar fi fals, grila ar deveni un BUG pur — care de obicei permite mai multe soluții. Un puzzle unic respinge acea lume.
Deci cifra în plus este forțată. Plaseaz-o.
Cum o recunoști
Verificare rapidă ori de câte ori toate celulele goale, cu excepția uneia, sunt bivalente.
Demonstrație
Un puzzle clasic unic nu poate cădea într-un Mormânt universal binar (totul bivalent, mai multe soluții).
Verifică dacă aproape fiecare celulă goală are exact doi candidați. Exact o celulă are trei — acesta este BUG+1. Cifra în plus este 9.
Dacă 9 ar fi fals, puzzle-ul ar cădea în acel mormânt fatal, complet bivalent, cu mai mult de o soluție.
Plasează 9 în celula cu trei candidați. Unicitatea o cere — doar la puzzle-uri clasice cu soluție unică.
Exemplul 1
Caută o grilă complet bivalentă cu o singură celulă triplă.
BUG+1 — cifra în plus este 8.
Plasează 8. Previne un Mormânt universal binar fără soluție unică.
Exemplul 2
Caută o grilă complet bivalentă cu o singură celulă triplă.
BUG+1 — cifra în plus este 9.
Plasează 9. Previne un Mormânt universal binar fără soluție unică.