Skyscraper — 数独テクニック

概要

Skyscraper はもっとも単純な Turbot Fish です。数字を一つ選び、その数字がそれぞれちょうど二つの候補セルしか持たない二行を探します。四つの端点セルのうち二つが同じ列を共有 — これが Skyscraper の「土台」です。残り二つの端点 ——「頂上」—— が制約を決めます:このうち少なくとも一方が必ずその数字を保持します。 なぜか?二つの土台セル(同じ列)では、数字は一列につき高々一度しか現れません。両方の土台セルがその数字を含まなければ、二つの行は両方とも頂上に数字を置かざるを得ず、各行の頂上が数字を保持します。一方の土台セルが数字を保持するなら、もう一方の行の頂上だけが代替となります。いずれにしても、二つの頂上のうち少なくとも一方が数字を保持します。 したがって、両方の頂上を見るセルはすべてその数字を失います。列を起点とするバージョン(二列 + 共有行)は対称的です。