[剑指-Offer] 62. 圆圈中最后剩下的数字(数学、环形链表、约瑟夫环、巧妙解法)

1. 题目来源

链接：圆圈中最后剩下的数字
来源：LeetCode——《剑指-Offer》专项

2. 题目说明

0,1,,n-1 这 n 个数字排成一个圆圈，从数字 0 开始，每次从这个圆圈里删除第 m 个数字。求出这个圆圈里剩下的最后一个数字。

例如，0、1、2、3、4 这 5 个数字组成一个圆圈，从数字 0 开始每次删除第 3 个数字，则删除的前 4 个数字依次是 2、0、4、1，因此最后剩下的数字是 3。

示例 1：

输入: n = 5, m = 3
输出: 3

示例 2：

输入: n = 10, m = 17
输出: 2

限制：

• 1 <= n <= 10^5
• 1 <= m <= 10^6

3. 题目解析

方法一：模拟+环形链表+常规解法

典型 约瑟夫环问题，首先是经典的环形链表解法：

• 首先需要来模拟一个圆圈，并且支持删除再链接的过程，那么环形链表再适合不过了
• 每次遍历到链表末尾是，下一步需要指向链表的头部，形成环形链表

但是，无情 TLE 了。

参见代码如下：

// TLE
// 26 / 36 个通过测试用例

class Solution {
public:
    int lastRemaining(int n, int m) {
        list<int> ls;
        for (int i = 0; i < n; ++i) ls.push_back(i);
        list<int>::iterator it = ls.begin();
        while (ls.size() > 1) {
            for (int i = 1; i < m; ++i) {
                ++it;
                if (it == ls.end()) it = ls.begin();
            }
            list<int>::iterator next = ++it;
            if (next == ls.end()) next = ls.begin();
            --it;
            ls.erase(it);
            it = next;
        }
        return *it;
    }
};

方法二：数学+递归+约瑟夫环+巧妙解法

约瑟夫环问题，有成熟的数学总结，可以形成模板，即递归写法：

int func(int n, int m) {
    if (n == 1) return 0;
    return (func(n - 1, m) + m) % n;
}
//n个人 每次淘汰报m 的人
//返回最终剩下的人的编号(0开始)

再精炼点的话就是一行流了。

以下为《剑指-Offer》上对该写法的证明：



还有其他博主的总结：约瑟夫环——公式法（递推公式） 可以借鉴学习。

参见代码如下：

// 执行用时 :12 ms, 在所有 C++ 提交中击败了56.21%的用户
// 内存消耗 :12 MB, 在所有 C++ 提交中击败了100.00%的用户

class Solution {
public:
    int lastRemaining(int n, int m) {
        return (n == 1) ? 0 : (lastRemaining(n - 1, m) + m) % n;
    }   
};