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