ユニーク・レクタングル タイプ3
この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。タイプ3ユニーク・レクタングルは、構造を横断して2つの数字を交換しても、触れた行、列、ブロックのすべてが保存される候補状態から始まります。救出の選択肢は、共有領域でサブセット制限を完成させる1つの仮想スロットとして機能します。
ユニーク・レクタングル タイプ3とは?
この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。まず完全な2値構造を確認します。ちょうど2つのブロックにまたがる2行2列の角にある4つの未解決マスで、それぞれの候補に同じ2つのベース数字を持ちます。それらの数字を角間で交換しても、初期配置を動かさず、影響を受ける各領域に各ベース数字が1回残らなければなりません。タイプ3はその追加の救出条件を適用します。任意の矩形では不十分です。
タイプ3では、救出の選択肢が1つの仮想スロットとして機能します。共有領域のコンパニオンマスと組み合わせて、数えられた数字の和集合に対するサブセット制限を完成させ、それが他の適格なマスから取り除かれます。
解説付きの実例
ユニーク・レクタングル タイプ3の実例：救済候補が仮想スロットとして働き、共有領域内でサブセット制約を完成させます。
ステップ 1
これら4つのセルを確認してください。
ステップ 2
このパズルがちょうど1つの解を持ち、現在の候補が正しい推論を反映していると仮定します。セル B2, G2, B3, G3 は 6 と 7 上に潜在的なデッドリーなユニークなレクタングルを形成します。 これらのセルのすべてが 6 と 7 に制限されたなら、2つの交互の割り当ては与えられた数字を固定したまま、触れる各行・列・ブロックを保存します。したがって一方の割り当てを他方と交換すると一意の完成が妨げられます。述べられた一意性の仮定は、このデッドリー状態を破るために示された追加候補または追加の制限を必要とします。 B2 または B3 のいずれかが脱出値 1, 3 と 5 の1つを供給しなければなりません。その保証された選択は 1, 3, 5 と 4 の1つの仮想スロットとして機能します。実際の同伴セル B5, B7, B8 とともに、仮想スロットはこれらの値をこの列にロックします。どちらの救済セルも二重に数えられません。
ステップ 3
したがって 1, 3, 5 と 4 のマークされた候補はこの列から削除できます。それらは仮想脱出スロット、その実際の同伴セル、および代替の救済セルの外側にあります。
この実例は定義された構造の有効な一例を示しています。別の盤面に同じ推論を適用する前に、致命的構造の全体、関与するすべての領域、および各対象に対する救済条件またはガーディアン条件を確認してください。現在の候補状態を表示したまま練習するには、無料の数独ゲームを始めることができます。
見つけ方
2行、2列、ちょうど2つのブロックにある4つの未解決の角を確認します。救出マスの救出の選択肢は1つの仮想スロットを形成します。そのスロットを、候補の和集合がN個の数字を含む共有領域のN−1個の実際のコンパニオンマスと組み合わせます。各マスを1回数え、他の適格なマスからのみ和集合を取り除きます。
消せる理由
一意性により、少なくとも1つの救出マスが追加数字を使用することが保証されるため、救出グループは1つの仮想スロットを占めます。検証されたコンパニオンマスとともに、述べられた数字の和集合を予約します。その結合セットの外側の候補のみが消去ターゲットです。