BUGタイプ4
この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。BUGタイプ4は、検証済みのBUGガーディアングループと、共有領域の同じ例外マスに制限された別の数字を組み合わせます。結論は、表示された状態が個々の配置を別途証明しない限り、候補の制限です。
BUGタイプ4とは？
ガーディアン数字の仮想的な除去によって生成される完全なBUG状態を確認します。次に、別の数字が例外マスの共有領域内でバイローカルであることを確認します。これら2つの少なくとも1つの条件がマスの内容を制限します。例外マスの数は例示的な条件であり、証明の近道ではありません。
タイプ4は、保証されたBUGガーディアンの選択肢と、共有領域内の関連する例外マスにロックされた別の数字を組み合わせます。これら2つの制限は他の候補を取り除くことがありますが、どの例外マスが2つの数字のどちらを受け取るかをそれ自体で決定しません。
解説付きの実例
BUG タイプ4の実例：ガーディアン群と、同じ例外マスにロックされた第2の数字によって、それらのマスが含み得る候補が制限されます。
ステップ 1
このパズルがちょうど1つの解を持ち、現在の候補が正しい推論を反映していると仮定します。これらの未解決セルを確認してください。
ステップ 2
セル E7 と H7 は追加の BUG 候補 2 を含みます。それらは行 7での 4 の唯一の2つの位置でもあります。これらの重要な候補はグリッドにマークされています。
ステップ 3
グリッドにマークされたとおり、BUG 候補 2 が E7 と H7 から削除されたと仮定します。するとすべての未解決セルが二値になり、残りの各候補はそれが現れる各行・列・ブロックでちょうど2回出現します。これが述べられた一意解仮定により排除される BUG 構造です。
ステップ 4
BUG を避けるため、E7 と H7 の1つは脱出値 2 の1つを供給しなければなりません。値 4 も行 7に他の位置がないため、これら2つのセルの1つを占めなければなりません。どのセルがどの役割を果たすかは決まっていませんが、いずれにせよどちらのセルもマークされた候補を含むことはできないため、それらは削除できます。
この実例は定義された構造の有効な一例を示しています。別の盤面に同じ推論を適用する前に、致命的構造の全体、関与するすべての領域、および各対象に対する救済条件またはガーディアン条件を確認してください。現在の候補状態を表示したまま練習するには、オンラインで数独をプレイことができます。
見つけ方
すべてのガーディアン出現を特定し、仮想的なBUGカウントを確認します。関連する例外マスが共有する領域で、それらの外に位置を持たない別の数字を見つけます。両方の制限が支持する消去のみを適用します。
消せる理由
BUGを避けるために少なくとも1つの例外マスがガーディアン数字を使用しなければならず、その数字が領域内に他の位置を持たないため、少なくとも1つがロックされた数字を使用しなければなりません。これは正確なマスセットが許す範囲で他の候補を排除できますが、どのマスがどの数字を受け取るかを自動的に決定しません。