约瑟夫问题的数学角度分析 C 数组实现 循环链表实现 递归实现时间复杂度O(logN)

在网上找了一些资料，具体包括约瑟夫斯问题wiki、【整理】约瑟夫问题的数学方法、约瑟夫问题(猴子选大王)循环链表C语言实现、約瑟夫問題的兩個O(log n)解法。自己做了总结吸收，尽量是数学证明的在简单的copy工作外加上自己的理解；是代码实现的，就自己做实验。虽然是拿来主义，但是也要学点东西不是？

废话不多说，先百科。约瑟夫斯问题（有时也称为约瑟夫斯置换），是一个出现在计算机科学和数学中的问题。在计算机编程的算法中，类似问题又称为约瑟夫环。有n个囚犯站成一个圆圈，准备处决。首先从一个人开始，越过k-2个人（因为第一个人已经被越过），并杀掉第k个人。接着，再越过k-1个人，并杀掉第k个人(这里的接着是说，如果k<n，那么是一直往下数的。比如第一次杀了ID=6的人。那么下次从ID=7开始数到6被杀；也可以看做从ID=7的人建立一个新的循环，新循环里这个人是第一个)。这个过程沿着圆圈一直进行，直到最终只剩下一个人留下，这个人就可以继续活着。问题是，给定了n和k，一开始要站在什么地方才能避免被处决？

嗯，也可以称作猴子选大王问题，题目描述：n只猴子要选大王，选举方法如下：所有猴子按 1，2 ……… n 编号并按照顺序围成一圈，从第 k 个猴子起，由1开始报数，报到m时，该猴子就跳出圈外，下一只猴子再次由1开始报数，如此循环，直到圈内剩下一只猴子时，这只猴子就是大王。输入数据：猴子总数n，起始报数的猴子编号k，出局数字m。输出数据：猴子的出队序列和猴子大王的编号。

反正都一样嘛！

1 WIKI百科怎么说

k=2时的问题

设f(n)为一开始有n个人时，生还者的位置(注意：最终的生还者只有一个)。走了一圈以后，所有偶数号码的人被杀。再走第二圈，则新的第二、第四、……个人被杀，等等；就像没有第一圈一样。如果一开始有偶数个人，则第二圈时位置为x的人一开始在第2x-1个位置。因此第二圈位置为f(n)的人在第一圈的位置为2f(n)-1。这便给出了以下的递推公式：f(2n)=2f(n)-1.
如果一开始有奇数个人，则走了一圈以后，最终是号码为1的人被杀。于是同样地，再走第二圈时，新的第二、第四、……个人被杀，等等。在这种情况下，位置为x的人原先位置为2x+1。这便给出了以下的递推公式：f(2n+1)=2f(n)+1.
如果我们把n和f(n)的值列成表，我们可以看出一个规律：
n 1 2 3 4 5 6 7 8 9 10 </