Fortgeschrittene gemischte Praxis

Ergebnis

In dieser Lektion geht es darum, wie du suchst, nicht darum, eine lange Liste von Techniknamen auswendig zu können.

Am Ende solltest du einen beschriebenen Kandidatenzustand lesen, eine sinnvolle Suchperspektive wählen, den Beweis hinter einer fortgeschrittenen Deduktion erkennen und nach der Elimination wieder zu einfacherer Logik zurückkehren können.

Hör auf, Techniknamen zu jagen

Fortgeschrittenes Lösen wird wesentlich einfacher, wenn du diese Frage:

Welche schwierige Technik habe ich noch nicht ausprobiert?

ersetzt durch:

Welche Struktur zeigt mir das Kandidatengitter?

Unterschiedliche Strukturen weisen auf unterschiedliche Technikfamilien hin. Ein dünnes Muster für eine einzelne Ziffer verlangt eine andere Suche als eine Gruppe bivalue Zellen.

Nutze die folgenden Suchperspektiven als Karte. Du musst nicht jede Technik an jeder Position ausprobieren.

Suchperspektive 1 — Folge einer Ziffer

Konzentriere dich auf eine einzige Kandidatenziffer.

Suche Zeilen oder Spalten, in denen diese Ziffer nur wenige mögliche Positionen besitzt. Prüfe dann, ob sich diese Positionen über das Gitter verbinden.

Nützliche Techniken aus dieser Perspektive:

• X-Wing — zwei Basiseinheiten teilen dieselben zwei Cover-Positionen;
• Swordfish — drei Basiseinheiten sind auf drei Cover-Einheiten beschränkt;
• Skyscraper — zwei Strong Links für eine Ziffer überlappen auf nützliche Weise;
• Two-String Kite — ein Zeilen-Strong-Link und ein Spalten-Strong-Link verbinden sich über einen Block.

Der gemeinsame Grundsatz ist einfach: Reduziere das visuelle Rauschen zuerst auf eine Ziffer.

Suchperspektive 2 — Untersuche bivalue Zellen

Eine bivalue Zelle hat genau zwei Kandidaten.

Mehrere bivalue Zellen können nützliche Beziehungen bilden, weil die Wahl eines Kandidaten den anderen Kandidaten in der Zelle sofort bestimmt.

Suche nach:

• XY-Wing — ein bivalue Pivot verbindet zwei Pincers mit einem gemeinsamen Zielkandidaten;
• W-Wing — zwei gleiche bivalue Zellen werden über einen Strong Link für einen Kandidaten verbunden;
• Chain-Beziehungen, bei denen sich Implikationen von einer bivalue Zelle zur nächsten fortsetzen.

Taucht ein verwandter Pivot mit drei Kandidaten auf, kann auch XYZ-Wing relevant werden.

Verfolge nicht jede bivalue Zelle im Gitter. Beginne mit Zellen, die auf sichtbar nützliche Weise Einheiten oder Kandidaten teilen.

Suchperspektive 3 — Folge Strong Links

Ein Strong Link sagt dir, dass innerhalb einer Einheit mindestens eine von zwei Kandidatenpositionen wahr sein muss.

Besitzt eine Ziffer mehrere konjugierte Paare, können daraus erkennbare Muster oder längere Implikationsketten entstehen.

Nützliche Ziele:

• Skyscraper;
• Two-String Kite;
• W-Wing-Verbindungen;
• einführende Chain-Logik.

Das Ziel ist nicht das größtmögliche Netzwerk. Suche nach einer kleinen Verbindung, die eine direkte Elimination liefert.

Suchperspektive 4 — Prüfe Eindeutigkeit nur, wenn sie erlaubt ist

Eindeutigkeitslogik unterscheidet sich von normaler Kandidatenlogik, weil sie eine verifiziert eindeutige Lösung voraussetzt.

Wenn diese Voraussetzung vorliegt, können wiederholte bivalue Kandidaten über zwei Zeilen, zwei Spalten und zwei Blöcke auf ein Unique Rectangle hinweisen.

Ist die Eindeutigkeit nicht verifiziert, überspringe diese Perspektive. Behandle Unique-Rectangle-Logik nicht als grundlegende Sudoku-Regel.

Runde 1 — Wähle die Familie

Nenne in der ersten gemischten Runde nicht sofort eine genaue Technik.

Frage bei jedem Zustand:

Welche Suchfamilie passt am besten zur sichtbaren Struktur?

Mögliche Antworten:

• Ein-Ziffer-Fish;
• bivalue/Wing-Struktur;
• Ein-Ziffer-Strong-Link-Muster;
• Chain-artige Implikation;
• Eindeutigkeit;
• oder zuerst eine einfachere Deduktion verwenden.

Das ist wichtig, weil fortgeschrittenes Lösen vor allem ein Navigationsproblem ist. Begrenze den Suchraum, bevor du ein bestimmtes Muster beweist.

Runde 2 — Erkenne den Beweis

Jetzt ist der Technikname weniger wichtig als der Beweis.

Deine Aufgabe bei jedem fortgeschrittenen Zustand lautet:

Wähle die Bedingung, die die beschriebene Elimination tatsächlich rechtfertigt.

Ein korrekter Beweis sollte erklären:

1. die Quellkandidaten oder Links;
2. die Bedingung, die gelten muss;
3. die Zielzelle, die die erforderlichen Endpunkte oder die Cover-Struktur sieht;
4. den Kandidaten, der deshalb entfernt werden kann.

Vergleiche danach deine Begründung mit dem benannten Muster. Der Name soll die bereits bewiesene Struktur zusammenfassen und den Beweis nicht ersetzen.

Runde 3 — Lehne falsche Muster ab

Fortgeschrittene Techniken werden leicht zu oft erkannt, weil viele ungültige Zustände fast richtig aussehen.

Übe das Ablehnen von Mustern genauso bewusst wie das Finden.

Typische Beinahe-Fälle:

• ein X-Wing mit einem zusätzlichen Quellkandidaten in einer Basiszeile;
• ein XY-Wing, dessen Pincers nicht denselben Zielkandidaten teilen;
• ein W-Wing, dessen Brücke nicht wirklich Strong ist;
• eine Skyscraper-Quelleinheit mit einem zusätzlichen Kandidaten, der das konjugierte Paar zerstört;
• ein Rechteck, das die für ein Unique Rectangle nötige Einheitengeometrie nicht erfüllt.

Wenn ein Muster scheitert, bleibe nicht bei „ungültig“. Bestimme welche Bedingung gescheitert ist. Genau das macht Mustererkennung zuverlässig.

Runde 4 — Bevorzuge den einfachsten nützlichen Zug

Ein gültiges fortgeschrittenes Muster ist nicht automatisch der Zug, den du zuerst spielen solltest.

Enthält das Gitter sowohl einen X-Wing als auch einen Hidden Single, ist der Hidden Single normalerweise zuerst dran.

Ist ein Swordfish vorhanden, aber einfache Locked Candidates öffnen denselben Bereich sofort, nutze den einfacheren Zug.

Fortgeschrittene Beherrschung bedeutet auch zu wissen, wann fortgeschrittene Logik nicht nötig ist.

Eine gute Reihenfolge:

1. offensichtliche Platzierungen und einfache Eliminationen durchführen;
2. Kandidaten aktualisieren;
3. erneut scannen;
4. erst zu komplexeren Mustern wechseln, wenn sie noch gebraucht werden.

Runde 5 — Folge den Konsequenzen

Die fortgeschrittene Technik ist oft nur der erste Zug einer kurzen Kaskade.

Zum Beispiel:

X-Wing
↓
Kandidatenelimination
↓
Hidden Single
↓
Locked Candidates
↓
Naked Single

Oder:

W-Wing
↓
Kandidatenelimination
↓
Naked Pair
↓
zwei Singles

Gewöhne dir an, nach jeder bedeutenden Elimination erneut zu scannen. Suche nicht weiter nach fortgeschrittenen Mustern, während einfachere Folgen bereits im Gitter warten.

Ein Hinweissystem für fortgeschrittene Positionen

Wenn du feststeckst, bitte um den kleinsten Hinweis, der verändert, wo du suchst.

Hinweis 1 — Suchmodus

Wähle eine Perspektive:

Folge einer Ziffer.

oder:

Untersuche bivalue Zellen.

Hinweis 2 — Bereich

Begrenze die Suche auf eine nützliche Zeile, Spalte, einen Block, eine Ziffer oder eine kleine Kandidatengruppe.

Hinweis 3 — Familie

Bestimme erst jetzt die grobe Familie: Fish, Wing, Strong-Link-Muster, Chain oder Eindeutigkeit.

Hinweis 4 — Struktur

Suche die definierende Beziehung, etwa zwei Basiszeilen mit denselben zwei Cover-Spalten.

Hinweis 5 — Technikname

Verwende den genauen Namen erst, wenn du ihn noch brauchst.

Der Technikname sollte einer der letzten Hinweise sein, nicht der erste.

Abschließender geführter Checkpoint

Dieser Checkpoint kombiniert mehrere fortgeschrittene Denkgewohnheiten in kontrollierten, beschriebenen Kandidatenzuständen. Arbeite sie nacheinander durch und übertrage dieselbe Routine anschließend auf vollständige Puzzles.

Nach jeder Deduktion:

1. Kandidatenzustand aktualisieren;
2. nach Singles und einfachen Überschneidungen suchen;
3. den einfachsten produktiven Zug wählen;
4. nur bei Bedarf wieder zu einer fortgeschrittenen Suchperspektive wechseln.

Dein Ziel ist, natürlich zwischen einfacher und fortgeschrittener Logik zu wechseln, statt eine feste Technikreihenfolge zu erzwingen.

Abschluss

Du bist bereit, den aktuellen fortgeschrittenen Lernpfad abzuschließen, wenn du:

• eine passende Suchfamilie ohne vorgegebenen Techniknamen auswählen kannst;
• fortgeschrittene Eliminationen aus sichtbaren Kandidatenbeziehungen beweisen kannst;
• Beinahe-Muster ablehnen und die fehlgeschlagene Bedingung nennen kannst;
• einen einfacheren produktiven Zug bevorzugst, wenn es ihn gibt;
• den Folgen einer fortgeschrittenen Elimination nachgehst, statt beim benannten Muster aufzuhören.

Du musst nicht jede Experten-Technik im Sudoku kennen, um ein starkes Lösesystem zu besitzen. Dieselben Gewohnheiten — Kandidaten, Einheiten, Links, Implikationen und Beweise — führen auch in noch fortgeschrittenere Methoden.

Als Nächstes

Nutze Fortgeschrittene Sudoku-Strategien, wenn du eine Suchkarte für schwierige Puzzles möchtest, oder öffne eine einzelne Technique Guide für einen vollständigen Beweis.

Referenz

Die Advanced Guides behandeln X-Wing, Swordfish, Wings, Skyscraper, Two-String Kite, W-Wing, Strong/Weak Links, Chains und Eindeutigkeitskonzepte ausführlicher.