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