「ドラゴンの目の論理パズル」を考えてみた。厨二の着ぐるみが、本や漫画、ゲーム、ドラマなどについて好き勝手に語るブログ。|2020-02-05「ドラゴンの目の論理パズル」を考えてみた。うさるごとシェアするTwitterPocketこの記事に関するツイート【スポンサーリンク】ドラゴンの目の論理パズルを知ったのだけど納得できない(納得できた)自分も増田の「再再追記」を読んで納得できた。腑に落ちるまで自分なりに考えてみたので、その過程をメモしておきたい。(問題文)ある村に100人の村民がいます。全ての村民は非常に頭が良いし、論理的で間違った行動はしません。それを村民全員が知っています。村民全員はこの世の人の目は青か赤の二種類であると知っており、それは事実です。村には鏡も水面もガラスも無く、自分の目の色を確認する術はありません。村民は一日一回全員が集合し、自分以外の全員の目の色を確認する機会があります。自分の目が青色だと確信した場合、その日の夜のうちに村から出ていかなければならない掟があります。掟により村民同士で目の色について話すことは、禁止されています。村民は掟を絶対に守ります。それを村民全員が知っています。その村によそ者が一人来て「少なくともこの中に一人青い目の人がいる」と言って去っていきました。村民全員の目が青かった場合、どうなるでしょうか。答え*1でも、よそ者の「少なくともこの中に一人青い目の人がいる」が起点になるのが納得できていない。村民一人の立場となって考えた場合、残りの99人が青い目なのはすでに知っていた情報で、新しい情報ではない。問題文が「この掟ができた場合」ならわかるんだけど、よそ者の発言が起点になる理由が知りたい。掟ができても自分が青い目だと知らなければ(確信を持たなければ)、出ていく必要はない。「青い目なのに、なぜ出ていかないのか?」の理由は、「自分が青い目だと知らない(確信が持てない)から」だ。増田のこの疑問で、「青い目の人間が、自分が青い目だと気づくのはどういう条件が揃ったときか」が問題の要点なのだと気づいた。問題文の条件だと、「自分が青い目かどうか」は他の村民の行動から推理するしかない。村人が二人だとわかりやすい。「少なくとも一人は青い目の人」なので、1Aが青い目でBは赤い目2Aは赤い目でBは青い目3二人とも青い目パターンは、この三つになる。仮にAを主体とすると、AはBが青い目であることが初日でわかる。Aにとっては、パターンは2か3しかない。Aが赤い目ならば、Bは二日目に集合場所には来ない。初日でAの目の色を確認しているので、Bにとって2Aは赤い目で自分は青い目であることは「確実」だ。村から出ていくはずだ。Bは、二日目も一日一回の集合場所に現れる。二日目にBが現れたことで、Aは2の可能性がないことを知る。「Aが2の可能性はない」ということを知るためには、「二日目もBが村にいる」ことを知る必要がある。別の言い方をすると、Aが自分の目が赤いか青いか知る方法は、「二日目にBが村にいるかいないか」というBの行動を見るしかない。「青い目の人間が、自分が青い目だと気づくのはどういう条件が揃ったときか」を設問とすると、答えは「自分以外の人間が、目が青いにも関わらず村から出ていかない事実を確認すること」になる。言い換えると「自分以外の人間が、『俺は赤い目である可能性がまだあると思っている』と知ること」だ。Bは自分が赤い目である可能性を持てるのか?条件が「少なくとも一人は青い目の人」なので、青い目の人間は一人でもいいからだ。目の前に一人青い目の人間がいるうちは、「自分は赤い目の可能性」を持ち続けられる。「自分以外の人間が『俺は赤い目の可能性がまだある』と思える条件」は、その人間の他に誰か青い目の人間がいることだ。AとBの二人の場合、Aが赤い目でBが青い目であれば、Bにとっては「自分以外で青い目の人間」はいない。二日目にはいなくなっている。二日目もまだいるということは、Bにとって「自分以外の青い目の人間」がいるということだ。この場合はAしかいない。Aは二日目にBが村を出ていないことを知ることによって、「B以外の人間である自分も目が青い人間」と悟る。二日目にAとBが二人同時に村から出ていく。人数が増えて三人になったらどうだろう?三人ならば、1Aが赤い目。BとCが青い目2AとBが赤い目、Cは青い目3AとCが赤い目、Bは青い目4Bが赤い目、AとCが青い目5BとCが赤い目、Aが青い目6Cが赤い目、AとBが青い目。