题目:0,1,2,...,n-1这n个数字拍成一个圆圈,从数字0开始每次删除第m个数字。求出这个圆圈里剩下的最后一个数字。
例如,0、1、2、3、4这5个数字组成一个圆圈,从数字0开始每次删除第3个数字,则删除的前四个数字依次是2、0、4、1,因此最后剩下的数字是3。
本题就是有名的约瑟夫环问题。首先定义一个关于n和m的方程f(n,m),表示每次在n个数字0,1,...,n-1中每次删除第m个数字最后剩下的数字。在这n个数字中,第一个被删除的数字是(m-1)%n,将这个数字记为k,删除k之后剩下的n-1个数字为0,1,...,k-1,k+1,...,n-1,下一次删除从数字k+1开始计数。(k+1,k+2,...,0,1,...k-1)该序列最后剩下的数字也应该是关于n和m的函数。该函数不同于前面的函数,记为f'(n-1,m)。最初序列最后剩下的数字f(n,m)一定是删除一个数字之后的序列最后剩下的数字,即f(n,m)=f'(n-1,m)。
接下来对这n-1个数字进行映射,即k+1-->0 k+2-->1 ... n-1-->n-k-2 0-->n-k-1 1-->n-k ... k-1-->n-2
p(x)=(x-k-1)%n,它表示如果映射前的数字是x,那么映射之后的数字是(x-k-1)%n。该映射的逆映射是p^-1(x)=(x+k+1)%n。由于映射之后的序列和最初的序列具有同样的形式(0,1,...,n-2),因此可以用f(n-1,m)来表示。f'(n-1,m)=p^-1[f(n-1,m)]=[f(n-1,m)+k+1]%n,把k=(m-1)%n代入得到f(n,m)=f'(n-1,m)=[f(n-1,m)+m]%n。
经过分析之后,可以得到递推公式:f(n,m)=[f(n-1,m)+m]%n (n>1) , f(n,m)=0 (n=1)
代码实现:
int lastRemain(unsigned int n,unsigned int m)
{
if(n<1||m<1)
return -1;
int last=0;
for(int i=2;i<=n;i++)
{
last=(last+m)%i;
}
return last;
}
这种算法的时间复杂度为O(n),空间复杂度为O(1)。