かず5・6年

前回予告の論理パズル「シビュッラの予言」をしました。

『予言者シビュッラ』(再掲)

(中略)あなたはシビュッラの助手として、彼女の記憶を頼りに、その歴史の葉(A~E)を正しく並べなおしてください。

<「ヘラクレスの12の難業」が書かれた葉>
1   ?
2   ?
3 ケリュネイアの鹿の捕獲
4 エリュマントスの猪の捕獲
5 アウゲイアスの家畜小屋の大掃除
6 ステュンパデスの怪鳥退治
7   ?
8 ディオメデスの人食い馬退治
9 アマゾンの女王の腰帯を盗むこと
10 ゲリュオンの牛退治
11    ?
12   ?

<バラバラになった葉>
A「ヘスペリデスの黄金のりんごの入手」
B「レルネのヒドラ退治」
C「クレタのミノタウロス退治」
D「ネメアの獅子退治」
E「地獄の番犬ケルベロスの捕獲」

<シビュッラの記憶>
1 「BはAとCよりも先の出来事じゃったはず」
2 「DもAとCよりも先の出来事じゃったはず」
3 「Bは一番最初の出来事ではなかったはず」
4 「Cは一番最後の出来事ではなかったはず」
5 「もしEがAよりも先の出来事なら、AはCよりも先の出来事で、
   もしEがAよりも後の出来事なら、AはCよりも後の出来事だったはずじゃ」

そして、以下が生徒たちによる答案です。

———

U君

1(の条件)でBは7か2か1。
2(の条件)でDは7か2か1。
3(の条件)は一位はBではないのでBは7か2。でも(Bの)うしろに3つはまらないといけないので、Bは2。(1の条件からBは1~3位。3の条件からBは1位ではない。もしBが3位だったら、EはAよりも上位でなければならず、それは5の条件からCが5位に来て4の条件と矛盾する。従ってBは2位に確定する)

4(の条件)はCは12じゃないので、11か7。
5(の1つ目の条件)はEがAよりも先なら1・2はDとB。でも(つまり)7はE。Aが11。12がC。でも(4の条件から)Cは12じゃないので、EがAよりも先ではない(「EがAより先」という選択肢は棄却される。つまりEはAより後)。

(補足:U君はEが3位に来る可能性だけ書いていますが、1位に来る可能性も考えないと完全ではありません。つまりその時は「1と2と5の条件から、E・B・D・A・Cの並びとなり、しかしこれはCが一番最後ではないという4の条件に矛盾するから」というところまで言わないといけません)

(5の2つ目の条件から)EがAより後なら、これも(同様に)1・2はDとB。E・A・Cをくらべると1位はC。2位はA。ビリはE。(これには矛盾はない)

つまり 1D 2B 7C7 11A 12E

*U君は何と、以前話したことのある「ヘラクレスの12の難業」のことを覚えていて、論理を使わずに「これ知ってる!」と並べはじめ、1番早く正解を出してしまいました。(シビュッラの記憶ならぬ「U君の記憶」による正解でした。)その後、合っている事を確かめるために、この解答を書いてもらいました。

———

T君

Eが一番だった場合
(Eが一番なら必然的にEはAよりも先になり、そして5の条件に)AはCよりさきのできごととかいてある。そして(1と2の条件より)BとDが2か3になり、そしてCがさいごではないとかいてあるのに、最後にCがくるからむじゅんする。

Eが2番の場合
もしEがAよりも先の出来事なら、(5の条件に)AはCより先に行くとかいてあるけど、Cが最後にいってだめなのでむじゅんする(4の条件と矛盾する)。

(補足:最初に1の条件から、Aが一番ではないので必然的に(二番の)Eより後に来ることを示しておく必要がある)

Eが3番の場合
2番と同じことがおこりむじゅんする。

Eが4番の場合
この時も同じことがおこりむじゅんする。

Eが5番の場合(最後)
(Eが最後なので、必然的にEはAの後になり、そして5の条件に)もしEがAよりあとの出来事なら、AはCより先にいくとかいてあるので、AよりCのほうが先になる(1と2の条件から、○○CAEに決まる)。そして(3の条件からBは一番ではないので)あまりの一番にDがはいり、DBCAEのじゅんばんになってなにもおこらない(矛盾しない)のでかんせい!

*Eの順番で5つに場合分けして、機械的でスムーズに解いている点が見事です。

———

N君

まず、1と2の記憶から、BとDはAとCより先の出来事となります。3の記憶で、Bは1番ではないということがわかります。5の記憶から、順番は、EACか、CAEとなります。AとCとEより(も)Bが先なので、Bは2番、残ったDは1番となります。ここで、4の記憶の出番で、EACの順番は除かれ、3、4、5番はCAEの順番となります。最終的にD、B、C、A、Eとなります。

A. 速い順に、D、B、C、A、E

*流石と言うべきか、文句のつけようのない、論理的で無駄の無い答案です。