ナンプレを解く手法は、基本手順から上級手順まで全てあるマスにある数字を仮定することから始まります。ですので、ナンプレのロジックは全てが仮定法ですと主張される方も少なくありません。
Yahoo!知恵袋の常連の回答者お二方が、「XY-Wing は仮定法である」「いや、そうではありません」と激しいバトルを繰り広げております。なかなか面白い内容なので、ご覧になっていない方は是非閲覧してみてください。2020年4月13日付けの数独での質問です。
今回の題材は、XY-Wing =仮定法派の方が、自分は解けないからと提示された作品で、次の図です。
私はこの作品を「矜持」と名付けました。矜持とはプライドも意味します。
まず、解き易くします。
整理して、
この図から解き始めます。
中段ユニットで、5と8は同居しないので同種が決まっています。4は▢で5と8と各々一回同居で、その時4-3の磁石候補です。また、▢で4は8と同居しないので、4と8は同種です。どちらかは誤りですので、3と8は異種になります。異種は一回同居しますので、3が入ります。
進めて、
下段ユニットで、1は▢で5と9と各々一回同居で5と9は同種です。また、▢で1は9と同居しないので、1と9は同種です。どちらかは誤りですので、5と1は異種になります。
1と5は異種ですので一回同居します。ですので、1または5が入ります。1が入ると1が入り、5が入ると5が入ります。従って、3と8は削除されます。
左側ユニットで、▢は3と9が決まっています。4は▢▢▢で9と一回同居でその時4-3の磁石候補です。また、▢▢▢で4は9と同居しないので、4と9は同種です。どちらかは誤りですので、3と9は異種になります。
3と9は異種ですので、一回同居します。▢で同居していますので、3は削除されます。
8は▢で7と同居しないので8と7は同種です。また、▢で8は9と一回同居するので、8と9は異種です。どちらかは誤りですので、7と9は同種になります。同種は同居しませんので、7は削除されます。
進めて、
下段ユニットで、1は▢で9と一回同居そして▢で7と一回同居で9と7は異種になり、9と7は▢で一回同居しています。
同じルートで、1は▢で5とも一回同居していますので、5と7は異種になり▢で一回同居します。従って、5が入ります。
5で進めて、
1で進めて、
9で進めて、
3で進めて、
6で進めて、
三国同盟で、
二国同盟で、
二国同盟で、
進めて、
三国同盟で、
6で進めて、
3で進めて、
8で進めて、
5で進めて、
4で進めて、
9で進めて、
4で進めて、
2で進めて、
1で進めて、
7で進めて、
2で進めて、
正解です。
難問でしたね。恐らく既存のロジックだけでは解けないと思います。この作品を提示された方も仮置きしらみ潰しの手法なら答えに辿り着けるでしょう。しかしご自分は解けないと断言しています。このことが何を意味するのか考えると・・・。
たぶん、解けるものなら解いてみて、でもそれは仮定法ですよと言っているのだと思います。
次回は、ツイッターに投稿された質問図で次の図の作品です。
私はこの質問図ではなく出題図を「卒検」と名付けました。あたかも運転技能試験の難関である縦列駐車のようです。
▢の数字が一番先に決まります。ですが、一回のバックではダメで切り返しが必要です。つまり二回のロジックが必要となります。仮置きの仮免ではなく、本免許を取得するよう挑戦してみてください。
ご覧頂きまして有難うございました。
日付を頼りに、後でヤフー知恵袋を覗いてみます。
私も時々はヤフー知恵袋のお世話にはなりますが、
白熱した論争を見付けるとついつい見入ってしまう事がたま~にあります。
大抵の内容は不毛で、読んだって何の糧にもならないのがほとんどですが、ついつい(笑)
考え方の違う方がそれぞれの主張をしているわけですので、
合意することは滅多に無いと思いますヨ。
ですので、不謹慎ですがお二方の今後が気になります。(反省)