约瑟夫问题数学方法的理解

它的数学方法是：用推倒出递推公式f[1]=0;    f[i]=(f[i-1]+m)%i;  (i>1) 而后实现编程！

#include <stdio.h> int main() { int n, m, i, s=0; printf ("N M = "); scanf("%d%d", &n, &m); for (i=2; i<=n; i++) s=(s+m)%i; printf ("The winner is %d/n", s+1); }

这可以参照http://www.diybl.com/course/3_program/c++/cppjs/2007918/71866.html，而我现在要谈一下我对这个程序运行过程的理解！

(1)我们把玩游戏的人按出来的先后顺序编号，第i个出来的编号为n-i，所以整体编号是n-1~0。
(2)从后往前推(i从2到n，编号从1~n-1)，最后出来的编号肯定为0(所以r的初值为0),倒数第二出来的编号肯定为1，……，第一个出来的编号肯定为n-1。最后出来的和倒数第二个出来的肯定是相邻的，但倒数第3个(此时i=3,编号为2)出来时，它的位置放在1-2之间还是2-1之间呢？
(3)这个问题我是这样考虑的：首先不妨设我们现在的报数是顺时针的，倒数第3个(此时i=3,编号为2)出来的位置先放在最后(2,此时总的位置为0-2)，按照以前的顺序接着从1开始报数，报到m的时候，假设此时的编号为k(如果是3，那么就不变)，那么再把3插入到k的前面，那样就确保了倒数第3个出来的就是编号2,而s的值表示此时与编号0的距离。把3换成i就是一般的情况了！自己走一下！
(4)到了i=n时，把编号为n-1的人插入到相应的位置后，所有人的顺序都确定了(注意了！)。现在我们从反方向(逆时针)走一遍看一下，报了数的就忽略它，这样就可以得到真正报数的顺序了！(反方向与正方向走的顺序是一个互逆的过程)神奇吧~~~  但是人真正编号并不是0-n-1，第i次出来编号也不一定是n-i的人，那么怎么转换呢？
(5)因为现在我们只关注最后出来人的编号，所以我们只关注一下最后一个过程(i=n时).这时人的总数正好为n，因为反方向与正方向的走的顺序是一个互逆的过程(人的位置没变，0-n-1之间的人数是不变的)，正方向是从0-n-1(第一次出列的为0,最后轮到s(表示与0的距离)出列),而反方向呢？从真正编号为1的人开始，最后出来的人的真正编号不就是s+1了吗(因为编号0-n-1的人数是不变的)！