Auf dieser Seite
Ein Skyscraper ist ein Ein-Ziffer-Eliminationsmuster aus zwei Strong Links in zwei parallelen Einheiten.
Für einen zeilenbasierten Skyscraper gilt:
- Zeile A enthält genau zwei Kandidaten X;
- Zeile B enthält genau zwei Kandidaten X;
- ein Kandidat aus jeder Zeile liegt in derselben Spalte;
- die beiden übrigen Kandidaten sind die Roofs.
Mindestens einer der beiden Roofs muss X enthalten.
Darum kann Kandidat X aus jeder Zelle entfernt werden, die beide Roofs sieht.
Die spaltenbasierte Variante funktioniert identisch, wenn Zeilen und Spalten vertauscht werden.
Skyscraper auf einen Blick
Zeile A: Basis A -------- Roof A
|
Zeile B: Basis B ---- Roof BDie beiden Basis-Kandidaten liegen auf derselben Cover-Line. Die Roofs müssen nicht ausgerichtet sein.
- Basiszeilen
- Ausgerichtete Endpunkte
- Dächer
- Eliminierungen
Das Muster verwendet nur eine Ziffer und lässt sich deshalb besonders gut mit Kandidatenfilter oder ziffernorientiertem Scan finden.
Warum Skyscraper funktioniert
Angenommen, Kandidat 6 kommt in Zeile 2 genau zweimal vor:
- Basis A;
- Roof A.
Und in Zeile 7 ebenfalls genau zweimal:
- Basis B;
- Roof B.
Die beiden Basen liegen in derselben Spalte.
Da jede Zeile genau zwei Kandidaten 6 besitzt, bildet jedes Paar einen Strong Link.
Betrachte nun Basis A.
Wenn Basis A falsch ist
Der Strong Link in Zeile 2 erzwingt Roof A = 6.
Wenn Basis A wahr ist
Basis B sieht Basis A in derselben Spalte und kann daher nicht ebenfalls 6 sein.
Der Strong Link in Zeile 7 erzwingt dann Roof B = 6.
Beide Zweige decken alle Möglichkeiten ab.
Damit gilt:
Roof A ist 6 oder Roof B ist 6.
Jeder Kandidat 6, der beide Roofs sieht, ist unmöglich.
Brettbeispiel Schritt für Schritt
Eine zuverlässige Prüfreihenfolge ist:
- eine Kandidatenziffer filtern;
- zwei Zeilen mit genau zwei Positionen für diese Ziffer finden;
- bestätigen, dass je ein Endpunkt beider Zeilen dieselbe Spalte teilt;
- diese ausgerichteten Kandidaten als Basisseite markieren;
- die nicht ausgerichteten Endpunkte als Roofs markieren;
- beweisen, dass mindestens ein Roof wahr sein muss;
- die Ziffer nur aus gemeinsamen Partnerzellen beider Roofs entfernen.
Für einen spaltenbasierten Skyscraper wird dieselbe Logik transponiert.
Warum die Ausgangszeilen oder -spalten konjugierte Paare sein müssen
Der Beweis hängt davon ab, dass jede Ausgangseinheit genau zwei Positionen für die Ziffer besitzt.
Hat eine Zeile drei Kandidaten, erzwingt das Ausschließen eines Kandidaten nicht automatisch den anderen ausgewählten Endpunkt. Eine dritte Möglichkeit bleibt offen.
Damit bricht der Strong Link und folglich auch der Standard-Skyscraper-Beweis.
Diese Vollständigkeitsprüfung ist wichtiger als die Frage, ob das Muster optisch einem Wolkenkratzer ähnelt.
Spaltenbasierter Skyscraper
Alles funktioniert symmetrisch mit vertauschten Zeilen und Spalten.
Für ein spaltenbasiertes Muster gilt:
- Spalte A enthält genau zwei X-Kandidaten;
- Spalte B enthält genau zwei X-Kandidaten;
- je ein Endpunkt beider Paare liegt in derselben Zeile;
- die nicht ausgerichteten Endpunkte sind die Roofs.
Kandidat X kann aus Zellen entfernt werden, die beide Roofs sehen.
Eine gute Gewohnheit ist, beide Orientierungen zu prüfen, sobald eine Ziffer mehrere konjugierte Paare besitzt.
So findest du einen Skyscraper
Skyscraper ist eine klassische ziffernorientierte Technik.
1. Eine Kandidatenziffer wählen
Das Ausblenden aller anderen Kandidaten reduziert visuelles Rauschen stark.
2. Konjugierte Paare in Zeilen notieren
Suche Zeilen, in denen die gewählte Ziffer genau zwei Positionen besitzt.
Beispiel:
r2 → c3 / c8
r7 → c3 / c53. Die Endpunktspalten vergleichen
Beide Paare verwenden c3. Diese beiden c3-Kandidaten bilden die ausgerichtete Seite.
4. Die Roofs bestimmen
Die übrigen Endpunkte sind r2c8 und r7c5.
5. Die Partnerbereiche der Roofs schneiden
Suche Kandidaten derselben Ziffer, die beide Roofs sehen.
6. Mit konjugierten Paaren in Spalten wiederholen
Transponiere die Suche, damit die entgegengesetzte Orientierung nicht übersehen wird.
Skyscraper vs. X-Wing
Beide Muster beginnen mit zwei Strong Links derselben Ziffer in parallelen Einheiten.
Der Unterschied liegt in der Ausrichtung der gegenüberliegenden Endpunkte.
X-Wing
Zwei Basiszeilen verwenden dieselben zwei Spalten.
Beide Seiten sind ausgerichtet und bilden einen Fish der Größe 2.
Skyscraper
Die zwei Zeilen teilen nur eine Endpunktspalte.
Die anderen Endpunkte liegen in verschiedenen Spalten und werden zu den Roofs.
Skyscraper ist deshalb ein gutes Muster, um sich von der Vorstellung zu lösen, dass sparsame Kandidatenstrukturen immer perfekte Rechtecke bilden müssen.
Skyscraper und Sashimi X-Wing
Dieselbe Kandidatenanordnung kann in verschiedenen fortgeschrittenen Frameworks beschrieben werden.
Ein Skyscraper lässt sich als spezielles Turbot-Muster betrachten und steht außerdem in Beziehung zu Sashimi-X-Wing-Strukturen.
Für menschliches Lösen ist die Bezeichnung Skyscraper häufig die einfachste Erklärung, weil die zwei konjugierten Paare und die Roof-Eliminierung direkt überprüfbar sind.
Die spätere Erweiterung zu Finned/Sashimi Fish behandelt diese Fish-Terminologie separat, statt sie hier unnötig in den Mittelpunkt zu stellen.
Skyscraper als kurze X-Chain
Skyscraper ist auch eine kurze Ein-Ziffer-Chain.
Die Logik lässt sich als Abfolge alternierender Strong und Weak Links zwischen Kandidaten X darstellen.
Die entscheidende Endpunktschlussfolgerung lautet:
Mindestens einer der beiden Roofs muss wahr sein.
Genau diese Art Schlussfolgerung verwenden X-Chains: Muss einer von zwei Chain-Endpunkten die Ziffer enthalten, kann die Ziffer aus Kandidaten entfernt werden, die beide Endpunkte sehen.
Darum gehört Skyscraper logisch neben:
- Two-String Kite;
- Empty Rectangle;
- Turbot Fish;
- X-Chain.
Das benannte Muster ist der leicht erkennbare Spezialfall; die Chain-Sprache liefert den allgemeinen Rahmen.
Skyscraper vs. Two-String Kite
Beide verwenden:
- eine Ziffer;
- zwei Strong Links;
- eine Weak-Link-Verbindung zwischen je einem Endpunkt;
- eine Eliminierung aus gemeinsamen Partnerzellen der gegenüberliegenden Endpunkte.
Der Unterschied ist der Ort der Strong Links.
Skyscraper
Zwei Zeilen-Links oder zwei Spalten-Links.
Ihre verbindenden Endpunkte sind in einer Spalte bzw. Zeile ausgerichtet.
Two-String Kite
Ein Zeilen-Strong-Link plus ein Spalten-Strong-Link.
Die verbindenden Endpunkte liegen im selben Block.
Dieser strukturelle Vergleich ist nützlicher, als beide Namen unabhängig auswendig zu lernen.
Skyscraper vs. Turbot Fish
Turbot Fish ist ein breiteres Vier-Kandidaten-X-Chain-Muster.
Skyscraper ist eine benannte Geometrie, die in diese Logik passt.
Ein Solver kann dieselbe Schlussfolgerung deshalb korrekt als:
- Skyscraper;
- Turbot-artiges Muster;
- kurze X-Chain
beschreiben.
Wenn mehrere Bezeichnungen möglich sind, bevorzugen diese Guides zuerst das einfachste erkennbare benannte Muster und verwenden die Chain-Deutung zur Verallgemeinerung.
Ein gültiger Skyscraper kann unproduktiv sein
Die beiden konjugierten Paare können die korrekte Struktur bilden, obwohl kein externer Kandidat beide Roofs sieht.
Dann existiert das Muster, aber es gibt aktuell keine Eliminierung.
Entferne keine Kandidaten nur, weil die Form vorhanden ist.
Das Ziel gehört zum vollständigen Lösungszug.
Häufige Fehler beim Skyscraper
Eine Ausgangszeile oder -spalte mit mehr als zwei Kandidaten verwenden
Dann existiert der benötigte Strong Link nicht.
Zwei Paare ohne ausgerichteten Endpunkt wählen
Ein Standard-Skyscraper benötigt auf der Basisseite eine gemeinsame Cover-Line.
Annehmen, beide Seiten müssten ausgerichtet sein
Sind beide Seiten ausgerichtet, prüfe stattdessen X-Wing.
Aus einer Zelle eliminieren, die nur einen Roof sieht
Das Ziel muss beide möglichen wahren Roofs sehen.
Automatisch an den ausgerichteten Basen eliminieren
Der Beweis erzeugt eine Entweder-oder-Beziehung zwischen den Roofs, keine pauschale Eliminierung rund um die Basisseite.
Ziffern mischen
Alle vier Strukturkandidaten und das Ziel verwenden dieselbe Ziffer.
Praktische Erkennungsübung für Skyscraper
Filtere eine Ziffer und notiere ihre konjugierten Paare.
Für Zeilen etwa:
r2 → c3/c8
r7 → c3/c5Das wiederholte c3 zeigt die ausgerichtete Basis.
Die nicht passenden Endpunkte c8 und c5 sind die Roofs.
Frage dann:
Sieht irgendein Kandidat X beide Roofs?
Wenn ja, hast du eine produktive Skyscraper-Eliminierung.
FAQ
Verwendet Skyscraper nur eine Ziffer?
Ja. Alle Strukturkandidaten und Eliminierungen betreffen dieselbe Kandidatenziffer.
Warum heißt die Technik Skyscraper?
Typische Diagramme erinnern an zwei Türme unterschiedlicher Höhe. Der Name ist nur eine visuelle Merkhilfe; definiert wird die Technik durch die konjugierten Paare.
Müssen die Roofs einander sehen?
Nein. Ein Eliminationsziel muss beide Roofs sehen.
Ist Skyscraper ein X-Wing?
Nein. Beim X-Wing sind beide Seiten ausgerichtet. Beim Skyscraper gibt es eine ausgerichtete Seite und zwei versetzte Roof-Endpunkte.
Ist Skyscraper ein Turbot Fish oder eine X-Chain?
Es lässt sich als beides darstellen. Der benannte Skyscraper ist ein bequem erkennbarer Spezialfall.
Kann ein Skyscraper mehrere Kandidaten eliminieren?
Ja. Jeder Kandidat der Musterziffer, der beide Roofs sieht, kann entfernt werden.
Was solltest du als Nächstes lernen?
Lerne Two-String Kite. Diese Technik verwendet einen Zeilen-Strong-Link und einen Spalten-Strong-Link, die über einen Block verbunden werden.