有序列:0,1,2,3......,n-1(可以将0~n-1的序列值理解为任意数组下标),每次删除第m个,注意该序列首尾相连,即n-1的下一个为0,问最后剩下的数字是多少?
此问题被称为约瑟夫环问题,可以用枚举找规律解决,但也可以使用动态规划来思考:
1、记1~n-1序列最后剩下的数字为 f(n,m) ,其中n表示有n个数字,m表示每次删除第m个,因为这两个变量就能决定最后剩下的数字,所以以它们为参数。
2、第一次删除的数字为 k,k=(m-1)%n。剩下的数字序列为:k+1,k+2......,n-1,0,1......,k-1, 由于这里的序列表示变了(当然还可以用0~n-2来表示这个序列,但是新的0和之前的0不在对应同一个数字),所以对应的函数也改变:f'(n-1,m)。但是我们可以有关系式:f'(n-1,m)=f(n,m)。
3、现在我们将 f() 关系用于新的序列,此处需要映射:将k+1,k+2......,n-1,0,1......,k-1映射为0,1,2,3......,n-2,关系式为p(x)=(x-k-1)%n,x代表映射前的数字,p(x)代表映射后的数字;逆映射关系式为:q(x)=(x+k+1)%n。根据这个关系,我们可以有:f'(n-1,m)=(f(n-1,m)+k+1)%n;
与f'(n-1,m)=f(n,m)联立后可以得到:f(n,m) = (f(n-1,m)+k+1)%n = (f(n-1,m)+(m-1)%n+1)%n = (f(n-1,m)+(m-1)+1)%n = (f(n-1,m)+m)%n。
递推关系式得到,就可以求解了。