例の盤面を見る
ここで扱うUnique Rectangleは、解がひとつだと保証された問題に使います。4マスが2行・2列・ちょうど2ブロックにあり、3マスは同じ2候補だけを持ちます。
アプリの例で考える
4つの角D4, H4, D5, H5は、2本の行、2本の列、ちょうど2つのブロックにあります。3つの角の候補は4, 9だけで、D5にはほかの候補もあります。
D5にも4, 9のどちらかが入ると、長方形内の2つの数字を交換して別の答えを作れてしまいます。答えは1つなので、D5にはほかの数字が入ります。
このため、次のメモは候補から外れます：D5: 4, 9。
画像では、この一手に関係する候補を表示しています。表示されていないメモが、論理的に消せるとは限りません。
続きはレッスンで
4つ目もその2候補だけになると、入れ替えた2つの解ができてしまいます。解の一意性がない問題には、このタイプ1の推論を使えません。
アプリの対応するレッスンでは、考え方をたどってから自分で取り組めます。新しい問題では、その盤面の実際の候補から考え直しましょう。
Unique Rectangleについての質問
なぜ解が1つだと保証されている必要がありますか？
ペアを入れ替えてできる2つ目の解を防ぐことが、除外の根拠だからです。一意性の保証なしには使えません。
4つの角は、なぜちょうど2ブロックに必要ですか？
ブロックの条件を変えずにペアを入れ替えられるためです。任意の長方形がこの条件を満たすわけではありません。
4つ目のマスには何が残りますか？
示したType 1では、ペアの両方の数字を消します。追加候補が複数残れば、そのマスはまだ確定しません。
4つの角すべてからペアを消せますか？
いいえ。この場合に消すのは追加候補のある角だけで、ペアだけの3マスではありません。
ほかの3つの角にも追加候補がある場合は？
このType 1の条件を満たしません。長方形の形だけでは除外を証明できません。
続きはUnisuで練習
iPhone・Android向けのUnisuをダウンロード。ナンプレを解いたり、レッスンでテクニックの考え方をたどったりできます。
