Bivalue Universal Grave (BUG)
Ein nahezu finaler Rätselzustand, in dem jede ungelöste Zelle genau zwei Kandidaten hat. Die Eindeutigkeit verbietet ihn, also ist der Zug, der ihn vermeidet, erzwungen.
Ein Bivalue Universal Grave ist ein hypothetischer Rätselzustand, in dem jede verbleibende ungelöste Zelle genau zwei Kandidaten hat und jede Ziffer in jeder Einheit genau zweimal auftaucht. Wie das tödliche Muster eines Unique Rectangle hat eine BUG-Konfiguration zwei gültige Lösungen — die Kandidaten lassen sich paarweise im ganzen Gitter tauschen, ohne irgendeine Bedingung zu verletzen. Die Eindeutigkeit von Sudoku schließt einen BUG aus, also ist jeder Zug, der zu einem führen würde, verboten.
Wie ein BUG aussieht
In einem echten BUG trägt jede Zelle genau zwei Notizen. Jede Ziffer hat genau zwei Kandidatenzellen in jeder Zeile, jeder Spalte und jedem Block. Der Kandidatengraph ist eine „perfekte" bipartite Struktur — und genau diese perfekte Struktur ist das, was die Konfiguration mehrdeutig macht. Ein Löser, der einen BUG-Zustand erreicht, hat per Definition den Überblick verloren, welche Lösung gilt, weil beide Färbungen des bipartiten Graphen gültig sind.
Echte Rätsel betreten diesen Zustand nie. Was echte Rätsel betreten, ist ein Zustand einen Zug vor dem BUG: Fast jede Zelle ist bivalent, aber eine Zelle hat drei statt zwei Kandidaten. Das ist die BUG+1-Konfiguration, und dort feuert die Technik.
Warum das dieselbe Familie ist wie das Unique Rectangle
Sowohl Unique Rectangle als auch BUG nutzen die Eindeutigkeit des Rätsels — sie argumentieren darüber, wie das Rätsel nicht aussehen kann, und nutzen diese Bedingung, um einen Zug zu erzwingen. Manche Löser akzeptieren beide als legitime Techniken; andere halten beide für umstritten, weil sie nicht streng aus der Wiederholungsregel abgeleitet sind. Dieselbe pragmatische Position gilt: Jedes veröffentlichte Sudoku ist auf Eindeutigkeit geprüft, also ist das BUG-Argument auf jedem Rätsel, das ein Löser tatsächlich antrifft, stichhaltig.
Die konzeptionelle Verbindung zu BUG+1 ist es, was BUG in der Praxis zu einer nützlichen Idee macht. Der Grab-Zustand selbst ist hypothetisch; der Zug, der davon abhält, ihn zu erreichen, ist die Technik.
Wann du es siehst
BUG-Muster tauchen in Meister- und Extrem-Rätseln in ihrem Spätstadium auf, wenn die meisten Zellen bereits bivalent sind. Der Hinweis ist meist visuell: Du scannst ein teilweise gelöstes Gitter und bemerkst, dass fast jede verbleibende Zelle nur zwei Kandidaten hat. Wenn genau eine Zelle mit drei Kandidaten heraussticht, ist BUG+1 lebendig, und es lohnt sich, die Kandidatenhäufigkeitsbedingungen zu prüfen, bevor du zu schwereren Kettentechniken greifst.
Siehe auch
- BUG+1— Ist das Gitter eine Zelle vom Bivalue Universal Grave entfernt, muss die Ziffer, die in der Zelle dreimal auftaucht, die Antwort sein — alles andere schließt den Grab-Zustand.
- Unique Rectangle— Ein Muster, in dem vier Zellen über zwei Zeilen und zwei Spalten dieselben zwei Kandidaten teilen — eine Konfiguration, die zwei Lösungen ergäbe und deshalb verboten ist.
- Kandidat— Eine Ziffer (1–9), die eine Zelle legal aufnehmen könnte — noch nicht ausgeschlossen durch Zeile, Spalte oder Block. Jede leere Zelle hat zwischen einem und neun.