约瑟夫问题

约瑟夫问题

约瑟夫问题是个有名的问题：N个人围成一圈，从第一个开始报数，第M个将被杀掉，最后剩下一个，其余人都将被杀掉。例如N=6，M=5，被杀掉的人的序号为5，4，6，2，3。最后剩下1号。

假定在圈子里前K个为好人，后K个为坏人，你的任务是确定这样的最少M，使得所有的坏人在第一个好人之前被杀掉。

举个例子：

有64名战士被敌人俘虏了。敌人命令他们拍成一圆圈，编上号码1，2，3…，64。敌人把1号杀了，又把3号杀了，他们隔着一个杀一个这样转着圈杀。最后只剩下一个人，这个人就是约瑟夫斯。请问约瑟夫斯是多少号？（这就是“约瑟夫斯”问题。）

这个问题解答起来比较简单：敌人从1号开始，隔一个杀一个，第一圈把所有的奇数号码的战士圈杀光了。剩下的32名战士需要重新编号，而敌人在第二圈杀死的是重新编号的奇数号码。

由于第一圈剩下的全部是偶数号2，4，6，…，64。把它们全部用2去除，得1，2，3，…，32。这是第二圈编的号码。第二圈杀过以后，又把奇数号码都杀掉了，还剩16个人。如此下去，可以想到最后剩下的必然是64号。

$64=2^6$，它可以连续被2整除6次，是从1到64中能被2整除次数最多的数，因此，最后必然把64 号留下。

如果有65名战士被俘，敌人还是按上述的方法残杀战士，最后还会剩下约瑟夫斯吗？

经过计算，很容易得到结论，不是。因为第一个人被杀后，也就是1号被杀后，第二个被杀的是必然3号。如果把1号排除在外，那么还剩下的仍是64人，新1号就是3号。这样原来的2号就变成了新的64 号，所以剩下的必然是2号。

进一步的归类，不难发现如果原来有$2^k$个人，最后剩下的必然$2^k$号；如果原来有$2^k+1$个人，最后剩下2号；如果原来有$2^k+2$个人，最后剩下4号……如果原来有$2^k+m$个人，最后剩下2m号.

比如：原来有100人，由于$100=64+36=2^6+36$，所以最后剩下的就是36×2=72号；又如：原来有11 1人，由于$100=64+47=2^6+47$，所以最后剩下的就是47×2=94号

传说古代有一批人被蛮族俘虏了，敌人命令他们排成圆圈，编上号码1，2，3，…然后把1号杀了，把3号杀了，总之每隔一个人杀一个人，最后剩下一个人，这个人就是约瑟夫斯。你能知道约瑟夫斯的号码是多少吗？

这个问题与上一节的问题有些类似，又有所不同。上一节是排成一列，报了一次又一次，这次是排成圆圈，数了一圈又一圈。

要是人数是2的幂，比如说是64，这时和上一节的问题有什么关系？

第一圈数过去，留下的是偶数；然后从2开始再数一圈，留下的是4的倍数。这样继续下去，留下的是64。

啊。要是把这个圆圈在64与1之间剪开，拉成一条直线，那这个问题，实际上和上一节的问题完全一样。

对。这样的推理，适用于2的任意次幂——2k，k是正整数。在人数为2k时，约瑟夫斯的编号是2k。

人数不是2的幂呢？

我们可以认为人数n满足2k＜n≤2k+1。然后，考虑最简单的情况n＝2k+1，看看它和人数为2k的情况有什么关系。

知道了。在1号被杀死后，人数就变成2k了。

问题是在这2k个人中，第一个被杀的是几号？最后留下的是几号？

第一个被杀的当然是3号，最后留下的应当是2号。因为这时3号是第一个人，2号就是第2k个人。

现在，再考虑一下从n-1个人进到n个人。也就是说，人数是n-1时，最后留下的是X号，那人数是n时，最后留下的是谁？

在第一个人——1号被杀后，人数就变成n-1了。

在这n-1个人中，因为第一个被杀的是3号，所以最后留下的应当是x＋2号。看起来，每增加一个人，最后留下的人的号数就增加2，是可以导出一个公式来的。2k+1个人，最后留下2号；2k+2个人，最后留下4号，依此类推，2k＋m个人，最后留下的是2m号。对吗？

对。换句话说，要是人数是n，2k＜n≤2k+1，那最后留下的就是2（n-2k）号。

与约瑟夫斯问题类似的问题很多。例如：

一、50枚棋子围成圆圈，编上号码1，2，3，…每隔一枚棋子取出一枚，要求最后留下的一枚棋子的号码是42，那该从几号棋子开始取呢？

二、41枚棋子围成圆圈，编上号码1，2，3，…沿圆圈自1开始，每数三枚棋子，就取出第3枚棋子，这样陆续取出1，4，7，…问最后留下的是第几枚？

三、用1到6摆成一个圆圈如图。先取1，然后每数k枚棋子就取出第k枚棋子。要是取出的顺序刚好是1，2，3，4，5，6。问k＝？

约瑟夫斯是公元1世纪的犹太历史学家，他领导了反抗罗马人的武装起义，

但是失败了。他和四十名犹太士兵被罗马人围困在一个山洞中。这四十个士兵

宁死不屈，决定杀身成仁。但约瑟夫斯不是这样想，但又不便公开反对，于是

提出一个方法，就是四十一个人站成一个圈，从某人开始数起，凡数到三的人

就让大家成全他升天，这样下去直到剩下最后一个人，这个人就自杀。大家都

没有意见，于是约瑟夫斯就挑选了第31号的位置。结果所有人都死了，剩下他

一个活下来投降了罗马人。这也是约瑟夫斯问题的最初提法。

而约瑟夫斯问题的一般提法是这样的：设有n个人，以1、2、……、n编号，

按编号顺序排列，并且围成一圈，从1号开始，每数到m就淘汰一人，则最后淘

汰的人是几好呢？

令L(n,m)为上述最后被淘汰的人的号码，于是就可以将约瑟夫斯问题最初

提法写成L(41,3)＝31。对于具体不同的n，m最好能有一个计算公式。当m＝2时

公式是有的L(n,2)＝2b＋1。

a

其中b是这样得出的，我们把n写成2 ＋b，而a必须尽可能大，例如当n等于100，

5 6 7

则100可以写成2 ＋68，也可以写成2 ＋36，但是不能再写成2 的了，所以，a

是6，而b就是36。

m＝2的情况如是，那么如果m＝3、4、……呢？有没有公式呢？这个不知道，

反正到现在还没有人找到。但存在一个递推式对任意n，m求出L(n,m)：

L(1,m)＝1

L(k＋1,m)≡L(k,m)＋m(mod n+1)

这里“≡”为同余符号，表示L(k＋1,m)与L(k,m)＋m除以n＋1同余数。

约瑟夫斯问题（有时也称为约瑟夫斯置换），是一个出现在计算机科学和数学中的问题。

有n个囚犯站成一个圆圈，准备处决。首先从一个人开始，越过k − 2个人，并杀掉第k个人。接着，再越过k − 1个人，并杀掉第k个人。这个过程沿着圆圈一直进行，直到最终只剩下一个人留下，这个人就可以继续活着。

问题是，给定了n和k，一开始要站在什么地方才能避免被处决？

我们将明确解出k = 2时的问题。对于的情况，我们在下面给出一个一般的解法。