约瑟夫环递推详解必懂

这个递推公式困扰了我好久，一直想不明白，今天终于搞明白，唉真是太菜了我…

进入正题…

约瑟夫问题描述都不说了应该都知道

假设数到k的人淘汰

1. 定义状态

用f(n)表示n个人玩游戏最终的幸存者

2.推导公式

一步一步来

1. 在推导f(n)时，淘汰第一个人(k)后游戏就变成了n-1人的游戏
2. 将剩下的人重新编号，那么，原来的k+1 是不是就变成了下面的1号(红色箭头)
3. 现在问题变成求n-1人玩游戏求最后幸存者,即求f(n-1)
4. 假设！n-1人中的幸存者就是 1号，即假设 f(n-1) = 1
5. 那么重点来了！既然n-1人中幸存者是1，那么返回看n中的幸存者是不是就是与1对应的k-1
   没错，n人中的幸存者就是k-1,这里不难理解，第一轮已经把k淘汰了
6. 现在是f(n) = k + 1 f(n-1) = 1, 这俩啥关系？？
   所以就推出来了啊，f(n)比f(n-1)多一个k
   所以$f(n)=f(n-1)+k$
7. 还没完事，f(n) = f(n-1) + k有可能大于n所以再对n求模（这个自己想想吧）,所以 $f(n)=(f(n-1)+k)\%n$
8. 本讲解的下标从1开始，为保证最终得到的数大于0

   所以最终结果f(n) = (f(n - 1) + (k - 1)) % n + 1

3.代码实现

#include<iostream>
using namespace std;
int n, m, f[100];
int main() {
    cin >> n >> m;
    for (int i = 1; i <= n; i++) {
        f[i] = (f[i - 1] + m - 1) % i + 1;  //注意这里是模i
    }
    cout << f[n] << endl;
    return 0;
}

4.例题

新约瑟夫环

题目描述
​ 你一定听说过经典“约瑟夫”问题吧？现在来组织一个皆大欢喜的新游戏：假设 n 个人站成一圈，从第 1 人开始交替的去掉游戏者，但只是暂时去掉（例如，首先去掉 2），直到最后剩下唯一的幸存者为止。幸存者选出后，所有比幸存者号码高的人每人将得到 1 块钱，并且永久性地离开，其余剩下的人将重复以上过程，比幸存者号码高的人每人将得到 1 块钱后离开。一旦经过这样的过程后，人数不再减少，最后剩下的那些人将得到 2 块钱。请计算一下组织者一共要付出多少钱？
例如，第一轮有 5 人，幸存者是 3，所以 4,5 得到 1 块钱后离开，下一轮幸存者仍然是 3，因此没有人离开，所以每人得到 2 块钱，总共要付出 2+2∗3=8 块钱。
输入
​ 输入一个整数 n。（1≤n≤32767）
输出
​ 一个整数，表示总共要付出多少钱。
样例输入
10
样例输出
13
数据规模与约定
​ 时间限制：1 s
​ 内存限制：256 M
​ 100% 的数据保证 1≤n≤32767

#include<iostream>
using namespace std;
#define MAX_N 32767
int f[MAX_N + 5];
int main() {
    int n;
    cin >> n;
    f[1] = 1;
    for (int i = 2; i <= n; i++) {
        f[i] = (f[i - 1] + 2 - 1) % i + 1;
    }
    int x = n;
    while (f[x] - x) x = f[x];
    cout << n + x << endl;
    return 0;
}