ユニーク・レクタングル タイプ1
この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。タイプ1ユニーク・レクタングルは、構造を横断して2つの数字を交換しても、触れた行、列、ブロックのすべてが保存される候補状態から始まります。1つの救出マスが追加候補を持ち、それらの1つを取らなければならないため、2つのベース数字はそのマスから取り除かれます。
ユニーク・レクタングル タイプ1とは?
この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。まず完全な2値構造を確認します。ちょうど2つのブロックにまたがる2行2列の角にある4つの未解決マスで、それぞれの候補に同じ2つのベース数字を持ちます。それらの数字を角間で交換しても、初期配置を動かさず、影響を受ける各領域に各ベース数字が1回残らなければなりません。タイプ1はその追加の救出条件を適用します。任意の矩形では不十分です。
タイプ1では、1つを除くすべてのループマスがベース数字で二値です。残りの救出マスは追加候補も保持します。少なくとも1つの救出候補が真でなければならないため、そのマスはどちらのベース数字も保持できません。
解説付きの実例
ユニーク・レクタングル タイプ1の実例：1マスを除くすべてのループマスが基本数字の2値であり、唯一の救済マスから両方の基本数字が消去されます。
ステップ 1
これら4つのセルを確認してください。
ステップ 2
このパズルがちょうど1つの解を持ち、現在の候補が正しい推論を反映していると仮定します。セル E1, F1, E7, F7 は 3 と 9 上に潜在的なデッドリーなユニークなレクタングルを形成します。 これらのセルのすべてが 3 と 9 に制限されたなら、2つの交互の割り当ては与えられた数字を固定したまま、触れる各行・列・ブロックを保存します。したがって一方の割り当てを他方と交換すると一意の完成が妨げられます。述べられた一意性の仮定は、このデッドリー状態を破るために示された追加候補または追加の制限を必要とします。
ステップ 3
これら2つの構成を避ける唯一の可能な方法は、セル E7 が値 3 と 9 を含まないことです。
この実例は定義された構造の有効な一例を示しています。別の盤面に同じ推論を適用する前に、致命的構造の全体、関与するすべての領域、および各対象に対する救済条件またはガーディアン条件を確認してください。現在の候補状態を表示したまま練習するには、無料の数独パズルをお試しくださいことができます。
見つけ方
ちょうど2つのブロックに配置された、2行2列の角にある4つの未解決マスを見つけます。3つの角は同じ2つのベース数字のみを含み、4番目はそれらの数字に加えて1つ以上のエクストラを含みます。タイプ1の推論を適用する前に、ベース数字の交換が両方の行、両方の列、両方のブロックを保存することを確認します。
消せる理由
救出マスがベース数字を使用した場合、完全なベース数字の配置が禁止された交換を許可します。唯一解の仮定の下、それは追加候補を使用しなければならないため、2つのベース候補はそのマスから取り除けます。