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.
BUG+1 ist die Technik, die das Argument des Bivalue Universal Grave in die Praxis bringt. Stell dir ein Gitter vor, in dem jede ungelöste Zelle genau zwei Kandidaten hat — außer einer Zelle, die drei hat. Diese Zelle ist die +1. Zwei ihrer drei Kandidaten tauchen schon zweimal in jeder ihrer Zeile, Spalte und ihrem Block auf; der dritte Kandidat taucht dreimal auf. Der dritte Kandidat muss die Antwort für diese Zelle sein. Alles andere ließe einen echten BUG-Zustand zurück, und die Eindeutigkeit des Rätsels verbietet ihn.
Wie du die Technik feuerst
Drei Bedingungen müssen gleichzeitig gelten:
- Jede ungelöste Zelle im Gitter hat genau zwei Kandidaten, außer einer Zelle, die drei hat.
- Zähl für jeden der drei Kandidaten in der +1-Zelle, wie oft dieser Kandidat als Notiz in der Zeile, Spalte und dem Block der Zelle auftaucht.
- Zwei der drei Kandidaten tauchen in jeder Einheit genau zweimal auf; einer taucht dreimal auf.
Der Kandidat, der dreimal auftaucht, ist die Antwort. Setz ihn.
Die Argumentation: Würde die +1-Zelle einen der zweimal auftauchenden Kandidaten aufnehmen, wäre das dritte Vorkommen dieses Kandidaten anderswo immer noch da, und der dritte Kandidat (der dreimal auftaucht) hätte nur noch zwei Zellen übrig. Kombiniert damit, dass alle anderen Zellen bivalent sind, ist der entstehende Zustand ein echter BUG — zwei gültige Lösungen. Um das zu vermeiden, nimmt die +1-Zelle den dreimal auftauchenden Kandidaten, entfernt damit sein drittes Vorkommen und lässt das Gitter in einem regulären bivalenten Zustand mit einer erzwungenen Lösung zurück.
Warum Löser ihn elegant finden
BUG+1 ist einer der schnellsten Schluss-Züge im Spätspiel. Ein Rätsel, das auf überwiegend bivalente Zellen reduziert ist, sieht einschüchternd aus — Kettentechniken bräuchten viele Schritte, um es aufzulösen —, aber wenn eine einzelne Zelle mit drei Kandidaten existiert, schließt BUG+1 das Rätsel mit einer einzigen Setzung. Die Augenscan-Variante der Technik ist schnell: Notizen zählen, die Asymmetrie finden, setzen.
Der Haken ist derselbe wie beim Unique Rectangle und beim Eltern-Konzept BUG: Der Zug hängt davon ab, dass das Rätsel eindeutig lösbar ist, was eine Meta-Eigenschaft ist statt einer direkten Regel. Löser, die eindeutigkeitsbasierte Argumente ablehnen, lösen dieselben Rätsel über längere Kettentechniken. Löser, die den Zug akzeptieren, schließen ihre Spätspiele schneller.
Wann du ihn siehst
Meister- und Extrem-Rätsel erreichen in ihren letzten Zügen oft Fast-BUG-Zustände. Eine nützliche Routine: Wann immer die Notizen eines Rätsels sich auf fast-alle-bivalent komprimieren, prüf, ob genau eine Zelle mit drei Kandidaten übrig ist. Wenn ja, prüf die BUG+1-Bedingungen; wenn alle drei gelten, ist die Setzung sofort.
Siehe auch
- 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.
- 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.