圆圈中最后剩下的数字

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

一、思路

（一）模拟

使用一个vector来模拟这个过程，结果肯定是超时的，一开始用的就是这个，时间复杂度是O（n*m）

代码：

class Solution {
public:
	int lastRemaining(int n, int m) {
		vector<int> sim(n, 1);
		int len = n;
		int ans = 0;
		int begin = 0, count = 0;
		for (int i = 0; true; i = i % n) {
			if (sim[i]) {
				count++;
			}
			if (count == m) {
				ans = i;
				sim[i] = 0;
				count = 0;
				len--;
			}
			if (len == 0) {
				break;
			}
			i++;
		}
		return ans;
	}
};

（二）数学方法

既然模拟的方法超时，那么一定存在数学的方法可以比较快速地求解。

假设函数：$$f(n,m)$$表示本问题的答案，我们知道第一个被删除的数字数组中的第m个数，由于m可能会大于n因此需要取余，而且数字是从0开始数的，所以这个数是(m-1)%n

这个时候数组中剩下n-1个数了，从这个点出发能否直接得出f(n, m)的结果？这个时候数组长度已经变为n-1了，那么f(n-1, m)与f(n, m)之间存在什么样的关系呢？

f(n-1, m)：表示从0开始，每数到第m个数就删除，如此反复直到数组中仅剩1个数

f(n, m)：我们可以很容易推知：第一个被删除的数是(m-1)%n，此时继续删除，其情况与f(n-1, m)很类似，不过存在几个不同的地方：

• 第一个是：起点不同，现在的起点是(m-1)%n+1，这个问题很好解决，直接挪过去就可以，实际上如果从x开始数，数m个数删除，被删除的数字是(m+x-1)%n，之前是因为起点为0，所以这个x被消去了
• 第二个是：下标不一致的问题，f(n-1, m)每次取余是取n-1，而我们的是n

为了方便描述解决这两个问题的方法，我们使用下面的流程图来看看问题出在哪里：

从图中来看，f(n, m)经过第一次的删除之后，可以通过移位的方式，使得其结构上来看与f(n-1, m)相同，f(n-1,m)的起始位置是0，f(n, m)的起始位置是(m-1)%n+1，图里我暂且用m来表示这个数值，之前提到过取余值不同，然而只要结构一样，每次数m个数删除，那么经过同样轮次的删除之后，两个数组所剩下的那个数的位置是相同的。

这里需要求解x与y之间的联系，其实关系也很明朗了，f(n-1, m)的结果就是从开头起，数x个数就是了，意味着两者之间的距离为x，那么我们可以推知：y与m的距离也是x

那么就意味着，f(n, m)的结果就是从m开始数x个数然后对n取余：
$$f(n,m)=(((m-1)\%n+1)\%n+f(n-1,m))\%n$$
然后对于任意的f(i, m)都可以这么计算：
$$f(i,m)=(((m-1)\%i+1)\%i+f(i-1,m))\%i$$
根据这个递推公式，我们可以快速求解，代码如下：

class Solution {
public:
	int lastRemaining(int n, int m) {
		int pre = 0, ans = 0;
		for (int i = 2; i <= n; i++) {
			ans = (((m - 1) % i + 1) % i + pre) % i;
			pre = ans;
		}
		return ans;
	}
};