例の盤面を見る
Nishioは、ひとつの候補を仮定し、確定する手をたどります。候補がなくなるマスや、必要な数字を置けない範囲ができたら、その仮定は誤りです。
アプリの例で考える
C1の候補7を調べます。まず、それが正しいと仮定するだけです。これから仮の盤面に入る数字は、すべてこの仮定に基づきます。
確定するNaked SingleとHidden Singleだけをたどります。入る数字のないマスや、置き場所のない数字が生まれたら仮定は誤りです。その後、仮の盤面はすべて破棄します。
仮にC1＝7として、確定するシングルをたどります。実際の盤面は変更しません。
この仮定ではH1に入るのは8だけです。仮の盤面に、このNaked Singleを入れました。
この仮定では、2行目の8が入る場所はD2だけです。仮の盤面に、このHidden Singleを入れました。
この仮定では、2行目の1が入る場所はF2だけです。仮の盤面に、このHidden Singleを入れました。
この仮定では、2行目の5が入る場所はE2だけです。仮の盤面に、このHidden Singleを入れました。
この仮定ではE9に入るのは6だけです。仮の盤面に、このNaked Singleを入れました。
この仮定ではE8に入るのは7だけです。仮の盤面に、このNaked Singleを入れました。
7行目に必要な7を置く場所がなくなりました。矛盾が生じたので、最初の仮定は誤りです。
変更していない元の盤面に戻ります。仮の検証から、次のメモを消せると分かりました：C1: 7。実際に変えるのはこのメモだけです。
画像では、この一手に関係する候補を表示しています。表示されていないメモが、論理的に消せるとは限りません。
続きはレッスンで
UnisuではNaked SingleとHidden Singleだけをたどります。その後、元の盤面へ戻り、否定された候補だけを消します。
アプリの対応するレッスンでは、考え方をたどってから自分で取り組めます。新しい問題では、その盤面の実際の候補から考え直しましょう。
Nishioについての質問
Nishioでは何を仮定しますか？
1つの候補を仮に真として扱います。後の一手はすべてその仮定に依存し、実際のゲームを変えません。
どんな状態が矛盾ですか？
候補がなくなったマスや、必要な数字の置き場がなくなった範囲などです。これで最初の仮定を否定できます。
次のSingleがなければ、その分岐は否定できますか？
できません。進めないことは矛盾ではありません。実際の矛盾なしに、仮定した候補は消せません。
最後に何を反映できますか？
最初に仮定した候補の、矛盾で証明された除外だけです。途中で仮に入れた数字は破棄します。
Forcing Chainとはどう違いますか？
Nishioは1つの仮定を否定します。ここで示したForcing Chainは、2つの可能性に共通する結論を使います。
続きはUnisuで練習
iPhone・Android向けのUnisuをダウンロード。ナンプレを解いたり、レッスンでテクニックの考え方をたどったりできます。
