三谈Josephus问题.docVIP

三谈Josephus问题 陕西省小学教师培训中心 王凯成 文[1]介绍了Josephus问题：将1，2，…，q按顺时针方向安排在一个圆上。先将2划掉，以后按顺时针方向每隔一个数划掉一个，一直到仅剩下一个数为止，记这个数为。 求。文[1]获得如下结论：若q 其中为0或1 ，那么， 其中若 1，则 1；若 0，则 －1 。 文[2]及文[3]获得如下结论：枚棋子围成一个圆圈，按顺时针方向依次编上号码1、2、3、…、，每隔一枚拿掉一枚，直到剩下一枚棋子为止。如果第一个被取走的是n号棋子，那么最后剩下的一枚棋子的编号是2m +（当时）或m +（当时）。 文[4]将Josephus问题推广并获得如下结论：将1，2，…，按顺时针方向安排在一个圆上。首先保留n，按顺时针方向划掉个数；再保留1个数，又按顺时针方向划掉个数；……直到仅剩下一个数为止，把这个数记作。那么，。 本文将对更一般化的Josephus问题作再进一步的研究：将1，2，…，M M是正整数 按顺时针方向依次安排在一个圆上，首先保留n，然后按顺时针方向连续划掉 a是大于1的正整数 个数；再保留顺时针相邻的1个数，又按顺时针方向连续划掉个数；……直到仅剩下最多个数为止。在剩下的这些数中，我们把最后一个被划掉的数按顺时针方向相邻的这个数记作。注意，M是开始时圆周上数的总个数，n是操作时首先保留的数。 定理1 当，n 1时， 1。 证明思路：对k用数学归纳法证明。 定理2 当，n 1时， 。 定理3 当，n 1时， 。 证明：按操作方法操作。 保留1，a+1，2a+1，…，+1。下来需要划掉a－1个数，而从+1 不含这个 数 到+q 包含这个数 有q－1个数，所以还需要再划掉 个数。 ②保留1+ a－q a，1+ a－q a+，1+ a－q a+2，…，1+ a－q a+。由1+ a－q a +≤+1确定d，d≤，即知d 0,1,2，…，。这时需要划掉a－1个数，而从1+ a－q a+ 不含这个数 到+1 包含这个数 共有q个数，还需要再划掉。 保留1+ a－q a+ 1+++，1+++ +，1++++2，…，1+++ +d。由1++++d≤1+++， 即≤，知d≤，d 0,1,2，…，。这时需要再划掉a－1个数，而从1++++ 不含这个数 到1+++ 包含这个数 共有q个数，还需要再划掉。 …… 保留，+，+2， …，+d。由+d≤ +，即+d≤，知d≤，d 0,1,2…，。 这时剩余的p+q个数按顺时针方向依次是： ，，1++ ，…，，， ，，…，。 当p+q＜a时，有 。 当p+q≥a时，需要划掉以后的a－1个数，这时剩余的p+q－ a－1 个数按顺时针方向依次是： ，，， …，，。 可见，当p+q≥a时， 。 故定理3得证。 定理4 当M , ，n 1时， 。 证明思路：按操作方法操作m次后，剩余的个数按顺时针方向依次是ma+1，ma+2，ma+3，…，ma+ －m 即就是 ；1，a+1, 2a+1，…， m－1 a+1。注意到前u 1≤u≤ 个数都是ma+u，这时可设法利用定理3，只要能够证明当p+q＜a时，≤成立，以及当p+q≥a时，≤成立，那么由定理3就知结论成立。 由定理1到定理4知，如下定理5成立。 定理5 当M ， ，n 1时， 。 其中当q 0时， 0；当q≠0时， 1。以下同。 定理6 如果1≤n≤，S ， 那么，当S≤时，；当S＞++q时，－ 。 定理7 将自然数1，2，…，按顺时针方向依次安排在一个圆上，首先保留n，然后按顺时针方向连续划掉个数；再保留顺时针相邻的1个数，又按顺时针方向连续划掉个数；……直到仅剩下最多个数为止。在剩下的这些数中，如果把最后一个被划掉的数按顺时针方向相邻的这个数记作T，那么当p+q＜a时，n ； 当p+q≥a时，n 。 定理6、定理7的证明略。 参考资料 [1]田树坦，从Josephus问题谈起，中等数学，1994年第3期. [2]王凯，赵熹民，圆圈上取棋子问题的研究，中学数学教学参考，1994年第6期. [3]王凯成，赵熹民，谈谈圆圈上取棋子问题的解法，中学数学 苏州 ，1995年第8期. [4]王凯成，赵熹民，再谈Josephus问题，中学数学 苏州 ，1995年第11期. 本文发表于陕西师范大学主办的《中学数学教学参考》1997年第3期P37,38。