BUG+1 ist eine Eindeutigkeitstechnik für einen sehr speziellen Kandidatenzustand im späten Verlauf eines Sudoku.
BUG steht für Bivalue Universal Grave.
Ein reines BUG besitzt zwei definierende Eigenschaften:
- jede ungelöste Zelle enthält genau zwei Kandidaten;
- jede noch ungelöste Kandidatenziffer kommt in jeder Zeile, Spalte und jedem Block, in der sie noch möglich ist, genau zweimal vor.
Dieser perfekt ausgeglichene Zustand ist für ein Sudoku, das genau eine Lösung haben soll, problematisch: Die verbleibenden Kandidatenbelegungen können durch das Netzwerk getauscht werden und eine weitere gültige Vervollständigung erzeugen.
Ein korrekt konstruiertes eindeutiges Sudoku kann deshalb nicht in einem reinen BUG enden.
BUG+1 ist der nützliche Zustand kurz davor:
- jede ungelöste Zelle ist bivalue, bis auf eine;
- diese eine Zelle besitzt drei Kandidaten;
- einer dieser drei Kandidaten ist der zusätzliche Wert, der verhindert, dass das Raster in die BUG-Struktur kippt.
Dieser zusätzliche Kandidat muss wahr sein.
In einem verifizierten BUG+1 wird der zusätzliche Kandidat in der einzigen Trivalue-Zelle eingetragen.
Das Wort verifiziert ist entscheidend. Ein Raster ist nicht automatisch BUG+1, nur weil genau eine Zelle drei Kandidaten besitzt.
Was ist ein Bivalue Universal Grave?
Eine Bivalue-Zelle enthält genau zwei Kandidaten.
Wenn jede ungelöste Zelle des gesamten Rasters bivalue ist, reicht das allein noch nicht für ein BUG.
Zusätzlich muss die Häufigkeitsbedingung der Kandidaten erfüllt sein:
Jede ungelöste Ziffer kommt in jeder Zeile, Spalte und jedem Block, in denen sie noch vorkommt, genau zweimal vor.
Dadurch entsteht ein global ausgeglichenes Netzwerk aus Kandidatenpaaren.
In einem reinen BUG lassen sich die verbleibenden Belegungen durch dieses Netzwerk spiegeln und eine zweite Vervollständigung erzeugen.
Das widerspricht der Eindeutigkeitsannahme eines standardmäßig korrekt konstruierten Sudoku.
Warum BUG+1 einen Kandidaten erzwingt
Angenommen, jede ungelöste Zelle ist bivalue, außer:
r5c6 = {2, 7, 9}Diese Zelle nennen wir die +1-Zelle.
Zwei ihrer Kandidaten gehören zur ausgeglichenen BUG-Struktur.
Der dritte ist der zusätzliche Kandidat.
Würde dieser zusätzliche Kandidat entfernt, würde das gesamte verbleibende Raster zu einem reinen BUG.
Ein reines BUG würde mehrere Vervollständigungen erlauben.
Das Rätsel wird jedoch als eindeutig vorausgesetzt.
Daher darf der zusätzliche Kandidat nicht entfernt werden.
Er muss die Lösung der +1-Zelle sein.
Der Paritätshinweis
In einem typischen BUG+1 fällt der zusätzliche Kandidat häufig dadurch auf, dass er in Zeile, Spalte und Block der +1-Zelle eine ungerade Anzahl – meist dreimal – vorkommt, während die anderen Kandidaten die Genau-zweimal-Balance erhalten.
Das macht Kandidatenzählen zu einer praktischen Erkennungshilfe.
Reduziere die Technik aber nicht auf:
„Finde die Ziffer, die in einem Block dreimal vorkommt.“
Die vollständigen BUG-Bedingungen für das gesamte Restgitter bleiben notwendig.
Du musst prüfen, dass der übrige ungelöste Teil wirklich aus Bivalue-Zellen mit der erforderlichen ausgeglichenen Kandidatenstruktur besteht.
BUG+1 Schritt für Schritt
So identifizierst du den +1-Kandidaten
Wenn das Raster wie ein beinahe vollständiges BUG aussieht:
1. Prüfe, dass jede andere ungelöste Zelle bivalue ist
Es sollte genau eine ungelöste Zelle geben, die nicht bivalue ist.
Beim Standard-BUG+1 besitzt diese Zelle normalerweise drei Kandidaten.
2. Untersuche die drei Kandidaten der +1-Zelle
Zähle für jede Ziffer ihre ungelösten Vorkommen in:
- der Zeile;
- der Spalte;
- dem Block.
3. Finde den Kandidaten, der die gerade Balance bricht
Der zusätzliche Kandidat ist derjenige, dessen Vorhandensein verhindert, dass das Raster die reine BUG-Bedingung erfüllt.
In häufigen Beispielen kommt er in allen drei Einheiten der +1-Zelle dreimal statt zweimal vor.
4. Prüfe den Rest des Rasters
Bestätige, dass jeder andere ungelöste Kandidat an der geforderten Zweimal-pro-Einheit-Struktur beteiligt ist.
5. Trage den zusätzlichen Kandidaten ein
Sobald der BUG+1-Zustand vollständig verifiziert ist, ist der zusätzliche Kandidat erzwungen.
BUG+1 ist eine Technik für das gesamte Raster
Das ist eines der leicht zu übersehenden Merkmale.
Ein Unique Rectangle ist lokal: Vier Zellen bilden die gefährliche Struktur.
BUG+1 ist universal.
Das relevante Muster umfasst das gesamte noch ungelöste Kandidatennetz.
Deshalb reicht eine kleine Gruppe von Bivalue-Zellen plus einer Trivalue-Zelle nicht aus.
Du musst das komplette ungelöste Raster untersuchen.
Warum „alle Zellen bis auf eine sind bivalue“ nicht reicht
Stell dir ein Raster vor, in dem:
- jede ungelöste Zelle bis auf eine zwei Kandidaten besitzt;
- eine Zelle drei Kandidaten besitzt.
Es kann trotzdem kein BUG+1 sein.
Eine Kandidatenziffer könnte zum Beispiel:
- dreimal in einer Zeile vorkommen, ohne zur +1-Balance zu gehören;
- viermal in einer Spalte vorkommen;
- oder auf andere Weise gegen die Genau-zweimal-Struktur verstoßen.
Dann würde das Entfernen eines Kandidaten aus der Trivalue-Zelle kein reines BUG erzeugen.
Der Eindeutigkeitsbeweis folgt nicht.
Die sichere Regel lautet deshalb:
Überall bivalue + eine Trivalue-Zelle ist ein Erkennungshinweis, nicht der vollständige Beweis.
BUG+1 und Eindeutigkeit
BUG+1 beruht auf derselben allgemeinen Voraussetzung wie Unique Rectangle:
Das Sudoku ist nachweislich eindeutig lösbar.
Diese Voraussetzung gehört nicht zu den lokalen Zeilen-/Spalten-/Blockregeln.
Sie ist eine Eigenschaft der Rätselkonstruktion.
Wird BUG+1 auf ein Raster mit tatsächlich mehreren Lösungen angewendet, ist das Eindeutigkeitsargument nicht gültig.
Deshalb verzichten manche Solver bewusst vollständig auf Eindeutigkeitstechniken.
Das ist eine legitime Spielweise.
VeyraPlay behandelt BUG+1 als optionale Expertenmethode und nennt die Voraussetzung ausdrücklich.
BUG+1 vs Unique Rectangle
Beide Techniken verhindern eine Kandidatenstruktur, die mehrere Lösungen zulassen würde.
Unique Rectangle
- lokale Vier-Zellen-Geometrie;
- zwei Zeilen, zwei Spalten und genau zwei Blöcke;
- meist zwei austauschbare UR-Ziffern.
BUG+1
- globale Struktur des gesamten Restgitters;
- fast jede ungelöste Zelle ist bivalue;
- Kandidatenhäufigkeiten in allen noch ungelösten Einheiten sind entscheidend.
BUG+1 kann als universelleres Deadly-Pattern-Argument verstanden werden.
BUG+1 vs Nackter Single
Nach der Erkennung von BUG+1 kann die +1-Zelle durch das Eintragen der Extra-Ziffer gelöst werden.
Der Beweis ist jedoch kein Nackter Single.
Ein Nackter Single besitzt vor der Schlussfolgerung nur einen legalen Kandidaten.
Eine BUG+1-Zelle kann unter den normalen Zeilen-/Spalten-/Blockregeln weiterhin drei legale Kandidaten anzeigen.
Erst die Eindeutigkeitsstruktur beweist, welcher Kandidat wahr sein muss.
BUG+1 vs XY-Chain
Ein BUG+1-Zustand enthält ein großes Netzwerk von Bivalue-Beziehungen.
Dieses Netzwerk erlaubt häufig auch andere Kettenbeweise, einschließlich XY-Chain-artiger Schlussfolgerungen.
Dasselbe erzwungene Ergebnis lässt sich deshalb manchmal ohne ausdrückliche Eindeutigkeitsannahme beweisen.
BUG+1 bleibt nützlich, weil die erkennbare Gesamtstruktur einen möglicherweise langen Kettenbeweis sehr kompakt zusammenfasst.
Ist ein reines BUG jemals ein gültiger Lösungszustand?
Nicht in einem Sudoku, das nachweislich genau eine Lösung besitzt.
Ein verifiziertes reines BUG bedeutet, dass das Restgitter mehrere gültige Vervollständigungen hat.
Triffst du beim Lösen eines vermeintlich eindeutigen Sudoku darauf, kommen unter anderem infrage:
- das Rätsel wurde nicht eindeutig konstruiert;
- eine frühere Eliminierung oder Eintragung war falsch;
- die Kandidatenlisten sind unvollständig oder veraltet.
Behandle ein reines BUG als diagnostische Warnung und nicht als normalen Endzustand.
So findest du BUG+1 effizient
BUG+1 ist kein Muster für den frühen Lösungsverlauf.
Es ist eine späte Erkennungsstruktur.
1. Warte, bis fast alle ungelösten Zellen bivalue sind
Wenn viele Zellen noch vier oder fünf Kandidaten besitzen, ist BUG+1 kein sinnvolles Suchziel.
2. Achte auf eine einzige Trivalue-Zelle
Wenn jede andere ungelöste Zelle bivalue ist, sollte sofort der BUG+1-Check folgen.
3. Zähle Kandidatenvorkommen
Beginne mit den drei Kandidaten der Trivalue-Zelle.
Prüfe ihre Häufigkeiten in ihrer Zeile, Spalte und ihrem Block.
4. Prüfe global
Höre nicht nach einer Einheit auf.
Bestätige die universelle BUG-Balance im gesamten verbleibenden Raster.
5. Bevorzuge einfachere Schlussfolgerungen, wenn sie vorhanden sind
Auch wenn BUG+1 existiert, kann ein Single oder eine einfachere Chain dieselbe Stellung lösen.
Verwende im jeweiligen Kontext den klarsten Beweis.
Häufige BUG+1-Fehler
Fehler 1: Nur einen Block prüfen
BUG bedeutet Universal Grave.
Die Struktur betrifft das gesamte ungelöste Raster.
Fehler 2: Eine Trivalue-Zelle für ausreichend halten
Sie ist für das Standard-BUG+1 notwendig, aber nicht ausreichend.
Auch die Genau-zweimal-Bedingung pro Einheit muss erfüllt sein.
Fehler 3: Irgendeinen Kandidaten wählen, der irgendwo dreimal vorkommt
Der zusätzliche Kandidat ist genau derjenige, dessen Entfernung die vollständige BUG-Struktur herstellen würde.
Fehler 4: BUG+1 ohne Eindeutigkeitsannahme verwenden
Der Beweis beruht darauf, einen Zustand mit mehreren Lösungen auszuschließen.
Fehler 5: BUG+1 mit einem gewöhnlichen Paritätstrick verwechseln
Kandidatenzahlen helfen bei der Erkennung, doch gültig wird der Zug durch den Eindeutigkeitswiderspruch eines reinen BUG.
Fehler 6: Kandidaten vor der Prüfung nicht aktualisieren
BUG+1 reagiert extrem empfindlich auf die Genauigkeit der Kandidaten.
Schon ein veralteter Kandidat kann ein falsches Muster erzeugen.
Wann sollte man BUG+1 verwenden?
BUG+1 ist besonders nützlich:
- spät in einem schwierigen Sudoku;
- wenn fast jede verbleibende Zelle bivalue ist;
- wenn genau eine Zelle drei Kandidaten besitzt;
- wenn du Eindeutigkeitslogik bewusst verwenden möchtest.
Es gehört nicht zur üblichen Suchreihenfolge für Anfänger oder Mittelstufe.
FAQ
Wofür steht BUG im Sudoku?
BUG steht für Bivalue Universal Grave: einen gefährlichen Restgitterzustand, in dem jede ungelöste Zelle bivalue ist und jeder ungelöste Kandidat pro Einheit genau zweimal vorkommt.
Was bedeutet das „+1“ in BUG+1?
Das Raster ist einen Kandidaten von der reinen BUG-Struktur entfernt. Eine Zelle enthält einen zusätzlichen Kandidaten, der den gefährlichen ausgeglichenen Zustand verhindert.
Hat die BUG+1-Zelle immer drei Kandidaten?
Das Standard-BUG+1 wird als eine Trivalue-Zelle unter ansonsten ausschließlich Bivalue-Zellen erkannt. Komplexere BUG+n-Erweiterungen existieren, liegen aber außerhalb dieser Guide.
Wie erkenne ich den zusätzlichen Kandidaten?
Es ist der Kandidat, dessen Entfernung die reine BUG-Balance wiederherstellen würde. In typischen Beispielen kommt er in Zeile, Spalte und Block der +1-Zelle dreimal statt zweimal vor.
Benötigt BUG+1 ein eindeutiges Sudoku?
Ja. BUG+1 ist eine Eindeutigkeitstechnik. Ist das Rätsel nicht nachweislich eindeutig, ist die Schlussfolgerung unsicher.
Kann eine BUG+1-Stellung auch anders gelöst werden?
Oft ja. Das dichte Bivalue-Netz kann XY-Chains oder andere Schlussfolgerungen erlauben. BUG+1 ist wertvoll, weil es die globale Eindeutigkeitsstruktur direkt erkennt.
Was als Nächstes lernen?
BUG+1 vervollständigt nach Unique Rectangle die erste VeyraPlay-Ebene der Eindeutigkeitstechniken. Spätere Erweiterungen können Unique Rectangle Typ 2–6, Hidden Rectangle und Avoidable Rectangle vertiefen.