Skyscraper

这是什么

Skyscraper 是最简单的 Turbot Fish。选定一个数字。找两行,这个数字在其中各自恰好有两个候选格。四个端点格中,有两个共享同一列 —— 它们是 Skyscraper 的「底座」。剩下的两个端点 ——「顶部」—— 决定约束:至少 一个 顶部必须承载该数字。 为什么?因为两个底座格(同一列)中,该数字在一列里最多出现一次。若两个底座都不含该数字,两行就都必须把数字落到各自顶部上,于是每行顶部都含该数字。若有一个底座含该数字,只剩另一行的顶部作为备选。无论哪种情况,至少一个顶部承载该数字。 因此,任何同时看到 两个 顶部的格子都失去该数字。以列为基础的版本(两列 + 共享一行)是对称的。

何时使用

Expert 级题里,Swordfish 和 X-Wing 走不通时使用。通过查找两条共享端点列的行强链识别。

例题解析

数字 6 在第 2 行只能落在 R2C3 或 R2C8。在第 7 行只能落在 R7C3 或 R7C5。R2C3 和 R7C3 是底座(共享第 3 列);R2C8 和 R7C5 是顶部。其中之一必有 6。R7C8 通过第 8 列看到 R2C8,通过第 7 行看到 R7C5 —— 所以 R7C8 从候选里删除 6。