Profi
Ketten, Fische, Almost-Locked-Sets, Eindeutigkeit und Käfig-Arithmetik im Killer-Sudoku. Das vollständige Werkzeug für die schwierigsten Rätsel — bis hin zu den umstrittenen Versuchsverfahren am Rand der reinen Deduktion.
27 einträge
- 2-String KiteTechniken
Ein Strong Link in einer Zeile trifft einen in einer Spalte; am Knoten teilen sich zwei Zellen einen Block. Eliminiert die Ziffer aus Zellen, die beide Schwänze sehen.
- 3D MedusaTechniken
Färbungstechnik, die den Strong-Link-Graphen jeder Ziffer gleichzeitig zweifarbig einfärbt und ziffernübergreifende Eliminierungen findet, die einzelfarbige Ketten verfehlen.
- ALS-XY-WingTechniken
Drei Almost Locked Sets in einer Y-Wing-artigen Form. Verallgemeinert ALS-XZ auf eine längere Kette und legt Eliminierungen frei, die eine Einzelpaar-Interaktion verfehlt.
- ALS-XZ-RegelTechniken
Eine Wechselwirkung zwischen zwei Almost Locked Sets, die einen gemeinsamen Kandidaten teilen. Eliminiert einen zweiten gemeinsamen Kandidaten aus Zellen, die alle Vorkommen sehen.
- Alternating Inference Chain (AIC)Techniken
Die universelle Kettentechnik. Wechselt entlang einer Kandidatenfolge zwischen Strong und Weak Links und eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht.
- Bivalue Universal Grave (BUG)Techniken
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.
- BUG+1Techniken
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.
- Empty RectangleTechniken
Ein Block, in dem die Kandidaten einer Ziffer in einer Zeile und einer Spalte liegen, die sich kreuzen. Mit einem Strong Link eliminiert er die Ziffer entlang der passenden Achse.
- Finned X-WingTechniken
Ein X-Wing, bei dem eine Ecke eine zusätzliche Kandidatenzelle — eine Finne — in ihrer Zeile oder Spalte hat. Eliminierungen treffen nur Zellen, die X-Wing und Finne sehen.
- Forcing ChainTechniken
Eine Probier-und-Konvergier-Technik. Wähl einen Kandidaten, probier beide Werte, verfolg jeden durchs Rätsel. Was in beiden Zweigen gleich endet, ist erzwungen und wird gesetzt.
- JellyfishTechniken
Vier-Zeilen-Verallgemeinerung des Swordfish. Eine Ziffer, die in vier Zeilen auf dieselben vier Spalten beschränkt ist, lässt sich anderswo in diesen Spalten eliminieren.
- Käfig-AufteilungTechniken
Einen großen Killer-Käfig in kleinere Teil-Deduktionen zerlegen, indem man die 45er-Regel auf die Einheiten anwendet, die der Käfig überquert.
- Käfig-EindeutigkeitTechniken
Ein Killer-Sudoku-Zug, der die Eindeutigkeit des Rätsels gegen die möglichen Ziffernkombinationen des Käfigs verwendet, um Konfigurationen mit zwei Lösungen auszuschließen.
- Käfig-ÜberlappungTechniken
Killer-Sudoku-Argumentation über Käfige, die Zellen mit Einheiten teilen. Die geteilten Zellen müssen Käfigsumme und 45er-Regel der Einheit gleichzeitig erfüllen.
- Killer FishTechniken
Fish-Muster für Killer Sudoku angepasst. Dasselbe X-Wing- oder Swordfish-Argument läuft auf Kandidatenzellen, wobei Käfigsummen die Eliminierungsmenge oft zusätzlich verschärfen.
- Multi-ColoringTechniken
Eine Erweiterung von Simple Coloring auf zwei oder mehr disjunkte Ketten derselben Ziffer, die Eliminierungen findet, wenn die Ketten aus der Distanz miteinander interagieren.
- NishioTechniken
Eine Probier-und-Widerspruchs-Technik. Wähl einen Kandidaten, nimm an, er sei die Antwort, propagier die Folgen für diese Ziffer allein — landet ein Widerspruch, eliminier.
- Pattern Overlay Method (POM)Techniken
Eine erschöpfende Technik, die jedes legale Platzierungsmuster einer einzelnen Ziffer aufzählt und dann Kandidaten eliminiert, die in keinem Muster auftauchen.
- Simple ColoringTechniken
Eine Technik, die den Strong-Link-Graphen einer einzelnen Ziffer zweifarbig einfärbt und dann Kandidaten eliminiert, die beide Farben sehen — der Einstieg in die Kettenlogik.
- SkyscraperTechniken
Zwei Strong Links auf derselben Ziffer, die an einem Ende eine Spalte teilen und am anderen nicht — eliminiert die Ziffer aus jeder Zelle, die beide Dach-Zellen sieht.
- Sue de CoqTechniken
Muster, das zwei Almost Locked Sets im Schnitt einer Zeile (oder Spalte) und eines Blocks kreuzt. Eine Nische, markant — und überraschend häufig, wenn man weiß, wonach man sucht.
- SummenketteTechniken
Killer-Sudoku-Argument. Mehrere Käfige, deren Summen sich über geteilte Zellen oder Einheiten einschränken und arithmetische Deduktionen entlang der Kette propagieren.
- TemplatesTechniken
Verwandte der Pattern Overlay Method. Zählt gültige Platzierungs-Templates auf und nutzt paarweise Inkompatibilität für Eliminierungen, die ein einzelnes Template verfehlt.
- Unique RectangleTechniken
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.
- WXYZ-WingTechniken
Wing-Muster aus vier Zellen. Drei Pincer-Zellen teilen sich mit einem Pivot einen vierten Kandidaten, der aus jeder Zelle eliminiert werden kann, die alle vier sieht.
- XY-ChainTechniken
Eine Kette aus Bivalue-Zellen, verbunden über gemeinsame Kandidaten. Eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht — die Arbeitspferd-Kettentechnik.
- XY-LoopTechniken
Eine XY-Chain, die sich schließt — die Endpunkte treffen sich. Jeder Schritt wird von beiden Seiten eingeschränkt, was zusätzliche Eliminierungen freilegt.