バグ+1
バグ+1
関連技術
BUG(二値ユニバーサル・グレイブ)とは何ですか?
バグとは、未解決のセルすべてがちょうど2つの候補を持つ状態を指し、各数字がまだ未解決の行、列、およびブロックでちょうど2回ずつ出現するという仮説的な状態である。この完全な対称性により、各候補は同じ数字のもう1つの候補、および同じセル内の別の候補とペアになる。
この対称性は閉じたループを生じさせ、そのループは2つの逆方向に解ける。両方の解法は数独制約を満たすため、グリッドは複数の解を持つことになる。一意の解を持つ正当なパズルは、純粋なバグ状態に陥ることが許されない。
数独 の バグ+1 とは何ですか?
バグ+1 は BUG のニアミス版です。未解決のセルはすべて二値ですが、一つの三値セルに三つの候補があります。
三値セルの二つの候補は、通常の BUG 候補と同じように振る舞います。もし第三の候補を削除すれば、これらの二つはグローバルなハウスごとに二回ずつ現れる BUG の対称性に適合します。第三の候補が余分な数字です。これが唯一、パズルがマルチソリューション BUG になるのを防いでいます。
バグ+1の推論の仕組み
余分な数字を削除すると、ボードはBUG(複数の解)になります。それが不可能であるため、余分な数字が正解でなければなりません。バグ+1は直接配置をもたらし、候補の除外だけではありません。
余分な数字の特定の方法
メソッド1:ハウス内の出現回数を数える。三値のセルの各候補に対して、セルの行、列、ブロックを確認する。BUG候補はハウスごとに2回の出現パターンを維持する。3回目の出現を少なくとも1つのハウスで生じさせるのは、余分な候補である。
メソッド2:削除テスト。三値のセルから1つの候補を一時的に削除する。もし残りのグリッドが純粋なBUGパターンになるならば、削除された候補が余分な数字である。正当なパズルはこのBUG状態に陥ることができないため、余分な数字は残り、セルの解である。
バグ+1 が一意性テクニックである理由
バグ+1 は、パズルが正確に一つの解を持つという仮定に依存しています。他の一意性のテクニックには、ユニーク・レクトアンブルと避けられるレクトアンブルがあります。バグ+1 は、信頼できるソースからのパズルに対して完全に妥当です。
難易度分類とレアリティ
レベル8(上級者)。比較的まれなパターンで、解き進める中盤以降に非常に特定されたnear-BUG状態が必要。発生した際は、直接的な配置が得られ、満足感のある手順となる。
バグ+1 を特定するためのヒント
8-15個の未解決セルが残り、かつその多くが2値の場合、確認する。クイックスキャン:セルに3つ以上の候補がある場合、停止する。2つ以上が3つの場合、停止する。正確に1つだけが3つで、他のすべてが2つの場合、バグ+1の条件を確認する。正確な鉛筆マークは不可欠である。
要約
バグ+1 は、盤面が複数解を持つ状態から1つのセルだけ離れているときに検出します。単一の三値セルとその余分な数字を特定することで、直接的な配置が得られます。レベル8(上級者)、まれですが洗練されたテクニックです。
関連技術