BUGタイプ3
この推論は、パズルにちょうど1つの解があり、以前のすべての候補除去が正しかったと仮定します。BUGタイプ3は、検証済みのBUG候補構造から始まり、そのガーディアンの選択肢を共有領域の他のマスと組み合わせて、サブセット式の制限を作ります。ガーディアンの選択肢は仮想スロットとして機能し、通常の独立したサブセットマスではありません。
BUGタイプ3とは？
まず、完全な除去がBUG状態を作るガーディアン候補グループを特定します。共有領域で、その保証されたグループをN−1個の実際のマスと組み合わせ、関連する候補の和集合がN個の数字になるようにします。すべての実際のマスを1回ずつ数え、ガーディアンマスを通常のサブセットメンバーと区別します。
タイプ3は、保証されたガーディアンの選択肢を共有領域のサブセット制限と組み合わせます。選択肢は合わせて1つの仮想スロットを占め、通常の独立したサブセットマスではありません。必要な数の別々のコンパニオンマスを追加し、候補の和集合を正確に数え、その領域の他の適格なマスからのみ取り除きます。
解説付きの実例
BUG タイプ3の実例：ガーディアン候補が仮想スロットとして働き、共有領域内でサブセット制約を完成させます。
ステップ 1
このパズルがちょうど1つの解を持ち、現在の候補が正しい推論を反映していると仮定します。これらの未解決セルを確認してください。
ステップ 2
セル F7 と H7 は追加の BUG 候補 4 と 7 を含み、グリッドにマークされています。それらのマークされた候補をすべて削除すると、デッドリーな BUG 構造が残ります。
ステップ 3
グリッドにマークされたとおり、BUG 候補 4 と 7 が F7 と H7 から削除されたと仮定します。するとすべての未解決セルが二値になり、残りの各候補はそれが現れる各行・列・ブロックでちょうど2回出現します。これが述べられた一意解仮定により排除される BUG 構造です。
ステップ 4
BUG を避けるため、F7 と H7 の少なくとも1つは 4 と 7 の1つを含まなければなりません。その保証された脱出は値 4 と 7 の1つの仮想スロットとして機能します。実際の同伴セル E7 とともに、それらの値を行 7にロックします。これらの適格な位置の外側にあるマークされた出現は、したがって削除できます。
この実例は定義された構造の有効な一例を示しています。別の盤面に同じ推論を適用する前に、致命的構造の全体、関与するすべての領域、および各対象に対する救済条件またはガーディアン条件を確認してください。現在の候補状態を表示したまま練習するには、オンラインで数独をプレイことができます。
見つけ方
基礎となるBUGカウントを確認し、ガーディアンの選択肢を特定し、共有領域内のコンパニオンマスと数字の和集合を数えます。3つの通常のマスをネイキッドペアと呼んだり、通常のサブセット外ルールでガーディアンマスから消去したりしないでください。
消せる理由
一意性により、少なくとも1つのガーディアンの選択肢が真であることが保証されるため、グループは結合された制限内の1つの仮想スロットを占めます。コンパニオンマスは残りのスロットを占めます。結果の数字和集合の候補は、共有領域の他の適格なマスからのみ取り除けます。