１．Forcing Net とは何ぞや？
まずは、Forcing Net とは何かを説明しましょう！
……とは言ったものの、実はあんまり説明することがないんです。
なぜなら、Forcing Chain とほとんど同じだからです。
チェーンを使う解法だし、論理展開も Forcing Chain とまったく同じだし。
でも、Forcing Net という名前が付いているくらいなので、Forcing Chain とはちょっと違う。
はて、何が違うんでしょう？
このセクションでは、両者の違いを説明していきます。
以降、図の中には赤い矢印と青い矢印がありますが、それぞれ 強いリンク と 弱いリンク を表します。
まぁ、両者の違いは正直簡単です。
チェーンに枝分かれや合流があるか否か。
これだけ。
Forcing Chain で使われるチェーンはどれも一本道でした。
これは Forcing Chain だけでなく、X-Chain など他の解法でも一本道なんですね。
それに対して、分岐や合流のあるチェーンを使った Forcing Chain のことを Forcing Net と呼ぶんです。
分岐・合流とは、具体的には 図1-1 のような形です。
マスＡからＤへとリンクが続いていますが、マスＢの４で二手に分かれ、マスＣの３で他のチェーンと合流してますね。
これが Forcing Net で使われるチェーンなんです。
もちろん、ただチェーンが分岐するだけでは Forcing Net を紹介する意味がありません。
分岐があるからこそできる論理展開もあるんです。
分岐チェーンの持つ特徴、ひとつ紹介しましょう！
図1-2 には、マスＡから始まるネットがあります。
マスＢの３で左右に分岐した２本の流れはマスＣに集結しています。
ここで、「マスＡに数字３が入る」と仮定して二股のチェーンを伝っていくと、マスＣには３も９も入れられなくなりますね。
ということは、マスＣに４が確定することになる。
あれ？
そうなると、マスＣの４からリンクを伝って別の連鎖が始まるんじゃない！？
そう。新たな連鎖が発生してマスＤまで行っちゃうんです！
こういうふうに、分岐した道筋が同じマス・同じ列・同じブロックに再集結することで、新たに連鎖を生み出すことがあります。
Forcing Net では、こういった連鎖の自動発生もカギとなるんです。
次セクションでは具体例を使って解説していきますが、この連鎖自動発生が何回か起こります。
だから、このことは頭の片隅に入れておきましょう。
２．実際に使ってみよう！
次は、実際の盤面で Forcing Net を使ってみましょう。
さて、いきなりですが結論を言っちゃいます。
- マスＸに数字５が確定する。
え？ もう結論？
まぁまぁまぁ、Forcing Net は図がゴチャゴチャになりやすいもんで結論を先にしてみました。
なんせ実際に使うチェーンは 図2-1 の通りでして😅
マス内部のリンクを省略してるのにゴッチャゴチャ😅
次を示すことで結論に導こうと思います。
- マスＡにどの数字が入っても、必ずマスＸに数字５が入る。
マスＡには候補数字２, ４, ９がありますね。
そこで、２つに場合を分けて説明していくことにします。
- マスＡに２または４が入る場合。
- マスＡに９が入る場合。
ま、説明とは言っても、やることは「リンクをなぞるだけ」です。
同じ文言を繰り返すだけなので、読んでて飽きるかも😅
リンクを理解している方々なら、図だけでわかると思います。
サクッと読んじゃって（見ちゃって？）ください。
あっ、このセクションのメインは「b. マスＡに９が入る場合」です。
a. はチェーンに分岐がありません。なので b. を重点的に解説していきます。
a. はテキトーにしゃべって終わらします😅
まずは「a. マスＡに数字２または４が入る」場合。
テキトーにしゃべります。
Ａ＝２orＡ＝４ということは、マスＡに９が入らないということと同じです。
そう考えることにして、使うチェーンは 図2-2 の通り。
ただの一本道です😅
- マスＡに９は入らない。
- 強いリンク によりマスＢに９が入る。
- 弱いリンク によりマスＣに９は入らない。１が入る。
- 弱いリンク によりマスＤに１は入らない。６が入る。
- 弱いリンク によりマスＥに６は入らない。
- 強いリンク によりマスＦに６が入る。５は入らなくなる。
- 強いリンク によりマスＸに５が入る。
というわけで、マスＸに数字５が入りました。
めでたしめでたし。
さぁ、次はいよいよメインです。
「b. マスＡに数字９が入る」場合。
使うチェーンは 図2-3 です。
なんか結構複雑😓
もちろん、１つ１つ解説していきますよ〜！
マスＡの候補数字９からはルートが２種類あります。
まずは簡単な方を歩いてみましょう。
下方向の弱いリンクをたどってみます。
- マスＡに９が入る。
- 弱いリンク によりマスＢに９は入らない。
- 強いリンク によりマスＣに９が入る。
- 弱いリンク によりマスＤに９は入らない。
マスＤに数字９は入りませんでした。
それがわかったところで、このルートはここで終わり。
マスＡに戻って、もうひとつのルートを歩いてみましょう。
今度は、マスＡから右方向へたどってみます。
- マスＡに９が入る。
- 弱いリンク によりマスＥに９は入らない。
- 強いリンク によりマスＦに９が入る。
- 弱いリンク によりマスＧに９は入らない。
また、マスＥの候補数字９からは別ルートがあります。
手順 2. から続けます。
- 弱いリンク によりマスＥに９は入らない。
- マスＥに４が入る。
- 弱いリンク によりマスＨに４は入らない。
ついでに、マスＡからはこれも言えますね。
- マスＡに９が入る。
- 弱いリンク によりマスＪに９は入らない。
図2-5 では、マスＥにルートが２つありましたね。
つまり、マスＥの候補数字９からチェーンは二手に分かれていた。
これが Forcing Net の大きな特徴なんです。
なんだか候補数字が結構除去されてきましたね。
ここで、青色タテ列に注目してみましょう。
さて、数字９の入るマスはいくつあるでしょうか？
実は、たった１つしかない！
３マスＤ, Ｇ, Ｊの候補数字９がことごとく除去されてしまって、１マスしか残っていなかったんです。
というわけで、マスＫに数字９が入ることになりました。
しかも、よく見ると……マスＫの候補数字９から弱いリンクが出ているじゃぁないですか！
- マスＫに９が入る。
- 弱いリンク によりマスＨに９は入らない。
マスＫから新たに連鎖が始まった！
これが、前セクションで述べた「連鎖の自動発生」なんです。
さて、マスＨを見てみましょう。
マスＨの候補数字４は既に消えていました。
そして、候補数字９はたった今消えた。
マスＨには数字３を入れるしかなくなっちゃいました。
しかも、マスＨの候補数字３からは弱いリンクが出ています。
連鎖の自動発生再び！
ここから先はリンクに沿って歩くだけです。
ゴールまであと少し！
- マスＨに３が入る。
- 弱いリンク によりマスＬに３は入らない。５が入る。
- 弱いリンク によりマスＭに５は入らない。
- 強いリンク によりマスＸに５が入る。
やっとマスＸにたどり着きました。
もぅあっちこっち回りましたね！
この場合もマスＸに数字５が入りました。
というわけで、図2-1 の結論通りになりました😊
更新履歴
- 2022. 2. 5.
- 新規公開。
- 2023. 3.31.
- ページ冒頭に難易度表記を追加。