约瑟夫问题与递归思想

今天看了一道算法问题：n个人（编号0~(n-1）），从0开始报数，报到m-1的退出，剩下的人继续从0开始报数，求胜利者的编号。

其实这是一个约瑟夫（ Josephus problem）问题，原始的想法是采用数组或者链表结构模拟整个过程，总的时间复杂度为O（mn）。后来看到更好的解法，采用递归思想，它是这样描述的（引用：http://baike.baidu.com/view/213217.htm）：

我们知道第一个人（编号一定是（m-1） mod n) 出列之后，剩下的n-1个人组成了一个新的约瑟夫环（以编号为k=m mod n的人开始）：
k k+1 k+2 ... n-2,n-1,0,1,2,... k-2
并且从k开始报0。
现在我们把他们的编号做一下转换：
k --> 0
k+1 --> 1
k+2 --> 2
...
...
k-2 --> n-2
变换后就完完全全成为了（n-1）个人报数的子问题，假如我们知道这个子问题的解：例如x是最终的胜利者，那么根据上面这个表把这个x变回去不刚好就是n个人情况的解吗？！！变回去的公式很简单，相信大家都可以推出来：x'=(x+k) mod n
如何知道（n-1）个人报数的问题的解？对，只要知道（n-2）个人的解就行了。（n-2）个人的解呢？当然是先求（n-3）的情况 ---- 这显然就是一个倒推问题！好了，思路出来了，下面写递推公式：
令f表示i个人玩游戏报m退出最后胜利者的编号，最后的结果自然是f[n]
递推公式
f[1]=0;
f=(f+m) mod i; (i>1）

但是对于这个解释，一直没搞明白，尤其是最初我的想法是下面这个过程（例如n=5，m=3）：

也许很多人看了会笑，本人确实在这卡了很长时间，总想不明白递归的过程，⊙﹏⊙b汗！！

后来，经过与同学的讨论，终于找到了问题所在，我没有深刻理解递归的含义，正确的过程如下：

其实，递归关系式的描述的仅仅是相邻两个过程之间的关系，不能放到整个计算过程中。

写下来对自己来说引以为戒，希望对有相同困惑的同学有所帮助，或者大家都没我这么笨，

为了加深理解，自己总结一下上面递归公式的推导思路：

1. 首先来说，想要从n的规模减少到n-1的规模，是一种很直接的想法，但是这两个问题之间有什么关系呢？

    答案是：没关系。

2. 那么怎么继续呢？虽然f（n）和f（n-1）之间没有直接的关系，但是下面的过程却将它们联系了起来：

第二行是f（n）执行的第二步（这里m=k），那么很显然，第一行和第二行最终求得的结果是一样的，因为它们是同一过程的第一步和第二步。

现在再看看第二行和第三行f（n-1），恰好满足下面这个关系；

k = (0+k) % n

k+1 = (1+k) % n

...

k-2 = (n-2 + k) % n

假如第二行最终的结果为x，那么f（n）的结果就是x（正如前面所说，这两个步骤是一个过程），并且可以知道f（n-1）的最终结果为y，那么有下面的关系：

x = (y + k) % n

也就是：

f(n) = [f(n-1) + k] % n

3. 上面得到了递推关系式，那么我们想求f(n)，只要求出f(n-1)即可，这样一直递归下去，f(1)  = 0（因为这是只包含一个元素0的情况）。

4. 到此为止，递归公式得到了：

f(1) = 0

f(i) = [f(i-1) + k] % i    (i=2, 3, ... , n)

解释完毕，再接再厉！