BUG Typ 4 ist eine fortgeschrittene "Einzigartigkeits"-Strategie, die das BUG (Bivalue Universal Grave) Muster mit Locked Candidates (Gelockte Kandidaten) Logik kombiniert. Wenn genau zwei BUG-Zellen einen gemeinsamen Wert teilen, der auf sie innerhalb einer gemeinsamen Region gelockt ist, wissen wir, dass eine von ihnen diesen Wert sein MUSS—was uns erlaubt, ihre anderen Kandidaten zu eliminieren.
Diese Strategie nutzt die fundamentale Sudoku-Regel: jedes gültige Puzzle hat genau eine eindeutige Lösung.
Interactive Example
Click "Apply Logic" to see the strategy in action.
Erklärung am echten Beispiel
Im Beispielpuzzle oben identifiziert der Löser ein BUG Typ 4 Muster:
Der Gitter-Zustand: - Fast jede ungelöste Zelle hat genau 2 Kandidaten (zweiwertig) - Zwei Zellen brechen das Muster, indem sie 3+ Kandidaten haben: - R8C5 (Index 67): hat Kandidaten inklusive 8 - R8C6 (Index 68): hat Kandidaten inklusive 8
Die Schlüssel-Analyse:
- Identifiziere BUG-Zellen: R8C5 und R8C6 haben beide 3 Kandidaten.
- Finde geteilte Region: Beide Zellen sind in Zeile 8.
- Prüfe auf gelockten Wert: Wo sonst kann 8 in Zeile 8 auftauchen?
- Scanne Zeile 8: Wert 8 taucht NUR in R8C5 und R8C6 auf!
- Wende die Logik an: Eine dieser Zellen MUSS 8 sein (Standard Sudoku) + eine MUSS BUG brechen (Einzigartigkeit).
- Schlussfolgerung: Eine BUG-Zelle wird 8 sein, die andere wird ihr Extra-Wert sein.
- Eliminiere: Keine Zelle kann ihre nicht-gelockten, nicht-Extra-Werte sein.
Ergebnis: Eliminiere andere Kandidaten aus R8C5 und R8C6, lasse nur den gelockten Wert (8) und ihre Extras übrig.
Die Logik verstehen
Was macht Typ 4 besonders?
Typ 4 nutzt zwei Einschränkungen gleichzeitig:
| Einschränkung | Quelle | Was sie uns sagt |
|---|---|---|
| Locked Candidates | Standard Sudoku | Eine von {R8C5, R8C6} muss 8 sein |
| BUG Brechen | Einzigartigkeits-Regel | Eine von {R8C5, R8C6} muss ihr Extra sein |
Da eine Zelle 8 nimmt und eine ihr Extra nimmt, kann keine Zelle irgendetwas anderes sein!
Der Doppelte Lock
``` BUG Zelle 1 (R8C5): {5, 7, 8} BUG Zelle 2 (R8C6): {5, 7, 8}
Einschränkungen: - Eine MUSS 8 sein (gelockt in Zeile 8) - Eine MUSS ihr "Extra" sein (um BUG zu brechen)
Wenn Extras 5 und 7 sind: - Zelle 1 = 8 → Zelle 2 = 7 (ihr Extra) ✓ - Zelle 2 = 8 → Zelle 1 = 5 (ihr Extra) ✓
So oder so, keine kann {5 wenn sie 8 sind} oder {7 wenn sie 8 sind} sein... Eigentlich können wir alles eliminieren, was NICHT (8 ODER das Extra) ist! ```
Schritt-für-Schritt: Wie man Typ 4 anwendet
- Prüfe auf Fast-BUG-Zustand: Sind fast alle ungelösten Zellen zweiwertig?
- Finde genau 2 BUG-Zellen: Welche Zellen haben 3+ Kandidaten?
- Finde gemeinsame Region: Sind beide BUG-Zellen in der gleichen Zeile, Spalte oder Box?
- Identifiziere gelockten Wert: Gibt es einen Wert, der NUR in diesen 2 Zellen innerhalb dieser Region erscheint?
- Verifiziere Nicht-Extra: Der gelockte Wert darf KEIN Extra sein (er ist ein gemeinsamer Wert).
- Eliminiere: Entferne alles außer dem gelockten Wert und den Extras aus beiden Zellen.
Visuelles Muster
``` Zeile 8: C1 C2 C3 C4 C5 C6 C7 C8 C9 ┌─────┬─────┬─────┬─────┬───────┬───────┬─────┬─────┬─────┐ │ 2 │ 4 │ 3 │ 6 │{5,7,8}│{5,7,8}│ 5 │ 9 │ 1 │ │vorg. │vorg. │vorg. │vorg. │ BUG │ BUG │vorg. │vorg. │vorg. │ └─────┴─────┴─────┴─────┴───────┴───────┴─────┴─────┴─────┘ ↑ ↑ └───────┘ Wo kann 8 in Zeile 8 hin? NUR in diese 2 Zellen!
Einschränkung 1: Eine von ihnen MUSS 8 sein (gelockt) Einschränkung 2: Eine von ihnen MUSS ihr Extra sein (BUG brechen)
∴ Eine ist 8, eine ist ihr Extra ∴ Keine kann etwas anderes sein ∴ Eliminiere Nicht-8, Nicht-Extra-Kandidaten ```
Vergleich mit anderen BUG-Typen
| Typ | BUG-Zellen | Schlüssel-Mechanismus | Was wird eliminiert |
|---|---|---|---|
| Typ 1 | 1 | Einzelne Zelle muss Extra sein | Nicht-Extras aus dieser Zelle |
| Typ 2 | 2+ | Gleiches Extra | Geteiltes Extra aus gemeinsamen Peers |
| Typ 3 | 2+ | Verschiedene Extras + Naked Subset | Subset-Werte aus Region |
| Typ 4 | 2 | Gelockter gemeinsamer Wert | Nicht-gelockte, Nicht-Extra-Werte |
Typ 4 vs Unique Loop Typ 4
BUG Typ 4 und Unique Loop Typ 4 teilen die gleiche Kernlogik:
| Strategie | Muster-Umfang | Was ist gelockt |
|---|---|---|
| Unique Loop Typ 4 | Spezifische Schleife (4-10 Zellen) | Ein Schleifen-Wert in Rettungs-Zellen |
| BUG Typ 4 | Gesamtes Gitter | Ein gemeinsamer Wert in BUG-Zellen |
Beide nutzen gelockte Kandidaten um zu bestimmen, dass eine Zelle einen spezifischen Wert annehmen muss!
Wenn Typ 4 zutrifft
Typ 4 erfordert alle Bedingungen: - ✅ Genau 2 BUG-Zellen (Zellen mit 3+ Kandidaten) - ✅ Beide Zellen teilen eine Region (Zeile, Spalte oder Box) - ✅ Ein gemeinsamer Wert (kein Extra) taucht in beiden Zellen auf - ✅ Dieser Wert ist auf diese Zellen in der gemeinsamen Region gelockt - ✅ Es gibt andere Kandidaten zu eliminieren (außer gelockt + Extras)
Wenn Typ 4 nicht zutrifft
- Nur 1 BUG-Zelle: Nutze BUG Typ 1
- Mehr als 2 BUG-Zellen: Versuche Typ 2 oder Typ 3
- Keine gemeinsame Region: BUG-Zellen in verschiedenen Zeilen/Spalten/Boxen
- Kein gelockter Wert: Der gemeinsame Wert taucht anderswo in der Region auf
- Nichts zu eliminieren: Zellen haben sowieso nur gelockten Wert + Extras
Die Schlüsselerkenntnis
Die Macht von Typ 4 kommt aus der Kombination zweier unabhängiger logischer Ketten:
- Sudoku Logik: Wert 8 ist gelockt → eine Zelle muss 8 sein
- Einzigartigkeits-Logik: Muster würde sich wiederholen → eine Zelle muss ihr Extra sein
Da dies verschiedene Zellen sind (eine behandelt jede Einschränkung), sind beide BUG-Zellen komplett bestimmt: - Eine wird der gelockte Wert - Eine wird ihr Extra - Nichts anderes ist möglich
Häufige Missverständnisse
"Der gelockte Wert ist ein Extra"
Nein! In Typ 4 ist der gelockte Wert ein gemeinsamer Wert, der von beiden BUG-Zellen geteilt wird—es ist KEIN Extra. Die Extras sind die Werte, die den zweiwertigen Zustand brechen.
"Ich eliminiere den gelockten Wert"
Nein! Wir BEHALTEN den gelockten Wert (eine Zelle braucht ihn). Wir eliminieren andere Nicht-Extra-Kandidaten.
"Beide Zellen werden der gelockte Wert"
Unmöglich! Sie sind in der gleichen Region. Nur eine kann der gelockte Wert sein. Die andere wird ihr Extra.
Verbindung zu Locked Candidates
Typ 4 ist im Wesentlichen eine Kombination:
| Konzept | Rolle in Typ 4 |
|---|---|
| BUG Muster | Beweist, dass eine Zelle ihr Extra sein muss |
| Locked Candidates | Beweist, dass eine Zelle der gelockte Wert sein muss |
| Kombiniert | Wert jeder Zelle ist bestimmt (entweder gelockt oder Extra) |
Wenn du Intersection (Pointing) oder einfache Locked Candidate Logik verstehst, wird sich Typ 4 vertraut anfühlen!
Tipps für Anfänger
- Suche nach genau 2 BUG-Zellen: Typ 4 erfordert präzise 2, nicht mehr, nicht weniger.
- Prüfe gemeinsame Region: Beide müssen in der gleichen Zeile, Spalte oder Box sein.
- Scanne nach gelockten Werten: Gibt es einen Wert, der NUR in diese 2 Zellen gehen kann?
- Unterscheide gelockt von Extras: Der gelockte Wert taucht normal zweimal auf; Extras brechen den zweiwertigen Zustand.
- Eliminiere selbstbewusst: Alles außer gelockt + Extras ist garantiert unmöglich.
Warum diese Strategie funktioniert
Das Einzigartigkeits-Prinzip garantiert eine und nur eine Lösung.
- Gitter ist fast im BUG-Zustand (alle zweiwertig außer 2 BUG-Zellen)
- BUG-Zustand → mehrere Lösungen → unmöglich
- Eine BUG-Zelle muss ihr Extra werden (bricht BUG)
- Der gelockte Wert muss in eine der BUG-Zellen gehen (Standard Sudoku)
- Deshalb: eine Zelle = gelockter Wert, andere Zelle = Extra
- Keine Zelle kann irgendetwas anderes sein
Es ist die elegante Schnittmenge von Einzigartigkeits-Logik und Standard Locked Candidate Logik.
Verwandte Strategien
BUG Familie
- BUG Typ 1 (BUG+1) — Einzelne BUG-Zelle
- BUG Typ 2 — Gleiches Extra in mehreren BUG-Zellen
- BUG Typ 3 — Verschiedene Extras bilden Naked Subset
Unique Loop Familie
- Unique Loop Typ 1 — Schleife mit einzelner Rettungs-Zelle
- Unique Loop Typ 2 — Gleiches Extra in Rettungs-Zellen
- Unique Loop Typ 3 — Extras bilden Naked Subset
- Unique Loop Typ 4 — Schleifen-Version dieser Strategie
Verwandte Intersection Strategien
- Intersection (Pointing) — Gelockte Kandidaten in Box/Linie
- Intersection (Box/Line) — Beanspruchen gelockter Kandidaten
Unique Rectangle Familie
- Unique Rectangle (Typ 4) — 4-Zellen-Version mit gelocktem Wert