BUG+1
BUG+1は、単一の解を持つ有効な数独ボードがすべての空きマスに正確に2つの候補を持つ状態で終わることはできないという事実を活用します。その状態はBivalue Universal Graveと呼ばれます。
テクニックを実践で見る
例をステップバイステップで進めます。各ステップは、ボード上で見ているものと、なぜ推論が成立するのかを説明します。
例：
- ボード全体を見てください。1つのマスを除いて、すべての空きマスには正確に2つの候補があります。
パターンの見分け方
BUGはBivalue Universal Graveの略で、絶対にすべての空きマスが正確に2つの候補を持つ状態です。そのようなボードは一意の解を持つことができないため、有効な数独は決してそこで終わることはありません。BUG+1はボードがそれから一歩手前のときに生じます：1つのマスが3つを持つことを除いて、すべての空きマスが2つの候補を持ちます。
その1つのマスが墓を防ぐ必要があります。3つの候補の中に、そのマスの行、列、ブロック内での出現回数で際立つ数字が1つあり、ボードが複数解の状態に崩壊しないためには、この数字を配置する必要があります。このパターンは、難しいボードのまさに終盤に現れることが多いです。
ステップバイステップの手順
- 1つの例外を除いて、ボード上のすべての空きマスが正確に2つの候補を持つことを確認します。
- 例外、つまり3つの候補を持つマスを見つけます。
- 3つの候補のそれぞれについて、その数字がそのマスの行、列、ブロック内で候補として何回出現するかを数えます。
- 出現回数で他の2つから際立つ数字を配置します。それがなければ、ボードは一意の解のない状態で終わってしまうからです。
よくある間違い
- パターンを早すぎるうちに使うこと。BUG+1はボードの一角だけでなく、ボード全体がその状態にあることを必要とします。
- 別の場所にある3つの候補を持つマスを見落とすこと。そのようなマスが2つある場合、ボードはBUG+1ではなく、推論は成立しません。
- 一意の解という前提を忘れること。このテクニックは、ボードが正確に1つの解を持つ有効な数独であることに依存しています。
このテクニックが必要になるのはいつ？
最も難しいパズルには、ボード全体を通じた長い論理チェーンをたどるテクニックが必要です。実際に証拠です：何かを仮定し、結果をたどり、何が成立しないかを見てください。以下の例を、ソルバーがあなた自身のボードで使用するのと同じツールを使用して、ステップバイステップで試してみてください。