100匹の緑目ドラゴン問題の解説｜帰納法が5匹目以降も成立する理由と誤解しやすいポイント

「100匹の緑目ドラゴン」という論理パズルは、公開情報と他者の推論を利用して、自分自身の状態を知るという非常に有名な問題です。特に難しい点は、人数が増えたときに「他のドラゴンの仮想世界の中での推論」をどのように考えるかという部分にあります。

この記事では、5匹目以降で帰納法が成立しないように見える理由を整理しながら、なぜ100匹の場合でも同じ論理が成り立つのかを分かりやすく解説します。

100匹の緑目ドラゴン問題で使われる基本的な考え方

この問題のポイントは、ドラゴンが単に他人の目を見るだけではなく、「他のドラゴンも同じように論理的に考えている」と理解していることです。

旅人の発言「少なくとも1匹の緑目のドラゴンがいる」は、実は新しい情報を直接与えているわけではありません。全員が緑目なので、ドラゴンたちはすでに他のドラゴンが緑目であることを知っています。

しかし、それまでは「全員が緑目だと全員が知っている」という事実を共有できていませんでした。旅人の発言によって、その共通知識が成立します。

まず、緑目のドラゴンが1匹だけの場合を考えます。そのドラゴンは他に緑目が見えません。しかし旅人が「緑目が少なくとも1匹いる」と言ったため、自分しか候補がいないと分かります。その結果、1日目に出ます。

2匹の場合、AはBが緑目であることを見ています。Aは「もし自分が緑目でなければ、Bは1匹だけのケースになる」と考えます。Bも同じことを考えます。

そして1日目に誰も出なければ、「相手は自分以外にも緑目がいると考えている」という情報が得られるため、2日目に2匹とも自分が緑目だと分かります。

この考え方を人数分だけ繰り返すことで、3匹なら3日目、4匹なら4日目に全員が出ることになります。

5匹の場合に混乱しやすいのは、仮想世界の中にさらに仮想世界を作るときの考え方です。

例えばAが「自分が赤目だったら」と仮定した場合、Aから見える世界ではB、C、D、Eの4匹が緑目です。

ここまでは正しいです。しかし、そこからBの思考を考える際に、「Bも自分が赤目だと仮定する」と考える必要があります。

重要なのは、その仮想世界はAが作った仮定上の世界であり、現実世界ではないという点です。

質問で問題になっている部分は、「CがBの目を見ることができるなら、Bを緑目として扱うはずではないか」という点です。

しかし、Cが考える対象は現実世界のBではなく、「Aが赤目だった場合の世界におけるBの考え」です。

このとき、Bが赤目だと仮定することは矛盾ではありません。なぜなら、CはBの目を見ているのではなく、「Bが自分自身をどう判断するか」という推論をしているからです。

つまり、仮想世界の中では、現実の目の色をそのまま固定するのではなく、その世界で成立している条件に基づいて考えます。

質問では、「緑目2匹だけの仮想世界が作れないのではないか」という疑問があります。

しかし、ここで重要なのは、Aが考える仮想世界では「Aが赤目である」という条件を置いていることです。

Aが赤目なら、残りの4匹は緑目です。その4匹は、自分たちから見ると3匹の緑目を見ている状態になります。

つまりB、C、D、Eは、4匹のケースではなく、3匹のケースとして推論します。そして3日目まで誰も出なければ、自分も緑目だと判断します。

この考え方は、実際の人数を1匹ずつ減らした場合の推論になっています。

この問題で使われる帰納法は、「人数が少ない場合の結論が分かっているなら、人数が1匹増えても同じ考え方が使える」というものです。

n匹の緑目ドラゴンがいる場合、各ドラゴンは「もし自分が緑目でなければ、他のn−1匹の場合になる」と考えます。

そしてn−1匹の場合には、必ずn−1日目に全員が出ることを知っています。

そのため、n−1日目になっても誰も出なければ、「自分も緑目である」と判断できます。

この論理は5匹でも100匹でも変わりません。

100匹のドラゴン問題の本質は、目の色そのものではなく、「全員が同じ情報を共有し、その情報を全員が理解している」という共通知識にあります。

旅人が発言する前は、全員が緑目であることは事実でした。しかし、その事実を全員が知っていることを全員が知っている、という状態ではありませんでした。

旅人の一言によって、この無限に続く認識の階層がそろい、初めて推論が動き始めます。

100匹の緑目ドラゴン問題で5匹目以降も帰納法が成立するのは、仮想世界の中での推論を正しく扱う必要があるためです。

「Aが赤目だった場合、その世界でBやCがどう考えるか」を考えるとき、現実世界の目の色をそのまま持ち込むことはできません。その仮定された世界の条件の中で論理を進めます。

そのため、1匹、2匹、3匹と積み上げた推論は5匹でも100匹でも成立し、全員が緑目であることを知るまで100日目に全員が島を出るという結論になります。