BUG (Bivalue Universal Grave)

Ein BUG-Muster (Bivalue Universal Grave) entsteht, wenn jede leere Zelle im Gitter genau zwei Kandidaten hätte. Dieser Zustand erzeugt zwei Lösungen und verletzt damit die Eindeutigkeit. Die Zelle, die das Muster bricht (typischerweise eine mit drei Kandidaten), muss die Ziffer annehmen, die in ihrer Reihe, Spalte und ihrem Block dreimal vorkommt.
3ABABABAB

BUG, das Bivalue Universal Grave, ist ein Eindeutigkeits-Argument für das Spielende. Es greift nur, wenn das Gitter fast gelöst ist und nahezu jede leere Zelle zwei Kandidaten hat. Wenn die richtigen Bedingungen erscheinen, beendet BUG das Rätsel in einer einzigen Platzierung.

Wie es funktioniert

Stell dir vor, du erreichst einen Zustand, in dem jede leere Zelle genau zwei Kandidaten hat und jede noch nicht gesetzte Ziffer genau zweimal in jeder ihrer Zeilen, Spalten und Blöcke erscheint. Diese Konfiguration hat zwei gültige Lösungen, weil man Ziffernpaare über das Gitter tauschen und eine weitere korrekte Vervollständigung erhalten kann.

Gültiges Sudoku hat eine Lösung. Dieser Zustand ist also unmöglich. Die Zelle, die ihn verhindert, ist die eine Zelle mit drei Kandidaten statt zwei. Die Ziffer, die – wenn entfernt – ein Bivalue Universal Grave hinterlassen würde, muss die Ziffer sein, die in diese trivalente Zelle gehört.

In der Praxis: die trivalente Zelle betrachten. Den Kandidaten wählen, der dreimal (nicht zweimal) in der Zeile, Spalte oder im Block der Zelle erscheint. Das ist die Ziffer, die dort hinmuss.

56729314898156728217563178245924871718236862159717295869567281

Wann man danach suchen sollte

Spät in teuflischen Rätseln, wenn die meisten Zellen gesetzt sind. Wenn man die verbleibenden leeren Zellen scannt und fast alle genau zwei Kandidaten tragen, mit einer Zelle mit drei, sofort BUG prüfen.

Das Muster ist befriedigend, weil der Rest des Rätsels die Arbeit bereits getan hat. BUG liefert nur den letzten Schritt.

Schritt-für-Schritt-Beispiel

  1. Bestätigen, dass jede leere Zelle genau zwei Kandidaten hat, außer einer Zelle mit genau drei.
  2. Die trivalente Zelle betrachten. Ihre Zeile, Spalte und ihren Block identifizieren.
  3. Für jeden der drei Kandidaten zählen, wie oft er in der Zeile, der Spalte und dem Block der Zelle erscheint (als Kandidat, nicht als gesetzte Ziffer).
  4. Der Kandidat, der dreimal in einer dieser Einheiten erscheint (statt zweimal), ist die Ziffer, die in die trivalente Zelle gehört.
  5. Sie setzen. Der Rest des Rätsels kollabiert zu Singles.

Tipps zum Erkennen

  • BUG greift nur, wenn das Gitter fast gelöst ist. Früher keine Zeit damit verschwenden.
  • Eine trivalente Zelle unter Bivalenten ist das Kennzeichen. Zuerst die Kandidatenmengengröße scannen.
  • Bleistiftmarkierungen müssen tadellos sein. Ein gedrifteter Kandidat tötet das Muster stillschweigend.
  • BUG beendet ein Rätsel oft in einem Zug. Jede Spätspiel-Position lohnt es, geprüft zu werden.

Häufige Fehler

  • BUG anwenden, bevor das Muster vollständig geformt ist. Jede Zelle außer der trivalenten muss exakt bivalent sein.
  • Die falsche Ziffer wählen. Die richtige erscheint dreimal in der Zeile, Spalte oder im Block der trivalenten Zelle, nicht zweimal.
  • Die Technik bei Rätseln ohne garantierte Eindeutigkeit anwenden.
  • Die Prüfung überspringen, weil das Gitter noch ein paar Platzierungen übrig hat. BUG ist der letzte Zug, nicht früher.

Übe es

Spielende-Positionen bei teuflischem Sudoku bilden regelmäßig BUG-Muster. Wenn man einen Punkt erreicht, an dem jede leere Zelle bivalent aussieht, nach der einen suchen, die es nicht ist. BUG passt natürlich zu Unique Rectangle; beide stützen sich auf die Tatsache, dass das Rätsel eine einzige Lösung hat, und beide räumen die letzten paar Platzierungen auf.

Häufig gestellte Fragen

Was ist die BUG-Technik beim Sudoku?
BUG steht für Bivalue Universal Grave, einen Zustand, in dem jede ungelöste Zelle genau zwei Kandidaten enthält und jeder verbleibende Kandidat in jeder Zeile, Spalte und jedem Block genau zweimal vorkommt. Ein solches vollständig bivalentes Gitter hätte zwei Lösungen, sodass ein gültiges Rätsel es nie erreichen kann. Die Technik nutzt aus, dass dieser tödliche Zustand vermieden werden muss.
Was ist BUG+1 und wie löst man es?
BUG+1 ist die Stellung, in der alle Zellen bivalent sind bis auf eine Zelle mit drei Kandidaten, sodass du einen Schritt vom verbotenen BUG-Muster entfernt bist. Um das tödliche Bivalue Universal Grave zu vermeiden, muss diese Drei-Kandidaten-Zelle mit dem Kandidaten gelöst werden, der in ihrer Zeile, Spalte oder ihrem Block eine ungerade Anzahl (dreimal) vorkommt. Das Setzen dieses Werts bricht das Muster auf und bewahrt die eindeutige Lösung.
Wie unterscheidet sich BUG von einem Unique Rectangle?
Beide sind Eindeutigkeitstechniken, die annehmen, dass das Rätsel eine einzige Lösung hat, aber sie erkennen unterschiedliche Strukturen. Ein Unique Rectangle betrachtet vier bestimmte Zellen, die ein Rechteck mit einem gemeinsamen Paar bilden, während BUG das gesamte verbleibende Gitter auf einen nahezu vollständig bivalenten Zustand untersucht. BUG ist im Grunde eine gitterweite Verallgemeinerung desselben Prinzips ohne Doppellösung.
Funktioniert die BUG-Technik nur bei eindeutig lösbaren Rätseln?
Ja, BUG beruht vollständig darauf, dass das Rätsel genau eine Lösung hat. Die Schlussfolgerung ergibt sich aus dem Verbot des Bivalue Universal Grave, das nur deshalb unzulässig ist, weil zwei Lösungen nicht erlaubt sind. Bei einem Rätsel, das möglicherweise mehrere Lösungen hat, ist die Technik unsicher und kann falsche Platzierungen erzeugen.