1.BUG Lite の扱う複数解パターン
通常、ナンプレには解は1つしかありません。
これはルールで定められているわけではないですが、世に出ているナンプレはこの性質を必ず持っています。
そのため、「解が複数存在してしまうような理屈はおかしい!」という考えは一理ある。
BUG Lite はその考えから生まれた解法です。
解法を説明する前に、まずは「解が複数存在するとは何ぞや?」という話をしましょう。
ナンプレには、複数解の避けられないパターンが存在します。
パターンの形はさまざまですが、当ページでは BUG Lite に絞って解説していきます。
図1-1、こぢんまりと黄色マスが並んでいますね。
どの黄色マスも候補数字は2個ずつしかないとしましょう。
例えば、一番左上の黄色マスには数字1, 2しか入りません。
黄色全体を見ると、次の状況になっています。
- どの黄色マスを見ても、候補数字は2つしかない。
- 黄色マスの属するどの列やブロックを見ても、黄色マス内部の候補数字はそれぞれ2回ずつしか現れない。
例えば、左端のタテ列には黄色マスが3つありますが、その候補数字1, 2, 4はそれぞれ2回ずつ現れています。
左上ブロックでは候補数字1〜4が2回ずつ現れていますね。
こういう状況だと、どうにも困ったことが起こるんです。
最後まで解き終えることができない!
うまいこと解き進められれば、図1-2 のように白マス全部を数字で埋められるかもしれません。
しかし、これ以上マスが埋まらない。
本当にどうやっても先に進めない!
それもそのはずで、前図1-2 の状況からは完成図を2通り作ることができるんです。
図1-3 ですね。
どの黄色マスも数字は二択だけど、どちらを選んでも完成できてしまう……。
結局、図1-1 の状況が生まれた時点で、そのナンプレは複数解を免れないんですね。
図1-1 の黄色マス全体、これを 複数解パターン と呼びます。
「このマスはこの数字で確定する!」
これが最後の1マスまで続くから、ナンプレは完成まで解き進めることができる。
ところが、盤面に複数解パターンができるとその流れは途絶えてしまう。
どんなに解き進めたとしても、結局は 図1-2 のような状況に陥って解けなくなってしまう……。
解けないことがわかると、解く意欲が急激に冷める。
解けた達成感のないナンプレなんて解く意味がありません。
そういう状況を避けるため、ナンプレ製作者は必ず唯一解を持つように作っています。
そのようなナンプレを解いている時、複数解パターンが現れることは絶対にありません。
したがって、複数解パターンは必ず間接的な使い方をします。
- ナンプレ盤面に複数解パターンが現れそうになったら、それを避けよう!
この使い方を踏まえつつ、セクション2では例を交えて解説しましょう。
ちなみに、BUG とは解法 Bivalue Universal Grave の略です。
BUG は盤面全体を使う解法だけど、BUG Lite は盤面の一部を使う解法です。
文字通り「ライトな BUG」と言えるかな?
でも、4マスしか使わない Unique Rectangle よりは複雑です。
規模としては、Unique Rectangle < BUG Lite < BUG という感じかな😄
2.オマケ候補が1個の場合
では、BUG Lite とはどういう解法なのか?
このセクションと次セクションで例を挙げて解説していきましょう。
図2-1、黄色8マスを見てみましょう。
どの黄色マスも候補数字を2個持っていますね。
ただし、マスAだけは例外で候補数字を3個持っています。
今、マスAの候補数字9を一旦消してみましょう。
すると、図2-1 の盤面は次の状況になります。
- どの黄色マスを見ても候補数字は2つしかない。
- 黄色マスの属するどの列やブロックを見ても、候補数字はそれぞれ2回ずつしか現れない。
この状況、まさに次の通りなんです。
マスAの候補数字9を取り除くと複数解パターンをなす。
この一旦無視した候補数字9のことを、ここでは オマケ候補 と呼ぶことにしましょう。
さて、前図2-1 の状況の時、どういう結論になるんでしょう?
こうなるんです。
- オマケ候補である数字9がマスAに確定する。
なんと、数字9が確定する!
なぜでしょう?
それは、もしマスAに数字9が入らないとすると、複数解パターンが現れてしまうからなんです。
だから、マスAに数字9を入れなきゃいけないんですね。
オマケ候補が1個しかない場合は、その数字が当該マスに確定します。
簡単な結論になりましたね😊
3.オマケ候補が2個の場合
前セクションでは、オマケ候補が1個ある場合について解説しました。
今回はオマケ候補が2個ある場合を解説します。
図3-1、黄色8マスを見てみましょう。
どの空きマスも候補数字を2個持っています。
ただし、2マスA, Bは例外で候補数字を3個持っていますね。
今、マスAの候補数字3とマスBの候補数字5を無視してみましょう。
すると、図3-1 の盤面は次の状況になります。
- どの黄色マスを見ても候補数字は2つしかない。
- 黄色マスの属するどの列やブロックを見ても、候補数字はそれぞれ2回ずつしか現れない。
つまり、こういう状況になるんですね。
マスAの候補数字3とマスBの候補数字5を取り除くと複数解パターンをなす。
この場合のオマケ候補はこの候補数字3, 5です。
さて、前図3-1 の状況の時、どういう結論になるんでしょう?
こうなるんです。
- 2つのオマケ候補のうち少なくとも1つが当該マスに確定する。
つまり、「マスAに3が確定する」「マスBに5が確定する」のうち少なくとも1つが成り立つというわけです。
なぜ、こういう結論になるのか?
それは、もしオマケ候補を2つとも除去してしまうと複数解パターンが現れてしまうからです。
もちろん、それは避けなければいけません。
だから、オマケ候補を最低1つは残さなければいけない。当該マスにオマケ候補を入れる必要があるんです。
「オマケ候補が最低1つは入る」ということがわかった。
それを利用して、もぅちょっと解き進めてみましょう。
青色ブロックに注目してみましょう。
実は、候補数字9は2マスA, Bにしかありません。
つまり、数字9はこの2マスにしか入れられないんです。
これは何を意味するのか。
もしマスAに数字3が入ったら……あ、マスBに9が確定しちゃう。
もしマスBに数字5が入ったら……あら、マスAに9が確定しちゃう。
マスA, Bに候補数字7があるのに、数字7の入る余地がまったくない!
数字7の入る可能性がなくなっちゃったんですね。
というわけで、2マスA, Bから候補数字7が除去されることになりました。
BUG Lite には他にもさまざまなパターンがあります。
例えば次のような感じ。
- オマケ候補が3個以上あるパターン。
- 1マスにオマケ候補が複数入っているパターン。
こういった場合でも理屈は同じです。
もちろん結論も同じ。
「全部のオマケ候補のうち少なくとも1つが当該マスに確定する」となります。
この結論を基に解き進めていくことになりますね。
更新履歴
- 2022. 2. 5.
- 新規公開。
- 2023. 3.31.
- ページ冒頭に難易度表記を追加。
- 2024.11.22.
- セクション1に 図1-3 を追加。