唯一解の性質を利用し、複数解を生む候補配置を排除する上級テクニック。

ユニーク矩形 (Unique Rectangle) は、正しい数独パズルが唯一解を持つという前提を利用した候補除外テクニックである。2 行 × 2 列 × 2 ブロックにまたがる 4 マスが致命的パターン (Deadly Pattern) を形成しうる場合、そのパターンを回避する方向に候補を除外する。

致命的パターンとは

致命的パターンとは、2 つの数字を入れ替えても成立する構造のことである。4 マスが矩形を形成し、全て同じ 2 候補だけを持つ場合、2 数字の配置を入れ替えた別解が存在してしまう。唯一解のパズルではこの状態は起こりえないため、致命的パターンを生む候補を除外できる。

適用の前提条件

このテクニックはパズルが唯一解を持つことが保証されている場合にのみ有効である。信頼できるソースのパズルでは安全に適用できるが、唯一解が保証されないパズルでは誤った除外を行う危険がある。他の論理テクニックを全て試した後の手段として使うのが安全である。