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