约瑟夫问题是个有名的问题:N个人围成一圈(编号为 0 ~ n-1),从1个开始报数,第M个将被杀掉,
最后剩下一个,其余人都将被杀掉。求胜利者的编号。例如N=6,M=5, 编号为: [0,1,2,3,4,5]
被杀掉的人的序号为4,3,5,1,2。最后剩下0号。
令 f(n) 表示 n 个人玩游戏时胜利者的编号。显然 f(1) = 0。下面求 f(n) 的递推公式。
n 个人玩游戏,第 1 个死的人编号为 k = (m-1) % n, 接下来从 (k+1) 这个人开始报数,参与报数的人的序列为:
k+1, k+2, ....... n-1, 0, 1, 2, ...........k-1 (1) y 不妨对它们重新编号,得到另一个序列:
0, 1, ........n-k-2 .......................n-2 (2) x
把序列(2) 左移 (k+1) 个位置就变成了序列(1), 令 x 和 y 表示两个序列中位置相同的元素。则有
y = (x + k + 1) % n (3)
杀掉第 1 个人(编号为 k )后,继续玩下去,胜利者的编号 f(n) 肯定在序列(1)中产生。利用递推的思想,胜利者
在序列(2)的编号为 f(n-1), 再根据(3)式,胜利者在序列(1) 的编号为 [ f(n-1) + k + 1 ] % n,而胜利
者在序列(1)和序列(2)中都是同一个人,这样就得到了 递推公式
f(n) = [ f(n-1) + k + 1 ] % n = [ f(n-1) + (m-1)%n + 1 ] % n = [ f(n-1) + m ] % n (n > 1)
f(n) = 0 (n == 1)
利用递推公式,求 n = 6, m = 5 时的胜利者编号 f(6)
f(1) = 0
f(2) = [ f(0) + 5 ] % 2 = 1
f(3) = [ f(2) + 5 ] % 3 = 0
f(4) = [ f(3) + 5 ] % 4 = 1
f(5) = [ f(4) + 5 ] % 5 = 1
f(6) = [ f(5) + 5 ] % 6 = 0
最后得到胜利者的编号为 f(6) = 0