バグ+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(上級者)、まれですが洗練されたテクニックです。

関連技術