BUG staan vir *Binary Universal Grave*: elke leë sel het presies twee kandidate, en elke kandidaat kom hoogstens twee keer per huis voor — ’n ongeldige toestand met meer as een oplossing.
BUG+1 is die amper-BUG: elke onopgeloste sel is tweewaardig behalwe een sel met drie kandidate. Uniekheid sê die ekstra kandidaat in daardie sel moet waar wees.
Waarom dit werk
As daardie ekstra kandidaat vals was, sou die rooster ’n suiwer BUG word — wat tipies meer as een oplossing toelaat. ’n Unieke legkaart weier daardie wêreld.
Die ekstra syfer word dus afgedwing. Plaas dit.
Hoe om dit raak te sien
’n Vinnige toets wanneer alle leë selle behalwe een tweewaardig is.
Demonstrasie
’n Unieke klassieke legkaart kan nie in ’n Binary Universal Grave (alles tweewaardig, meer as een oplossing) beland nie.
Kontroleer of amper elke leë sel presies twee kandidate het. Presies een sel het drie — dit is BUG+1. Die ekstra syfer is 9.
As 9 vals was, sou die legkaart in daardie dodelike alles-tweewaardige graf met meer as een oplossing val.
Plaas 9 in die sel met drie kandidate. Uniekheid vereis dit — net op unieke klassieke legkaarte.
Voorbeeld 1
Soek ’n heeltemal tweewaardige rooster met een sel met drie kandidate.
BUG+1 — die ekstra syfer is 8.
Plaas 8. Dit verhoed ’n nie-unieke Binary Universal Grave.
Voorbeeld 2
Soek ’n heeltemal tweewaardige rooster met een sel met drie kandidate.
BUG+1 — die ekstra syfer is 9.
Plaas 9. Dit verhoed ’n nie-unieke Binary Universal Grave.