BUGタイプ1

この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。BUGタイプ1では、1つの三値マスに1つのガーディアン候補があり、それを仮定的に取り除くと完全なBUG構造が残ります。ガーディアンは真でなければならないため、そのマスの他の2つの候補は取り除けます。

BUGタイプ1とは？

前提は「1つを除くすべてのマスが二値」以上のものです。ガーディアン候補を仮定的に取り除いた後、すべての未解決マスが二値でなければならず、残りの各数字はそれが現れるすべての行、列、ブロックで正確に2回現れなければなりません。これが一意性によって排除されるBUG構造です。

1つの三値マスが通常のタイプ1の例外です。その3つの候補の1つがガーディアンです。それを仮定的に取り除くと、検証済みのBUG構造が生成されます。ガーディアンは残ってそのマスの値になり、他の2つの非ガーディアン候補は取り除かれます。

BUG タイプ1の実例：他がすべて2値である状態における唯一の3値例外マス。ガーディアン候補が残り、他の2つの候補が消去されます。

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

ハイライトされた各セルはちょうど2つの候補を持ちますが、I9 は例外です。そのガーディアン候補 7（グリッドにマーク）が BUG を防いでいるものです。

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

したがって I9 はガーディアン候補 7 からその値を取らなければなりません。さもなければ BUG が残ります。その他の候補 5 と 9 は I9 から削除できます。

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

各未解決マスがちょうど2つの候補を含むかを確認します。1つのマスがちょうど3つの候補を含み、1つの領域がその中のちょうど1つの候補を3番目の出現として保持する場合、その候補がガーディアンです。そのマスから他の2つの数字を取り除きます。

ガーディアンを取り除くと、そのマスが二値に減り、すべての未解決マスが正確に二値になり、各領域で各数字が正確に2つの位置を残すバランス状態が得られます。この一意性を仮定する前提がこの状態を禁じるため、ガーディアン候補は残らなければならず、他の2つは取り除かれます。