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