こういう理由なんです
図1-1 の盤面を例にとりましょう。
まずは、ベースセットとカバーセットのおさらいをしておきます。
- 青色ヨコ3列において、数字Xは★の位置にしか入らない。
- そして、その★マスすべてを3個の黄色 house で覆い尽くせた!
こういう状況で話を進めていきます。
ベースセットは青色ヨコ3列で構成されています。
B1B2B3と名前をつけておきます。
そして、それぞれを ベース要素 と呼ぶことにしましょう。
カバーセットは3個の黄色 house で構成されています。
C1C2C3としておきます。
そして、それぞれを カバー要素 と呼ぶことにしましょう。
さて、実はすべての★マスに共通する特徴があります。
それは、次の特徴です。
- どの★マスも、ただ1つのベース要素とただ1つのカバー要素に属している。
つまり、どの★マスも複数の青色ヨコ列に所属しておらず、かつ、複数の黄色 house にも所属していません。掛け持ちしていないんですね。
例えば、図1-2 のピンク色★マスはB2とC3にのみ所属しています。
この「ただ1つの」というのが重要です。
では、3つのベース要素(青色ヨコ列)に数字Xを1個ずつ入れていきます。
B1から順に数字Xを入れていきましょう。
もちろん、「どのベース要素も数字Xは★マスにしか入らない」という前提を忘れてはいけません。
だから、どれかの★マスに数字Xを入れることになりますね。
まず、B1ではマスPに数字Xを入れてみます(図1-3)。
図1-2 で説明した通り、マスPの所属するカバー要素は1つだけです。
C2だけですね。
マスPに数字Xが入ったことで、次のようになりました。
- C2では、★以外の黄色マスに数字Xは入らなかった。
3つのベース要素に数字Xを1個ずつ入れるということをやっているので、数字Xの入ったB1はもぅお役御免!
ということで、除去しちゃいましょう。
そして、もう数字Xの入れられない★とC2も除去しちゃいます。
ベース要素もカバー要素も2個ずつになりました。
続いて、またベース要素に数字Xを入れます。
次はB2のマスQに数字Xを入れてみましょう(図1-5)。
マスQの所属するカバー要素も1つだけです。
C1だけですね。
マスQに数字Xが入ったことで、次のようになりました。
- C1では、★以外の黄色マスに数字Xは入らなかった。
数字Xの入ったB2はここでお役御免!
ということで、除去しちゃいましょう。
そして、もう数字Xの入れられない★マスとC1も除去しちゃいます。
ベース要素もカバー要素も1個ずつになりました。
最後はB3に数字Xを入れるだけ。
★が3個しか残ってないので、そのどれかに数字Xを入れて終わり!
マスRにしときましょうか。
そのマスに数字Xを入れたら最後はこうなります。
- C3では、★以外の黄色マスに数字Xは入らなかった。
さぁ、これですべてのベース要素に数字Xを入れ終わりました。
ここで、カバーセットについてどんなことが成り立ったでしょう?
順番に全部書いてみます。
- C2では、★以外の黄色マスに数字Xは入らなかった。
- C1では、★以外の黄色マスに数字Xは入らなかった。
- C3では、★以外の黄色マスに数字Xは入らなかった。
なんと!
どのカバー要素も、★以外の黄色マスに数字Xは1つも入らなかったのです!
上記は一例ですが、数字Xの入れ方にかかわらず、上記と同様の理屈が成り立ちます。
そして、どのカバー要素も★以外の黄色マスに数字Xは入らないという結論が得られるんです。
……と、こうしてドヤ顔で説明してはみたものの、長い😅
もっとエレガントに説明できる頭が欲しい😅
もし素晴らしい説明をしているサイトが存在していたら、そちらの方を見ちゃってください😅