Josephus问题

“1,2,3循环报数，逢3出列，最后留下的是谁？”，又称约瑟夫斯(Josephus)问题，是一个经典的数学问题。关于这个问题，网上充斥着各式各样的计算机算法解法，那是否存在一个纯数学方法可以求解这个问题呢？答案是肯定的。本文给出了该问题的数学计算公式，并对比程序模拟算法的结果验证了该公式的正确性。