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 Kite

    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.

    Techniken
  • 3D Medusa

    Färbungstechnik, die den Strong-Link-Graphen jeder Ziffer gleichzeitig zweifarbig einfärbt und ziffernübergreifende Eliminierungen findet, die einzelfarbige Ketten verfehlen.

    Techniken
  • ALS-XY-Wing

    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.

    Techniken
  • ALS-XZ-Regel

    Eine Wechselwirkung zwischen zwei Almost Locked Sets, die einen gemeinsamen Kandidaten teilen. Eliminiert einen zweiten gemeinsamen Kandidaten aus Zellen, die alle Vorkommen sehen.

    Techniken
  • Alternating Inference Chain (AIC)

    Die universelle Kettentechnik. Wechselt entlang einer Kandidatenfolge zwischen Strong und Weak Links und eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht.

    Techniken
  • Bivalue Universal Grave (BUG)

    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.

    Techniken
  • BUG+1

    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.

    Techniken
  • Empty Rectangle

    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.

    Techniken
  • Finned X-Wing

    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.

    Techniken
  • Forcing Chain

    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.

    Techniken
  • Jellyfish

    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.

    Techniken
  • Käfig-Aufteilung

    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.

    Techniken
  • Käfig-Eindeutigkeit

    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.

    Techniken
  • Käfig-Überlappung

    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.

    Techniken
  • Killer Fish

    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.

    Techniken
  • Multi-Coloring

    Eine Erweiterung von Simple Coloring auf zwei oder mehr disjunkte Ketten derselben Ziffer, die Eliminierungen findet, wenn die Ketten aus der Distanz miteinander interagieren.

    Techniken
  • Nishio

    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.

    Techniken
  • Pattern Overlay Method (POM)

    Eine erschöpfende Technik, die jedes legale Platzierungsmuster einer einzelnen Ziffer aufzählt und dann Kandidaten eliminiert, die in keinem Muster auftauchen.

    Techniken
  • Simple Coloring

    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.

    Techniken
  • Skyscraper

    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.

    Techniken
  • Sue de Coq

    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.

    Techniken
  • Summenkette

    Killer-Sudoku-Argument. Mehrere Käfige, deren Summen sich über geteilte Zellen oder Einheiten einschränken und arithmetische Deduktionen entlang der Kette propagieren.

    Techniken
  • Templates

    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.

    Techniken
  • Unique Rectangle

    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.

    Techniken
  • WXYZ-Wing

    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.

    Techniken
  • XY-Chain

    Eine Kette aus Bivalue-Zellen, verbunden über gemeinsame Kandidaten. Eliminiert eine Ziffer aus jeder Zelle, die beide Endpunkte sieht — die Arbeitspferd-Kettentechnik.

    Techniken
  • XY-Loop

    Eine XY-Chain, die sich schließt — die Endpunkte treffen sich. Jeder Schritt wird von beiden Seiten eingeschränkt, was zusätzliche Eliminierungen freilegt.

    Techniken