【解説】Endofin

　Mutant Swordfish を例に話を進めていきましょう。
　その Fish は以下の状況になっていました。

• ３個の青色 house において、数字１の入り得るマスは★しかなかった。
• そして、その★マスすべてを３個の黄色 house で覆い尽くせた！

　青色 house を全部まとめてベースセット、黄色 house を全部まとめてカバーセットと呼びました。

　ベースセット内部にある★マスは１つ残らずカバーセットで覆われています。
　この状況の時、次の結論が得られましたね。

• すべてのカバー house において、必ずどれかの★マスに数字１が入る。
  よって、カバーセット内部の★以外のマスに数字１は入らない。

　図1-1 の×印マスに数字１は入らず、★以外の黄色マスは全滅！
　……となったわけです。

　さらに、ベース house 同士が交わっている場合、重要な条件がもう１つありました。

• ベース house 同士の交差箇所に★マスは１つも存在しない。
  言い換えると、どの★マスもただ１つのベース house に属している。

　図1-2 では交差箇所は２マスありますが、どちらも★マスではありません。
　どの★マスも複数の青色 house を掛け持ちしていないんですね。

　図2-1 を見てみましょう。
　３個の青色 house（タテ１列＆ヨコ２列）において数字１の入り得るマスを探した時、★の位置にしかなかったとします。
　★は12個あります。

　なんだか★の配置が前セクションとすごく似てますね！
　違うのは「★が２個増えた」くらいのモンでしょうか。

　これも同じようにカバーセットで覆い尽くすことができそうですね。
　じゃぁ、３個の house で覆ってみましょうか。

　おぉ、★マスを全部覆い尽くせました😊
　タテ１列とブロック２個で見事スッポリ！（図2-2）

　ただ、今回の Fish は今までとは決定的に違うところがあります。
　複数の青色 house に属している★マスがあるんです。
　赤色★のマスが２個、なんと、どちらも２つのベース house を掛け持ちしている！

　この掛け持ちしている★マスのことを endofin と呼びます。
　fin は「ひれ」という意味です。
　"Fish" 系の解法らしく、魚の「ひれ」ですね。

　ちなみに、endo は「内部の」という意味を持つ接頭辞です。
　ここでは「カバーセットの中にあるひれ」と解釈すると良いでしょう。

　このセクションからは、新しい Mutant Fish を使って解説しましょう。

　４個の青色 house（タテ１列＆ヨコ３列）において数字１の入り得るマスを探した時、★の位置にしかなかったとしましょう（図3-1）。
　Mutant Jellyfish だけあって、やたら★が多いですね。

　この★マスをカバーセットで覆い尽くしてみます。

　カバーセットで★マスを覆い尽くしました（図3-2）。
　タテ２列＆ブロック２個でスッポリ覆えた😊

　というわけで、こういう状況になりました。

• ４個の青色 house において、数字１は★マスにのみ入り得る。
• その★マス全部を４個の黄色 house で覆い尽くせた。
• 赤色★マスは endofin。

　ベースセットは青色のタテ１列＆ヨコ３列です。
　カバーセットは黄色のタテ２列＆ブロック２個です。

　実は、単に endofin が散らばっているだけだと何の結論も得られません。
　しかし、どの endofin とも house を共有している黄色マスがある場合、次の結論が得られるんです。

• カバーセット内部の★以外のマスのうち、どの endofin とも house を共有しているマスがある。そのマスに数字１は入らない。

　図3-3 だと、×印の２マスが該当します。
　この２マスはカバーセット内部にあり、かつ、どの endofin ともブロックを共有しています。
　この２マスに数字１は入らなくなるんですね。

　なぜこういう結論になるんだろう？
　それを解説しましょう。

　とりあえず言えるのは、次のどちらかが必ず成り立つということです。

• どれかの exofin に数字１が入る。
• どの exofin にも数字１は入らない。

　この両者についてそれぞれ論理展開していきましょう。

　まずは前者。
　これは簡単です。
　endofin のどちらに数字１が入ろうとも、同じブロック全体に数字１が入らなくなります（図3-4 ×印）。

　次に後者。
　この場合は、endofin がすべてなくなります。
　つまり、ただの Mutant Jellyfish に様変わり！

　ということは、★以外のすべての黄色マスに数字１が入らなくなります。
　★以外の黄色マス、全滅！（図3-5 ×印）

　図3-4 と 図3-5、両者のうち片方が成り立ちます。
　２つの図を見比べてみると……共通して×印のついているマスがありますね！
　そのマスに数字１は入らないということが言えるんです。
　具体的には 図3-6 の２マスです。

　図3-3 の結論通りになりましたね😄
　これが endofin を持つ Fish がもたらす結論なんです。

　さて。
　endofin である★マスにも数字１が入る可能性はありますよね。
　実際にそこに１が入ったとしたら、どんなことが起こるんでしょう？

　例えば、上の endofin に数字１が入ったとしましょう。
　すると、２個のベース house に同時に１が入りました。１の入っていないベース house は一番下の青色ヨコ列しかありません。そこの★マスにも１を入れてみます。
　例えば 図4-1 のような感じ。
　この状態で、ちょいとカバーセットに目をやると……ん？　あれ？

数字１が入ってないやん！

　なんと、右下の黄色ブロックに数字１がありません。
　どの★マスにも１を入れられない、まっさらな黄色ブロックができてもぅた😐

　実は、これは 図4-1 に限った話ではありません。
　endofin に数字１がある限り、どれかのカバー house はこういう運命になるんです。
　もちろん、そのカバー house では★以外の黄色マスに数字１が入ることになっちゃいますね。

　図5-1 の盤面はこういう状況になっています。

• ４個の青色 house において、数字１の入り得るマスは★のみだった。
• そして、その★マスを４個の黄色 house で覆ってみた。
• すると、★マスが１個漏れてしまった。
• また、複数の青色 house に属している★マスがある。

　ベースセットは青色のタテ２列＆ヨコ２列です。
　カバーセットは黄色のタテ１列＆ブロック３個です。

　この Fish には exofin も endofin も１個ずつ存在します。
　さて、どこにあるでしょう？

　ここにあったんです。
　青色★と赤色★、この２つです（図5-2）。

• 青色★マスが exofin。
• 赤色★マスが endofin。

　この Fish は、exofin も endofin も付いている Mutant Jellyfish なんですね。

　字面を見るとスゴイですね。
　体外にも体内にもひれが付いているクラゲ。
　あまりにも "mutant" すぎる😅

　この Fish からどういう結論が得られるんでしょう？
　実は、結論はセクション３とほとんど同じです。

• カバーセット内部の★以外のマスのうち、どの exofin/endofin とも house を共有しているマスがある。そのマスに数字１は入らない。

　図5-3 だと×印の２マスが該当します。
　そのマスはカバーセット内部にあり、exofin とはヨコ列を共有し、endofin とはブロックを共有しています。
　そのマスに数字１は入らないというわけです。

　理由は３に似ています。
　次のどちらかが成り立つので、両者をそれぞれ論理展開していけばＯＫです。

• exofin/endofin のどれかに数字１が入る。
• どの exofin/endofin にも数字１は入らない。