约瑟夫环问题

约瑟夫环（约瑟夫问题）是一个数学的应用问题：已知n个人（以编号1，2，3...n分别表示）围坐在一张圆桌周围。从编号为k的人开始报数，数到m的那个人出列；他的下一个人又从1开始报数，数到m的那个人又出列；依此规律重复下去，直到圆桌周围的人全部出列。

---

假定F(n) 为最后出列人的编号，当n = 1时，显然F(n)为1；那么当n不断递增的情况下，我们需要知道F(1)的最后一人的编号1在F(n)中体现的编号是多少，这之间有什么关系？

如下图所示，在n人情况下出列m编号人员，然后剩余n-1个人，n-1出现的编号顺序发生改变。我们需要找到n-1人情况下出列的m编号在n个人的情况下编号是什么。

而对比上图 F(n) 队列和 F(n-1) 转换后的队列，可以得到如下的关系表达式： 

 

使用python测试上述公式是否准确，代码如下：

def func(n,m):
    if n == 1 :
        return 1
    else :
        return (func(n-1,m) + m -1) % n + 1

if __name__ == '__main__':
    print('reuslt %d' % (func(5, 2)))
    print('reuslt %d' % (func(10, 3)))