(4)上級ステップ
①「XY-wing」 の成立を調べる
中級ステップまでは(1)マスに数を入れる (2)候補数を消去する手筋、を考察し、一部例外(「2国同盟」)を除いて、ある候補数についての消去を考えました。更に複数の候補数を考える事とし、一つのユニット内を考察(「同盟」関係)しました。ここからは「幾つかのユニットに跨り、複数の候補数」について考えます。
その手筋は沢山あります。問題解決に登場する事の多そうな「手筋」から順に紹介します。まず「XY-wing」です。「X-wing」が候補数一つについての「手筋」でしたから、複数のユニットの間で成立する「XY-wing」は「X-wing」とはまるで内容が違います。図1を見てください。
図1
「XY-wing」の一般的定義では無く、図1に即して”準定義”的な説明をします。マスb2に注目です。ここには候補数は2個{x,y}のみが入る事を図の様に表し、b2={xy}と表現します。その{xy}のマスと同一のユニット(b行)の中のマスがb6={xz}で、かつ{xy}のマスと同一のユニット(2列)の中のマスをd2={yz}とします。この時b6={xz}とd2={yz}の両方と同一ユニットを形成するマスが存在すれば(図では水色印のマスd6)、そのマスに候補数zは存在しない、言い方を変えれば、そのマスからzを消去出来る、これが「XY-wing」の内容です。
少し記号に拘れば、この事実を『zx-xy-yz』と表現し、真ん中の「xy」(のマス)を「核」と呼ぶ事があります。
又マスd6の事を「b6、d2の両方のマスを見ることの出来る」マスと呼ぶ事もあります。何故この「手筋」が成立するか。説明は図2をご覧下さい。
図2
図2で仮にd6=z と数が確定すれば、連鎖的にb6=x、d2=y と決まり、b2に入る数がなくなってしまいます。
この「XY-wing」は次のような場面でもその成立条件を満たしていますから、結論として幾つかのマスからzを消去出来るわけですが、図3を見て、消去出来るマスを過不足なく指摘できますか。
図2
正解は図3を見てください。
図3
{xy}を核として『zx-xy-yz』の「XY-wing」が成立しますから、{xz}と{yz}を見ることの出来る、図3の水色印のマスから、zを消去する事が出来ます。
さて図4で、「XY-wing」が成立するか否かを調べる局面に立ち至ったとします。どう「XY-wing」は成立しているのでしょうか?
解答を読む前にお考え頂いても結構ですし、読んだ後例題に挑戦して頂くのでも良いかと思います。(例題は次回のブログで)
図4
「XY-wing」攻略の戦略について書きます。
「XY-wing」は発見が難しいと、”大海原で真珠を探す”事に譬えられますが、そんなことはありません。比較的簡単です。何故なら、候補数が2個のマスについてのみ考えれば良いからで、かなり限定して考察すれば良いからです。図4と図5の両方を見ながら、お読み下さい。
図5
マーちゃんは、ペア数の一覧を作ります。例えば{3,2}なるペア数は23と認識し、ペア数を小さい順に並べます(図5左)
例えば19(3)はペア数19は3回登場するという意味で、この重要性は後述します。
ペア数を小さい順に並べた後、12と13から出来るペア数23がこの一覧の中に登場するか眺めます。ありません。
12と15のペア数から出来るペア数25は一覧の中にありますから(12 15 25)が「XY-wing」を形成する可能性ありとして図5の右の図に書き置きます。
丁寧に、全ての場合について調べ尽くし、この組合せを作っていったところ、図の右のような組合せで「XY-wing」の可能である事が判明しました。
次に、解いている問題用紙を用い、該当するマスの上にオセロ石を置き「XY-wing」の条件を満足しているか調べます。これらを調べるときに例えば19のマスにオセロ石を置くときに、19(3)ですから、19の置き場所3通り全てを調べなければなりません。19(3)はこの点の注意マークの意味もありました。
さて、(12 15 25) (12 17 27) (13 17 37)
(13 19 39)の全てで「XY-wing」の成立する条件の配置は見出せません。「XY-wing」不成立ですが、最後に(24 25 45)で「XY-wing」が成立している事に気が付き、ホッとします。図6を見てください。
図6
『a1-c2-g2』で「XY-wing」の条件を満たしています。それらのマスで『54-42-25』が「XY-wing」。よってa1とg2を見る事の出来るマスg1(水色印マス)から5を消去出来ます。
g1={37}となった結果、g1=h2={37}で「自明の2国関係」が成立しますから、h3から7が消去でき、h3=2が確定し、後は、問題が堰を切ったように解決に向かいます。