ユニーク矩形 テクニック - 唯一解の性質を利用した上級除外法

正しく設計された数独パズルは、必ず<a href="/ja/glossary/unique-solution/">唯一の解</a>を持つ。これは数独の根本的な性質であり、パズルの品質保証でもある。ユニーク矩形テクニックは、この性質を解法に利用する。もし特定の候補配置が「複数解を許す構造」を生み出すなら、その配置は正しい解ではありえない。よってその候補を除外できる、という論理である。

最も基本的なユニーク矩形は以下の条件で成立する。2 つの行と 2 つの列の交差点にある 4 マスが、ちょうど 2 つのブロックにまたがり、そのうち 3 マスが同じ 2 候補 (例えば {2, 7}) だけを持つ。4 マス目も {2, 7} だけになると、2 と 7 を入れ替えても成立する「致命的パターン」が生じ、唯一解に反する。よって 4 マス目からは {2, 7} 以外の候補が正解であり、{2, 7} を除外できる。

Type 2 は、4 マスのうち 2 マスが追加候補を 1 つだけ共有する場合に適用する。その追加候補が正解でなければ致命的パターンが生じるため、その追加候補を含む行・列・ブロックの他マスからその数字を除外できる。Type 3, 4 はさらに複雑な条件を扱うが、根底にある論理は同じである。「この候補が正解でなければ唯一解に反する → よってこの候補が正解」という背理法的推論が全てのバリエーションに共通する。

ユニーク矩形を発見するには、以下の条件を満たす 4 マスの組を探す。(1) 2 行 × 2 列の矩形を形成する。(2) 4 マスがちょうど 2 つのブロックにまたがる。(3) 少なくとも 3 マスが同じ 2 候補を共有する。実践的には、候補が 2 つだけのマス (<a href="/ja/glossary/naked-pair/">ネイキッドペア</a>の候補) に注目し、同じ候補ペアを持つマスが矩形を形成していないか確認する。メモが正確に管理されていることが絶対条件である。

このテクニックは「パズルが唯一解を持つ」という前提に依存する。手作りのパズルや品質の低いジェネレーターが生成したパズルでは、唯一解が保証されない場合がある。そのようなパズルにユニーク矩形を適用すると誤った除外を行う危険がある。信頼できるソースのパズル (本サイトの<a href="/ja/">ナンバープレイス</a>を含む) では唯一解が保証されているため、安心して適用できる。また、このテクニックは他の全てのテクニックを試した後の最終手段として使うのが安全である。

ユニーク矩形が成立する根拠は、良質な数独が必ず唯一解を持つという品質保証にある。もし盤面のどこかに、二つの数字を入れ替えても両方とも成立する 2 行 2 列 2 ブロックの矩形ができると、その瞬間に解が二通り生じてしまう。これは唯一解の原則に反するため、設計の正しいパズルでは起こりえない。つまり、致命的パターンが完成しそうな配置を見つけたら、それを回避する候補こそが正解だと逆算できる。これは盤面の数字だけでなく、唯一解という設計上の約束を手がかりにする点で、他のテクニックとは一線を画す。

ユニーク矩形は強力だが、使いどころを誤ると危険なテクニックでもある。第一に、対象のパズルが唯一解を持つことが大前提だ。手作りや粗悪な生成器のパズルでは複数解が存在しうるため、ユニーク矩形を当てはめると誤った除外をしてしまう。信頼できる供給元のパズルでのみ安心して使える。第二に、矩形がちょうど 2 ブロックにまたがるという条件を満たさない配置に誤って適用しないよう注意が要る。これらの前提を確認したうえで、他の基本テクニックを出し尽くしても進まない局面の最終手段として使うのが、最も安全で効果的な運用である。

ユニーク矩形は単独で大きく盤面を動かすこともあるが、多くの場合は他のテクニックと組み合わさって威力を発揮する。矩形による一つの除外が、別のマスにネイキッドシングルやヒドゥンシングルを生み、そこから連鎖が広がる。逆に、ネイキッドペアやポインティングペアで候補を削った結果、致命的パターンの条件が整い、ユニーク矩形が適用可能になることもある。高難度のパズルは、複数のテクニックが互いに足場を提供し合って初めて解ける。ユニーク矩形もその連携の一部として位置づけると、最も効果的に使える。