BUG steht für *Binary Universal Grave*: Jede leere Zelle hat genau zwei Kandidaten, und jeder Kandidat kommt pro Einheit höchstens zweimal vor – ein ungültiger Zustand mit mehr als einer Lösung.
BUG+1 ist der Fast-BUG: Jede ungelöste Zelle ist bivalent außer einer Zelle mit drei Kandidaten. Die Eindeutigkeit besagt, dass der zusätzliche Kandidat in dieser Zelle wahr sein muss.
Warum es funktioniert
Wäre dieser zusätzliche Kandidat falsch, würde das Gitter zu einem reinen BUG – der meist mehrere Lösungen zulässt. Ein eindeutiges Rätsel lässt diese Welt nicht zu.
Die zusätzliche Ziffer ist also erzwungen. Setze sie.
So erkennst du es
Schneller Check, sobald alle leeren Zellen bis auf eine bivalent sind.
Vorführung
Ein eindeutiges klassisches Rätsel kann nicht in ein Binary Universal Grave geraten (alles bivalent, mehrere Lösungen).
Prüfe, ob fast jede leere Zelle genau zwei Kandidaten hat. Genau eine Zelle hat drei – das ist BUG+1. Die zusätzliche Ziffer ist 9.
Wäre 9 falsch, würde das Rätsel in dieses tödliche, vollständig bivalente Grab mit mehr als einer Lösung fallen.
Setze 9 in die Zelle mit drei Kandidaten. Die Eindeutigkeit verlangt es – nur bei eindeutigen klassischen Rätseln.
Beispiel 1
Suche ein vollständig bivalentes Gitter mit einer Zelle mit drei Kandidaten.
BUG+1 – die zusätzliche Ziffer ist 8.
Setze 8. Das verhindert ein nicht eindeutiges Binary Universal Grave.
Beispiel 2
Suche ein vollständig bivalentes Gitter mit einer Zelle mit drei Kandidaten.
BUG+1 – die zusätzliche Ziffer ist 9.
Setze 9. Das verhindert ein nicht eindeutiges Binary Universal Grave.