Ergebnis
Am Ende dieser Lektion kannst du zwei kurze Muster für eine einzelne Ziffer erkennen, ihre Strong Links und den verbindenden Weak Link bestimmen und Kandidaten eliminieren, die beide freien Endpunkte sehen.
Lerne zuerst den gemeinsamen Mechanismus
Skyscraper und Two-String Kite sehen im Gitter unterschiedlich aus, beruhen aber fast auf derselben Logik.
Für diese Lektion genügt eine Arbeitsdefinition: Ein Strong Link liegt vor, wenn für eine Ziffer in einer Einheit genau zwei Kandidaten übrig sind und mindestens einer davon wahr sein muss; ein Weak Link verbindet zwei Kandidaten derselben Ziffer in Partnerzellen, die nicht gleichzeitig wahr sein können. Die nächste Lektion formalisiert diese Begriffe ausführlicher.
Beginne mit zwei Strong Links für dieselbe Ziffer.
Verbinde jeweils einen Endpunkt der beiden Links durch einen Weak Link.
Diese verbundenen Endpunkte können nicht beide wahr sein. Welcher von ihnen falsch ist, zwingt den gegenüberliegenden Endpunkt seines Strong Links, wahr zu sein.
Daher gilt:
Mindestens einer der freien Endpunkte muss wahr sein.
Jeder Kandidat, der beide freien Endpunkte sieht, kann eliminiert werden.
Teil 1 — Skyscraper
Ein typischer Skyscraper verwendet zwei Strong Links in Zeilen.
Ein Endpunkt jedes Paares liegt in derselben Spalte. Diese ausgerichteten Endpunkte bilden den verbindenden Weak Link.
Die beiden anderen Endpunkte sind die Dächer.
Ein Zielkandidat, der beide Dächer sieht, kann die Ziffer nicht enthalten.
Verwechsle ein vollständiges Rechteck nicht mit einem Skyscraper
Wenn sich auch die beiden anderen Endpunktspalten decken, prüfe, ob die einfachere Struktur tatsächlich ein X-Wing ist.
Verwende immer den einfachsten korrekten Beweis.
Teil 2 — Two-String Kite
Ein Two-String Kite kombiniert normalerweise:
- einen Strong Link in einer Zeile;
- einen Strong Link in einer Spalte.
Je ein Endpunkt beider Paare liegt im selben Block. Der gemeinsame Block erzeugt den verbindenden Weak Link.
Die gegenüberliegenden Endpunkte werden zu den freien Enden.
Eliminiere auch hier nur einen Kandidaten, der beide freien Endpunkte sieht.
Schritt 3 — Klassifiziere die Geometrie vor dem Lösen
Unterscheide zwischen:
- Skyscraper;
- Two-String Kite;
- X-Wing;
- einem ungültigen Muster ohne Strong Link;
- einer gültigen Struktur ohne nützliche Elimination.
Der Mustername ist weniger wichtig als der Beweis der Endpunkt-Implikation.
Checkpoint
Bestimme die beiden Strong Links, finde den verbindenden Weak Link, erkenne die freien Endpunkte und entscheide, ob eine Elimination in einer gemeinsamen Partnerzelle möglich ist.
Merke dir
Für beide Muster gilt:
zwei Strong Links + ein verbindender Weak Link → mindestens ein freier Endpunkt ist wahr.
Die Geometrie gibt dem Muster seinen Namen. Die Implikation liefert den Beweis für die Elimination.
Als Nächstes
Strong Links und Weak Links — mache die Link-Sprache ausdrücklich und nutze sie unabhängig von einer festen benannten Form.
Referenz
Lies Skyscraper und Two-String Kite für vollständige Beweise, Diagramme und Suchroutinen.