约瑟夫环(约瑟夫问题)是一个数学的应用问题:已知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)))