ヨセフスの問題

ヨセフスの問題（ヨセフスのもんだい、）は、数論的な問題であるが、ストーリー仕立であるといった点は数学パズル的でもある。ジョセファスの問題とも。アプローチにもバリエーションがある。

 人の人間が円を描くように並び、処刑されるのを待っている。最初の人をスキップし、さらに  人をスキップし（つまり、 人をスキップして k番目の人に到達する）、k番目の人を処刑する。そしてそこから、再度  人をスキップして k番目の人を処刑する。これを延々と続け（円は徐々に小さくなっていく）、最後に残った1人を釈放する。

問題は、 と  が与えられたとき、起点をどこにしたら特定の人を最後まで残せるかである。

 歴史 
ヨセフスの問題は、ヘゲシッポスを名乗った人物（便宜上と呼ばれる）「本物の」教会史家(ヘゲシップス/ヘゲシッパス)の実際の生没年はおよそ紀元110年-180年頃が紀元370年ごろに『ユダヤ戦記』（フラウィウス・ヨセフス）をもとに書いた次のような問題が起源とされている。

この話はヨセフスの『ユダヤ戦記』を見ると、「ヨセフスの問題」方式をとったこと以外はそのままだというThe War of the Jews 3.387-391　ヨセフス本人は死ぬ順番を選ぶのに「くじを引いた」としか書いておらず、どのようなルールだったかは不明。また助かったもう1人は最初から助かるつもりではなく、ヨセフスが彼を殺す番になった時に説得したという。。

 トルコ人とキリスト教徒の問題 
thumb
17世紀ごろの書による。これも「ヨセフスの問題」とよばれることが多い。

「あるとき、キリスト教徒15人と異教徒であるトルコ人15人の乗る船が難破した。積荷を捨てて船を軽くしたが、まだ危険であった。ここで、船長は、15人は犠牲となって海に飛び込んでほしいといい、乗客を次のように輪に並べた。まず、キリスト教徒13人、トルコ人15人を環状に並べ、船長が数えて9人目ごとに海へ身を投じることとした。そして、うまく並べキリスト教徒全員を助けた。」

 日本での「ままこ立て」 
日本では、同様な話を、「継子算法」とか「ままこ立て」と呼んでいる。室町時代の本の中に、鎌倉末期に編纂したものと考えられている『吾妻鏡』をもとに、「西行法師が、源頼朝からもらった銀の眠り猫を、頼朝邸の門前で遊んでいた子に『継子算法』の要領であげてしまった」と載っている。『徒然草』（兼好法師）や、『塵劫記』（吉田光由）にあるほか、関孝和も研究したことが伝わっている。考案者は不明。

 解法 
まず、 の場合の解法を示す（ の場合については、概要を後述）。ここでは再帰的な解法を示す。 人で始める場合の生き残り（の番号）を返す関数を  とする（）。最初の1周で、全ての偶数番号の人が処刑される。2周目で、新たな2番目の人が処刑され、さらに新たな4番目の人が処刑され、と続く。最初の人数が偶数の場合、2周目で  番目の人は1周目では  番目に位置している（ は任意）。したがって、 番目の人は最初は  番目に位置している。このことから、次の漸化式が得られる。



最初の人数が奇数の場合、1周目の最後に1番の人が処刑される。その後、2周目では新たな2番目の人が処刑され、新たな4番目の人が処刑され…と続く。この場合、 番目の人は最初は  番目に位置していたことになる。以上から次の漸化式が得られる。

 とそれに対応する  の値を表にしてみると、次のようなパターンが出現する。

 1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16 1  1  3  1  3  5  7  1  3   5   7   9  11  13  15   1

これを見ると、 は奇数の増加する数列であり、インデックス n が 2 のべき乗のときに  にリセットされると思われる。したがって、 かつ  となるような m と l を選択したとき、 となる。上の表にある値は、この式に当てはまる。しかし、数学では厳密な証明が求められる。以下に帰納法による証明を示す。

定理:  かつ  なら、 である。

証明:  についての数学的帰納法を用いる。まず、 では真である。 が偶数の場合と奇数の場合に分けて考える。

 が偶数の場合、 かつ  となるよう  と  を選択する。ここで、 である。したがって、上述の漸化式から  となり、この2番目の等号は帰納仮説によるものである。

 が奇数の場合、 かつ  となるよう  と  を選択する。ここで、 である。したがって、 となり、この2番目の等号は帰納仮説によるものである。（証明終）

最も簡潔な解法は二進法で  を表す方法である。 は  を1ビット左に循環シフトさせることで得られる。 を二進法で表したものを  としたとき、解は  となる。これの証明は  を  と表現する方法を使って得られる。

k を限定しない問題の最も簡単な解法は、動的計画法を使ったものである。次のような漸化式を用いる。

、 ただし 

これは、 から  に増やしたときに生存者の番号がどう変化するかを考えれば明らかである。この手法の計算量は  だが、 が小さく  が大きい場合にはもっと効率的な手法がある。それは、最初のステップで k番目、2k番目、…、 番目の人を処刑し、番号付けを変更するというもので、 になる。

 脚注 

 参考文献 


 外部リンク 
 Josephus Flavius game Javaアプレットによるゲーム
 Josephus Problem at the MathWorld encyclopedia;
 Josephus Problem at Shippensburg University.

Category:組合せ論
Category:理論計算機科学
Category:数学に関する記事
Category:フラウィウス・ヨセフス