WXYZ-Flügel
Ein WXYZ-Wing ist eine ALS-XZ-Konstruktion mit genau vier verschiedenen Zellen und vier verschiedenen Kandidatenziffern über zwei almost locked sets. Bei nicht-überlappenden Mengen ist die Zellzahl-Aufteilung 3+1 oder 2+2. Die Mengen teilen einen eingeschränkten gemeinsamen Kandidaten X: Jedes X-Vorkommen in einer Menge sieht jedes X-Vorkommen in der anderen, sodass X nicht in beiden Mengen vorkommen kann. Jede andere geteilte Ziffer Z kann aus einer Außenzelle eliminiert werden, die jedes Z-Vorkommen in beiden Mengen sieht.
Was ist ein WXYZ-Flügel?
Ein almost locked set (ALS) besteht aus k ungelösten Zellen in einer einzigen Einheit — einer Reihe, Spalte oder einem Block — deren kombinierte Kandidaten genau k+1 verschiedene Ziffern enthalten. Ein WXYZ-Wing ist die vier-Zellen-, vier-Ziffern-Spezialisierung der ALS-XZ-Regel: Zusammen enthalten seine zwei ALSs genau vier verschiedene Zellen und vier verschiedene Kandidatenziffern. Für nicht-überlappende ALSs sind die möglichen Zellzahl-Aufteilungen 3+1 — eine drei-Zellen-ALS und eine Zweiwert-Zelle — oder 2+2 — zwei zwei-Zellen-ALSs. Dieser Walkthrough verwendet die 3+1-Form. Andere Zwei-ALS-Konstruktionen können die ALS-XZ-Regel noch erfüllen, aber sie sind keine WXYZ-Wings, es sei denn, sie enthalten genau vier verschiedene Zellen und vier verschiedene Kandidatenziffern.
Beispiel mit Erklärung
Ein Walkthrough eines WXYZ-Wing: zwei fast gesperrte Mengen (ALS), verbunden durch einen eingeschränkten gemeinsamen Kandidaten, der eine gemeinsame Ziffer in mindestens einer Menge beweist.
Schritt 1
Betrachte diese 4 Zellen.
Schritt 2
Die vier Zellen A8, E8, I8, A4 bilden ein WXYZ-Flügel. Die drei Zellen A8, E8, I8 bilden ALS A: drei Zellen mit 4 verschiedenen Kandidatenwerten. Die Zweiwert-Zelle A4 ist die einzellige ALS B. Jedes Vorkommen von 4 in ALS A sieht sein Vorkommen in ALS B, daher ist 4 ihr eingeschränkter gemeinsamer Kandidat (RCC) (E8, I8 enthalten nicht 4, daher werden sie unten nicht direkt berücksichtigt, aber sie zählen weiterhin als Teil der fast gesperrten Menge). - Ist 4 in ALS A, verliert ALS B seinen Freiheitsgrad und wird zu einer gesperrten Menge mit 8. - Ist 4 in ALS B, verliert ALS A seinen Freiheitsgrad und wird zu einer gesperrten Menge mit 8. - Ist 4 in keiner Menge, werden beide ALS zu gesperrten Mengen mit 8. So oder so ist 8 garantiert in ALS A oder ALS B enthalten.
Schritt 3
Daher muss mindestens ein Wing-Vorkommen von 8 wahr sein. Ein externer Kandidat 8 kann entfernt werden, wenn er jedes Wing-Vorkommen von 8 sieht; welches Vorkommen auch wahr ist, stünde sonst mit ihm in Konflikt.
Dieser Walkthrough veranschaulicht die 3+1-Form eines WXYZ-Wing: eine dreizelligen ALS und eine Zweiwert-ALS, die einen eingeschränkten gemeinsamen Kandidaten X und eine weitere Ziffer Z teilen. X kann nicht in beiden Mengen vorkommen, sodass Z in mindestens einer vorkommen muss — diese Einschränkung rechtfertigt das Entfernen von Z aus jedem Kandidaten, der jedes Z-Vorkommen in beiden Mengen sieht. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man ihn findet
Identifizieren Sie ALS A und ALS B, deren Zellen insgesamt genau vier sind und deren Vereinigung genau vier verschiedene Ziffern hält. Listen Sie die Kandidaten jeder Menge und finden Sie eine geteilte Ziffer X, für die alle X-Vorkommen in A alle X-Vorkommen in B sehen. Finden Sie dann eine andere geteilte Ziffer Z. Ein vorgeschlagenes Ziel ist nur gültig, wenn es jedes Z-Vorkommen in beiden Mengen sieht. Erfordern Sie nicht, dass jede Zelle in einem ALS jede Zelle im anderen sieht.
Die Logik
X kann nicht in beiden ALSs vorkommen, sodass mindestens ein ALS X nicht verwendet. Ohne X hat dieser ALS genau so viele verbleibende Kandidatenziffern wie Zellen und muss jede von ihnen verwenden, einschließlich Z. Daher kommt Z in mindestens einem der zwei ALSs vor. Jede Außenzelle, die jedes Z-Vorkommen in beiden Mengen sieht, kann Z nicht enthalten.