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