约瑟夫问题 大家一起来解决

本文之所以引出这个问题，是因为该问题曾经作为微软的一道面试问题出现，约瑟夫环问题原题为：
已知n个人（以编号0，1，2，3...n-1分别表示）围坐在一张圆桌周围。从编号为0的人从0开始报数，数到m-1的那个人出列；他的下一个人又从0开始报数，数到m-1的那个人又出列；依此规律重复下去，给出最后一个出列的人的编号。
首先该问题最简单的一个解法是采用链表进行模拟，在此不作解释。
至于归纳法解决该问题网上也流传着一个答案（几乎百度出来的结果都是一个版本），可能看到过解法的人会和我一样迷惑。那么现在就将有困惑的地方我写出自己的理解，可能并非正确理解，大家一起努力来解决这个问题。
解决问题之前需要先充分理解一个转换关系：
设K = m % n, 即数到k的人出队，这是容易理解的。
在第一次出队之前序号为
序列0： 0,1,2,...,n-1
第一次出队后， k-1要出队
序列1：0,1,2,...,k-2，k, k + 1, ... , n - 1
由于这是一个环，所以交换该序列的前后两个部分对结果没有影响
序列2：k, K+1, K+2, ..., n-1, 0 , 1 , 2 , ...., k - 2
进一步将上面的序列映射成
序列3：0，1，2，... ，n - 2.
经过序列0-3我们已经将n的问题转化成了n-1的问题，那么如何从n-1的问题回到n的问题呢？
假设现在n-1问题（序列3）中最后一个出来的人的序列为X,那么X在序列0中对应的序号又是什么呢？
对比序列2和序列3，假设X<=n-1-k（x对于于序列2中的K到n-1这个递增序列）则 x` = K + x. 如果x > n - 1 - k（此时x对应于0到k-2这个序列），x`=(x+k) % n。综合来说x`=(x+k)%n.
于是可得一个递推式X(n) = (X(n-1) + k)%n


这个转换需要自己用心体会一个，文字不好表达。以上就个本人的理解过程.