XYZ-Flügel
Ein XYZ-Wing ist eine drei-Zellen-, drei-Ziffern-ALS-XZ-Konstruktion. Er kombiniert eine zwei-Zellen-ALS A mit einer ein-Zellen-ALS B. Hier ist X der eingeschränkte gemeinsame Kandidat (RCC), Z die Eliminierungsziffer und Y die dritte verschiedene Ziffer. Z ist Kandidat in allen drei Zellen. Eine schwache Verbindung auf X verbindet die zwei Mengen und garantiert Z in mindestens einer von ihnen. Eine Außenzelle, die alle drei sieht, kann Z nicht enthalten.
Was ist ein XYZ-Flügel?
Ein almost locked set (ALS) ist eine Gruppe ungelöster Zellen in einer Einheit — einer Reihe, Spalte oder einem Block — mit einer verschiedenen Kandidatenziffer mehr als Zellen. Lesen Sie diesen XYZ-Wing als vier Teile:
- ALS A: die Zelle {X,Y,Z} und die Zelle {Y,Z}. Sie teilen eine Einheit und enthalten drei verschiedene Kandidatenziffern auf zwei Zellen.
- ALS B: die einzelne Zelle {X,Z}. Diese Zweiwert-Zelle ist die kleinstmögliche ALS: zwei Kandidatenziffern in einer Zelle.
- RCC X: Sie kommt in der {X,Y,Z}-Zelle von ALS A und der {X,Z}-Zelle von ALS B vor. Diese Zellen sehen sich und bilden eine schwache Verbindung (schwache Inferenz) zwischen den zwei X-Vorkommen. X kann in einer der Mengen oder in keiner platziert sein, aber nie in beiden.
- Eliminierungsziffer Z: Z ist Kandidat in allen drei Zellen. Ein Ziel außerhalb beider ALS muss alle drei sehen.
Beispiel mit Erklärung
In diesem Beispiel enthält ALS A die Zellen I2 {1,2,6} und I7 {1,2}; ALS B ist H2 {2,6}. Der RCC ist X = 6, und die Eliminierungsziffer ist Z = 2. Die 6-Kandidaten in I2 und H2 sehen einander und bilden die schwache Verbindung. Z ist ein Kandidat in allen drei Zellen.
Schritt 1
Betrachte diese 3 Zellen. Die Dreiwert-Zelle I2 (1, 6, 2) und I7 (1, 2) teilen eine Einheit und halten zusammen drei Kandidatenwerte — eine zweizellige fast gesperrte Menge, ALS A. Die Zweiwert-Zelle H2 (6, 2) ist die einzellige ALS B, und I2 sieht sie.
Schritt 2
Die Ziffer 6 ist der eingeschränkte gemeinsame Kandidat (RCC) zwischen ALS A und ALS B: jedes 6 in ALS A sieht jedes 6 in ALS B, daher kann 6 in höchstens einer der beiden Mengen wahr sein. - Ist 6 in ALS A, verliert ALS B seinen Freiheitsgrad und wird zu einer gesperrten Menge mit 2. - Ist 6 in ALS B, verliert ALS A seinen Freiheitsgrad und wird zu einer gesperrten Menge mit 2. - Ist 6 in keiner der Mengen, werden beide ALS zu gesperrten Mengen mit 2. So oder so ist 2 garantiert in ALS A oder ALS B enthalten.
Schritt 3
Daher kann 2 aus jeder Zelle entfernt werden, die alle drei Zellen I2, I7 und H2 sieht: 2 kommt in jeder davon vor, und welche auch immer 2 enthält, würde mit einem solchen Kandidaten in Konflikt stehen.
Hier enthält ALS A die {X,Y,Z}- und {Y,Z}-Zellen, und ALS B ist die {X,Z}-Zelle. RCC X liefert die schwache Verbindung zwischen ihnen. Z ist ein Kandidat in allen drei Zellen, und mindestens eine davon muss Z enthalten. Daher kann Z aus jeder Außenzelle entfernt werden, die alle drei sieht. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man es findet
Bilden Sie zuerst ALS A: finden Sie eine {X,Y,Z}-Zelle und eine {Y,Z}-Zelle in einer Einheit. Finden Sie dann ALS B, eine {X,Z}-Zelle, die die {X,Y,Z}-Zelle sieht. Diese Sichtbarkeit etabliert den RCC X und seine schwache Verbindung. Suchen Sie schließlich einen äußeren Z-Kandidaten, dessen Zelle alle drei Zellen sieht, weil jede von ihnen einen Z-Kandidaten hat.
Die Logik
ALS B ist eine einzelne {X,Z}-Zelle, muss also entweder X oder Z enthalten. Enthält sie Z, hat die Konstruktion bereits Z. Enthält sie X, schließt die schwache Verbindung X in ALS A aus. ALS A bleibt dann mit Y und Z für ihre zwei Zellen und muss beide Ziffern verwenden. In jedem Fall muss mindestens eine der drei Zellen Z enthalten.
Eine externe Zelle, die alle drei möglichen Z-Positionen sieht, kann Z nicht enthalten: Welche Position Z auch immer nutzt, würde mit ihr kollidieren. Entfernen Sie Z aus dieser externen Zelle, nicht aus den ALS-Zellen selbst.