BUGタイプ2

この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。BUGタイプ2は、同じガーディアン数字を持つ2つ以上の例外マスを使用します。すべてのガーディアン出現を仮定的に取り除いた後、完全な残りの状態がBUGカウントを満たさなければなりません。

BUGタイプ2とは？

例外マスの数は論理上2つに固定されていません。他のすべての未解決マスが二値であり、共有ガーディアン数字の仮想的な除去が、領域ごとに2回の必要なBUG出現構造を残すことを確認します。

タイプ2は、同じガーディアン数字を持つ2つ以上の例外マスを持ちます。すべてのガーディアン出現を仮定的に取り除くと、検証済みのBUG構造が復元されなければなりません。したがって、少なくとも1つの例外マスがガーディアンを使用するため、その数字はすべての例外マス出現を見るターゲットから取り除けます。

BUG タイプ2の実例：2つ以上の例外マスが1つのガーディアン数字を共有し、それらすべてから見える候補からその数字が消去されます。

このパズルがちょうど1つの解を持ち、現在の候補が正しい推論を反映していると仮定します。これらの未解決セルを確認してください。

セル E7 と H7 は同じ追加の BUG 候補 2 を含み、グリッドにマークされています。それらすべてから 2 を削除すると、デッドリーな BUG 構造が残ります。

グリッドにマークされたとおり、BUG 候補 2 が E7 と H7 から削除されたと仮定します。するとすべての未解決セルが二値になり、残りの各候補はそれが現れる各行・列・ブロックでちょうど2回出現します。これが述べられた一意解仮定により排除される BUG 構造です。

したがって E7 と H7 の少なくとも1つは 2 を含まなければなりません。これらすべての BUG セルを見る他のセルも 2 を含むことはできないため、マークされた出現は削除できます。

この実例は定義された構造の有効な一例を示しています。別の盤面に同じ推論を適用する前に、致命的構造の全体、関与するすべての領域、および各対象に対する救済条件またはガーディアン条件を確認してください。現在の候補状態を表示したまま練習するには、オンラインで数独をプレイことができます。

複数の例外マスで、どの数字が領域の偶数バランスを乱すかを確認します。そのような数字をガーディアンと呼びます。その数字がすべての可能なガーディアン位置を見る外部候補にある場合、その候補は取り除けます。

ガーディアン数字が例外マス内のすべての出現を見る候補にある場合、その配置はすべての例外マスからその数字を取り除き、禁止されたBUG状態を作ります。したがって、その候補は偽でなければならず、マスから取り除かれます。