【ナンプレ解法】Finned X-Wing

１．どういう解法？

　Finned X-Wing の舞台は X-Wing と同じ。平行な２列。
　その中の４マス＋αが繰り広げる解法です。
　４マスは X-Wing と同じく矩形状に並んでいるのに、＋αのおかげで世界はまったく違います。

図 1-1

　図1-1、青色とピンク色のヨコ２列を見てみましょう。
　この２列において数字１の入り得るマスを探したら、次の状況だったとします。

青色ヨコ列において、数字１は●と○にしか入らない。
ピンク色ヨコ列において、数字１は ▲ △ △₁ △₂ にしか入らない。
４マス●○▲△は矩形状に並んでいる。
△₁ △₂ は△と同じブロックに属している。

　なんだか矩形に尻尾が生えちゃった感じの見た目ですね。
　これが Finned X-Wing の最大の特徴です。
　これがあるだけで、X-Wing とはまったく異なる結論に至るんです。

　ここで、用語をひとつ紹介しましょう。
　図1-1 では尻尾のように付いた △₁ △₂ がありました。これを fin と呼びます。
　fin は「ひれ」という意味です。
　「ひれの付いた X-Wing」ということで、この解法には Finned X-Wing という名前が付いています。

図 1-2

　さて、前図1-1 からはどういう結論が得られるんでしょう？
　こうなるんです。

○ △ △₁ △₂ の４つすべてと列やブロックを共有するマスがある。そのマスに数字１は入らない。

　図1-2 だと×印の２マスが該当します。
　この２マスは○と同じタテ列に属しています。同時に、△ △₁ △₂ と同じブロックに属しています。
　この２マスに数字１を入れられなくなるんですね。

　なぜ、こういう結論になるんでしょう？
　それは、○ △ △₁ △₂ のうち少なくとも１つに必ず数字１が入るからなんです。
　それを解説しましょう。

図 1-3

　図1-3 の盤面、●と▲が同じタテ列に属していますね。
　ということは、●と▲の両方に数字１を入れるということはできません。
　つまり、●と▲のうち少なくとも一方には数字１を入れられません。

　●に１が入らない場合は、○に必ず１が入ります。
　▲に１が入らない場合は、△ △₁ △₂ のどれかに必ず１が入ります。
　ということは、「○に１が入る」「△ △₁ △₂ のどれかに１が入る」のうち最低１つは成り立つわけですね。

　この結果はもっと簡潔に言うことができます。
　こんな感じで。

○ △ △₁ △₂ のうち少なくとも１つに必ず数字１が入る。

図 1-4

　○ △ △₁ △₂ のうち少なくとも１つに必ず数字１が入る。
　そうなると、数字１を入れられないマスが生じます。
　×印の２マスです（図1-4）。

　その２マスは○とタテ列を共有し、△ △₁ △₂ とブロックを共有しています。
　そして、○ △ △₁ △₂ のどれかには必ず数字１が入るのだから、×印の２マスには数字１を入れられないわけです。

　図1-2 の結論通りになりましたね😊
　これが Finned X-Wing です。

fin は１つだけでもＯＫ！

図 1-5

　図1-1 では、fin は △₁ △₂ と２つありました。
　実は、fin は１つしかなくてもかまいません（図1-5）。

　この場合でも、まったく同じ論理展開ができます。
　○ △ △₁ のどれかに数字１が入るため、×印のマスに数字１を入れることができないんですね。

　ちなみに、fin が１つもない場合はただの X-Wing です。

　上記の例では、青色＆ピンク色はヨコ列でした。
　もちろん、タテ列の場合でも理屈は同じです（fin はタテに並びます）。
　その場合については、セクション２で実例を挙げて説明していきましょう。

　このページは、単に Finned X-Wing の概要を知りたいという方々へ向けて書いたものです。
　Finned X-Wing は Fish 系解法の一種ですが、Fish 系解法において重要な概念が２つあります。
　それは ベースセット と カバーセット です。
　どの Fish 系解法もその２セットを使って論理展開していくので、Fish 系解法を深く理解したければ２セットの理解は必須です。
　この２セットによる Finned X-Wing を知りたい方々は Exofin のページをご覧ください。