这可以通过把formula_4表示为formula_48来证明。一般情况下，考虑生还者的号码从formula_49到formula_4的变化, 我们可以得到以下的递推公式(编号从0开始)：formula_51，formula_52这种方法的运行时间是formula_53。程序实现（C++）using namespace std;//编号从0开始，也就是说如果编号从1开始结果要加1int josephus(int n, int k) { //非递回版本int josephus_rec