Skyscraper
Zwei Strong Links auf derselben Ziffer, die an einem Ende eine Spalte teilen und am anderen nicht — eliminiert die Ziffer aus jeder Zelle, die beide Dach-Zellen sieht.
Ein Skyscraper ist eines von drei Einzelziffer-Mustern, die eine gemeinsame zugrunde liegende Logik teilen. Wähl eine Ziffer. Find zwei Zeilen, in denen die Ziffer in jeder genau zwei Kandidatenzellen hat und in denen eine der Spalten zwischen den zwei Zeilen übereinstimmt, die andere aber nicht. Die zwei übereinstimmenden Zellen bilden die „Basis" des Skyscrapers; die zwei nicht übereinstimmenden Zellen bilden das „Dach". Aus jeder Zelle, die beide Dachzellen sieht, kann die Ziffer eliminiert werden.
Das Argument
Jede Zeile hat einen Strong Link auf der Ziffer zwischen genau zwei Zellen. Welche Zelle in Zeile 1 die Ziffer auch hält — sie zwingt die Platzierung im Strong Link von Zeile 2 in die gegenüberliegende Zelle der übereinstimmenden Spalte. Also liegt die Ziffer entweder in der Basis (der übereinstimmenden Spalte), oder sie ist auf die zwei Dachzellen verteilt — eine in jeder Zeile.
In beiden Fällen decken die Dachzellen zusammen die Platzierung der Ziffer in den zwei Zeilen ab. Jede Zelle, die beide Dachzellen sieht, muss die Ziffer meiden, weil eine von ihnen die Ziffer sein wird, und eine dritte Zelle, die sich Einheiten mit beiden teilt, die Ziffer nicht wiederholen darf.
Das Muster funktioniert um 90° gedreht: zwei Spalten, in denen die Ziffer jeweils genau zwei Kandidatenzellen hat, mit einer geteilten Zeile an einem Ende. Die Eliminierungen finden in Zellen statt, die von beiden „Dach"-Zellen der spaltenbasierten Variante aus sichtbar sind.
Warum er zwischen X-Wing und Ketten sitzt
Ein Skyscraper ist der einfachste Fall der Zwei-Strong-Links-Familie. Ein X-Wing sind zwei Strong Links, die sich beide Spalten teilen; ein Skyscraper teilt nur eine. Die geteilte Spalte ist der Teil des Musters, der die Eliminierungen feuern lässt — sie zwingt die Strong Links, sich auszurichten, auch wenn sie nicht ganz das Gitter eines X-Wing bilden.
Skyscraper sind außerdem ein Spezialfall der Kettentechniken. Eine Alternating Inference Chain der Länge zwei — Strong Link, Weak Link, Strong Link — produziert dieselben Eliminierungen wie ein Skyscraper. Die Bezeichnung Skyscraper ist nur das benannte Muster, das die meisten Löser lernen, bevor sie Geläufigkeit in AIC drillen.
Wann du ihn siehst
Skyscraper tauchen regelmäßig in schweren und Experten-Rätseln auf. Sie gehören zu den Mustern, die der Sudoku-Mountain-Löser erkennt und für die er einen Deduktionsschritt ausgibt — neben 2-String Kite und Empty Rectangle. Alle drei teilen sich denselben zugrunde liegenden Detektor und produzieren identische Arten von Eliminierungen unter unterschiedlichen visuellen Formen.
Siehe auch
- 2-String Kite— Ein Strong Link in einer Zeile trifft einen in einer Spalte; am Knoten teilen sich zwei Zellen einen Block. Eliminiert die Ziffer aus Zellen, die beide Schwänze sehen.
- Empty Rectangle— Ein Block, in dem die Kandidaten einer Ziffer in einer Zeile und einer Spalte liegen, die sich kreuzen. Mit einem Strong Link eliminiert er die Ziffer entlang der passenden Achse.
- Strong Link— Beziehung zwischen zwei Zellen einer Einheit, in der eine Ziffer genau eine von beiden besetzen muss — das Grundelement, auf dem versteckte Einer, X-Wings und Ketten aufbauen.
- X-Wing— Wenn die zwei möglichen Zellen einer Ziffer in zwei Zeilen ein Rechteck in zwei Spalten bilden — die Ziffer wird aus dem Rest dieser Spalten gestrichen. Auch um 90° gedreht.