以前「本能寺」で仮定法をご覧頂きましたが、あれは主役を「偶数個連鎖」にしましたので、矛盾切り返しの仮定法でしたが。しかし、主役を「偶数個連鎖擬き」にしますと新しい手法になると思います。今回も同じような場面が出現しましたので、おまけ欄に記しました。
今回の題材は、いちごナンプレ研究所 さんの作品で、ツイッターでの難易度ポイント４１４Ｐで目標タイム１２０分の次の図です。
よく見ると７が不在ですので、私はこの作品を「留守番」と名付けました。上級者でも１２０分ではとても解けない超難問です。
候補数字を書き出しますとこの図になります。整理しますと、
３で進めて、
１で進めて、
この図から解き始めますが、この本文の主役は Bahamut です。従って、これからご覧頂く数手は Bahamut のための下地です。
４の偶数個連鎖です。４から右へ 強・弱・強・弱・強・弱 で、４は削除されます。よく見ると、これは Swordfish でもあります。どちらを使っても結果は同じです。
４の偶数個連鎖です。２から右へ 強・弱・強・弱・強・弱 で、２は削除されます。これも Swordfish です。
３の奇数個連鎖です。３から下へ 強・弱・強・弱・弱 で、３は削除されます。
３の強リンクが在ります。
これに４の強リンクを繋げます。
更に３の強リンクを繋げますと、
▢の３と▢の３は一心同体になります。故に▢の３と▢の３のそれぞれと同じ領域に在る▢に対抗として３が入ります。従って３は削除されます。
３の強リンクに５の強リンクを繋げます。
これに２の強リンクを繋げます。
これが最後で、４の強リンクを繋げます。全ての数字が強リンクですので、赤グループまたは青ｸﾞﾙｰﾌﾟのどちらかの数字が確定します。ここで眠っていた Bahamut が目を覚まします。
第３列をご覧下さい。５が入れるマスを探します。▢には３と４のどちらかが入りますので、５は入れません。ですので▢と▢のどちらかに入るのですが、
▢と▢のどちらに入っても５なのです。これが何を意味するのかお分かりでしょう。そうです。この作品には５は存在しないのです。５が存在しなければ他の全ての青数字も存在しないことになります。
存在しない青数字は削除されます。これが Bahamut の威力です。
４で進めて、
３で進めて、
８で進めて、
１で進めて、
７で進めて、
５で進めて、
１で進めて、
二国同盟で、
二国同盟で、
７で進めて、
９で進めて、
５で進めて、
６で進めて、
９で進めて、
３で進めて、
８で進めて、
正解です。
この作品を理詰めで解くには、この本文の手順と、おまけ欄に記した偶数個連鎖擬きを使った手順しか無いと思います。別の手法で解いた方はその手順を教えて頂けると有難いのですが。
おまけです。
冒頭にも記しましたが、「謀反」と名付けた偶数個連鎖擬きを使用した新手をご覧下さい。
本文で３の奇数個連鎖を使った後の図です。
２本の強リンクを見つけます。この２本を繋げた時に偶数個の Loop になり、偶数個連鎖にならない場合が攻め時です。
２本の強リンクのそれぞれの先端が同じ領域に在り、弱リンクになっている場合にその先端の数字は削除されるという手法です。上図の場合には▢の３が該当します。
従って、３が確定するという手法です。
これを仮定法で証明すると。
２本の強リンクを繋げた時に３と３が交互になるようにすると、
六つ目の３が何処に入っても、左上の３から下へ 強・弱・強・強・弱・弱 で偶数個連鎖にはなりません。つまり偶数個連鎖擬きになります。この理由ははどちらかの強リンクの色分けが違うからです。
右側の強リンクの色を反転してみると、第５行に３がダブりますので、削除されます。おまけの最初に申し上げた通りになります。
つまり、３が確定します。
３が確定しますと、芋づる式に ８・１・４・７ が決まります。
ダメ押しです。
「本能寺」の場合は、
信長座と光秀座が合体した図です。
▢を信長座▢を光秀座とすると８個型の偶数個連鎖擬きになります。（なぜ偶数個連鎖にならないのかは「本能寺」本文をお読み下さい）
▢ブロックで先端が同居して弱リンクですので、７も７も削除されます。
第９行でも先端が同居して弱リンクですので、７も７も削除されます。
削除されますと、
信長座では７が確定し、光秀座では７が確定します。
この「謀反」偶数個連鎖擬き は結構使い道が有ると思います。
次回はツイッターでの難易度ポイント４０４Ｐの、ろばくん 作の対角線ナンプレで次の図です。
今度はヒント数字に９が居ません。それで私は「留守番Ⅱ」と名付けました。通常問題として挑戦しましたが、無理だったので対角線の条件を使って解きました。それでも難しいですヨ。
ご覧頂きまして有難うございました。