Skyscraper

这是什么

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