ナンプレを解く手法は、基本手順から上級手順まで全てあるマスにある数字を仮定することから始まります。ですので、ナンプレのロジックは全てが仮定法ですと主張される方も少なくありません。
Yahoo！知恵袋の常連の回答者お二方が、「XY-Wing は仮定法である」「いや、そうではありません」と激しいバトルを繰り広げております。なかなか面白い内容なので、ご覧になっていない方は是非閲覧してみてください。2020年4月13日付けの数独での質問です。
今回の題材は、XY-Wing ＝仮定法派の方が、自分は解けないからと提示された作品で、次の図です。
私はこの作品を「矜持」と名付けました。矜持とはプライドも意味します。
まず、解き易くします。
整理して、
この図から解き始めます。
中段ユニットで、５と８は同居しないので同種が決まっています。４は▢で５と８と各々一回同居で、その時４－３の磁石候補です。また、▢で４は８と同居しないので、４と８は同種です。どちらかは誤りですので、３と８は異種になります。異種は一回同居しますので、３が入ります。
進めて、
下段ユニットで、１は▢で５と９と各々一回同居で５と９は同種です。また、▢で１は９と同居しないので、１と９は同種です。どちらかは誤りですので、５と１は異種になります。
１と５は異種ですので一回同居します。ですので、１または５が入ります。１が入ると１が入り、５が入ると５が入ります。従って、３と８は削除されます。
左側ユニットで、▢は３と９が決まっています。４は▢▢▢で９と一回同居でその時４－３の磁石候補です。また、▢▢▢で４は９と同居しないので、４と９は同種です。どちらかは誤りですので、３と９は異種になります。
３と９は異種ですので、一回同居します。▢で同居していますので、３は削除されます。
８は▢で７と同居しないので８と７は同種です。また、▢で８は９と一回同居するので、８と９は異種です。どちらかは誤りですので、７と９は同種になります。同種は同居しませんので、７は削除されます。
進めて、
下段ユニットで、１は▢で９と一回同居そして▢で７と一回同居で９と７は異種になり、９と７は▢で一回同居しています。
同じルートで、１は▢で５とも一回同居していますので、５と７は異種になり▢で一回同居します。従って、５が入ります。
５で進めて、
１で進めて、
９で進めて、
３で進めて、
６で進めて、
三国同盟で、
二国同盟で、
二国同盟で、
進めて、
三国同盟で、
６で進めて、
３で進めて、
８で進めて、
５で進めて、
４で進めて、
９で進めて、
４で進めて、
２で進めて、
１で進めて、
７で進めて、
２で進めて、
正解です。
難問でしたね。恐らく既存のロジックだけでは解けないと思います。この作品を提示された方も仮置きしらみ潰しの手法なら答えに辿り着けるでしょう。しかしご自分は解けないと断言しています。このことが何を意味するのか考えると・・・。
たぶん、解けるものなら解いてみて、でもそれは仮定法ですよと言っているのだと思います。
次回は、ツイッターに投稿された質問図で次の図の作品です。
私はこの質問図ではなく出題図を「卒検」と名付けました。あたかも運転技能試験の難関である縦列駐車のようです。
▢の数字が一番先に決まります。ですが、一回のバックではダメで切り返しが必要です。つまり二回のロジックが必要となります。仮置きの仮免ではなく、本免許を取得するよう挑戦してみてください。
ご覧頂きまして有難うございました。