強制チェーン
強制チェーンは2つの候補を持つマスで始まり、両方の候補をテストして、それぞれの結果をたどります。
テクニックを実践で見る
例をステップバイステップで進めます。各ステップは、ボード上で見ているものと、なぜ推論が成立するのかを説明します。
例：
- マス行1、列7には1と2の2つの候補だけがあります。両方をテストして結果を追跡します。
パターンの見分け方
強制チェーンは、正確に2つの候補を持つマスを出発点として両方をテストします。各候補の結果を配置ごとにボード全体で追跡し、2つの仮説がどこで終わるかを見ます。このテクニックは体系化された総当たりであり、すべてのパターンテクニックが行き詰まったときによく使われます。
2つの結果が有効な推論を与えます。両方の仮説が同じ結論、たとえば同じマスが同じ数字を得ることにつながるなら、結論はとにかく真です。そして一方の仮説が矛盾、たとえば候補のないマスにつながるなら、そのマスはもう一方の候補を持つ必要があります。
ステップバイステップの手順
- 正確に2つの候補を持つマスを選びます。
- まず一方の候補を仮定し、すべての強制された結果、つまり生じる新しい裸シングルと隠れシングルを追跡します。
- もう一方の候補で繰り返します。
- 両方の枝が同じ配置または同じ削除につながるなら、それはとにかく有効です。一方の枝が矛盾につながるなら、開始マスにもう一方の候補を配置します。
よくある間違い
- 枝を混同すること。2つの仮説の結果は厳密に分けて保持する必要があり、そうでなければ何も証明できません。
- 一方の枝だけをたどって結果を配置すること。もう一方の枝に矛盾がなければ、一方の枝は単なる推測にすぎません。
- 強制されていない結果をたどること。シングルのように必然的に従う配置だけをチェーンで使うことができます。
このテクニックが必要になるのはいつ？
最高難度の問題では、盤面全体にまたがる長い論理チェーンをたどります。仮定から結果を追い、成立しないケースを見つける背理法のような考え方です。以下の例を1ステップずつ進め、ソルバーが実際の盤面で使うのと同じ考え方を学びましょう。