VWXYZ-Ring
Ein VWXYZ-Ring ist eine doppelt verlinkte ALS-XZ-Konstruktion mit genau fünf verschiedenen Zellen und fünf verschiedenen Kandidatenziffern über zwei almost locked sets. Bei nicht-überlappenden Mengen ist die Zellzahl-Aufteilung 4+1 oder 3+2. Die Mengen teilen zwei verschiedene eingeschränkte gemeinsame Kandidaten, X und Y. Diese Beschränkungen lassen beide ALSs zu gesperrten Mengen auflösen. Hier bezieht sich "Ring" auf das doppelt verlinkte ALS-Paar, nicht auf einen AIC-Ring.
Was ist ein VWXYZ-Ring?
Jedes ALS besteht aus k ungelösten Zellen in einer Einheit mit genau k+1 verschiedenen Kandidatenziffern. Zusammen enthalten die zwei ALSs genau fünf verschiedene Zellen und fünf verschiedene Kandidatenziffern. Für nicht-überlappende Mengen sind die möglichen Zellzahl-Aufteilungen 4+1 oder 3+2. Sie teilen zwei verschiedene eingeschränkte gemeinsame Kandidaten: Für jede dieser Ziffern muss jedes Vorkommen in einem ALS jedes Vorkommen im anderen sehen. Ein eingeschränkter gemeinsamer Kandidat kann nur einmal in einem ALS vorkommen; mehrere Vorkommen sind nicht erforderlich.
Beispiel mit Erklärung
Ein Walkthrough eines VWXYZ-Ring: zwei fast gesperrte Mengen (ALS), verbunden durch zwei eingeschränkte gemeinsame Kandidaten, die beide Mengen sperren.
Schritt 1
Betrachte diese 5 Zellen.
Schritt 2
Die 5 Zellen D2, G2, H2, I2, G1 bilden ein doppelt verknüpftes VWXYZ-Flügel (ALS-XZ mit 2 RCCs). Die 4 Zellen D2, G2, H2, I2 bilden ALS A (mit den Kandidaten 2, 6, 7, 8 und 9), und die Zweiwert-Zelle G1 ist ALS B. Die Ziffern 6 und 9 sind zwei eingeschränkte gemeinsame Kandidaten (RCCs): jedes Vorkommen in ALS A sieht sein Vorkommen in ALS B. Jede ALS hat 1 Freiheitsgrad und kann höchstens einen RCC tragen, daher verteilen sich die zwei RCCs auf die Mengen — einer pro ALS. Folge 6: - Ist 6 in ALS A, kann ALS B (G1) es nicht enthalten und wird zu einer gesperrten Menge mit 9. - Ist 6 in ALS B (G1 ist 6), kann ALS A es nicht enthalten und wird zu einer gesperrten Menge mit 2, 7, 8 und 9 — 9 darunter. Es gibt keinen dritten Fall: 6 muss in einer der beiden Mengen sein, daher lösen sich beide ALS gleichzeitig zu gesperrten Mengen auf, und die 5 Ring-Zellen enthalten jeden Wert 2, 6, 7, 8 und 9 genau einmal.
Schritt 3
Nach der ALS-XZ-Double-Link-Regel ({2 RCC}): - Jeder RCC (6 und 9) kann aus jeder Zelle eliminiert werden, die alle seine Vorkommen in ALS A und ALS B sieht. - Jede Nicht-RCC-Ziffer, die auf eine ALS beschränkt ist, kann aus Zellen eliminiert werden, die alle ihre Vorkommen innerhalb dieser ALS sehen. Daher entferne alle markierten Kandidaten.
Dieser Walkthrough veranschaulicht die 4+1-Form eines VWXYZ-Ring: eine vierzelligen ALS und eine Zweiwert-ALS, die zwei eingeschränkte gemeinsame Kandidaten teilen. Die beiden Verbindungen sperren beide Mengen, sodass jede Ziffer der Konstruktion genau einmal verwendet wird — diese Sättigung rechtfertigt das Entfernen jeder markierten Ziffer aus einem Kandidaten, der alle ihre Vorkommen in den Ringzellen sieht. Sie können kostenlose Sudoku-Rätsel ausprobieren, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man ihn findet
Listen Sie ALS A und ALS B — fünf Zellen und fünf verschiedene Ziffern insgesamt — und verifizieren Sie zwei separate eingeschränkte Gemeinsame. Für eine RCC-Eliminierung prüfen Sie Sichtbarkeit zu allen relevanten Vorkommen über beide Mengen. Für eine andere in einem ALS gesperrte Ziffer prüfen Sie Sichtbarkeit zu jedem Vorkommen dieser Ziffer in diesem speziellen ALS. Ersetzen Sie diese Vorkommen-Tests nicht durch eine Regel über das Sehen jeder Zelle im Ring.
Die Logik
Welchen eingeschränkten Gemeinsamen ein ALS auch verwendet, die andere Zuteilung ist erzwungen, sodass beide ALSs gesperrt werden. Eingeschränkte-gemeinsame-Kandidaten können aus Zellen entfernt werden, die alle ihre relevanten Vorkommen über die Mengen sehen. Eine Nicht-RCC-Ziffer kann aus einer Zelle entfernt werden, die alle ihre Vorkommen in dem einzelnen ALS sieht, der sie enthalten muss.