约瑟夫问题

约瑟夫问题：百度百科

问题：

$1,2,3,...,n$这$n$个数围成一个圈，然后从$1$开始隔$m$个删除一个数，（即第一个删除的数是$m%n+1$）。求问最后一个被删除的数是多少？

分析：

$1,2,3,...,n$第一次删除以后变成了$m+1,m+2,...,n,1,2,...m-1$，对于循环的问题，一般序列$1,2,3,...,n$用$0,1,2,...,n$来表示。用数组$dp[i][j]$表示一共有$i$个数，第$j$个删除的数是$dp[i][j]$。

容易得出性质：

$$dp[i][j] = \begin{cases} 1, & \text{$i=1$} \\[2ex] (dp[i-1][j-1]+m)\%i, & \text{$other$} \end{cases}$$

对于原问题，$i==j$，所以第二维没有任何意义，直接舍掉就好了。

结论：

$$dp[i] = \begin{cases} 1, & \text{$i=1$} \\[2ex] (dp[i-1]+m)\%i, & \text{$other$} \end{cases}$$

约瑟夫问题变形

问题：

$1,2,3,...,n$这$n$个数围成一个圈，然后从$1$开始隔$1$个删除一个数，下一个数每隔$2$个删一个数，隔$3$个，…,隔$n$个删一个数，求问最后一个被删除的数是多少？

分析：

不妨还是用$0,1,2,...,n-1$代表原序列。第一次删除后的序列是：$1,2,3,...,n-1$。如果序列只有$n-1$个，那么这个序列是$0,1,2,3,...,n-2$。可以发现前一个序列删除后的序列$a[i]$和$n-1$长度的序列$b[i]$满足$a[i]=(b[i]+j)\%n$，那么原来的转移方程：

$$dp[i][j] = \begin{cases} 1, & \text{$i=1$} \\[2ex] (dp[i-1][j-1]+m)\%i, & \text{$other$} \end{cases}$$
此时发现后面一维出了问题， $dp[i-1][j-1]$不能转移到 $dp[i][j]$了。后面的间隔 $m$也出了问题。
这里每次删除的间隔是连续的$1,2,3,...,n$所以每次如果第一个间隔改变了，后面的都要变。想到用 $dp[i][j]$表示有 $i$个数，一次删除的间隔为$j,j+1,j+2,...,j+i-1$。

结论：

那么转移方程就是：

$$dp[i][j] = \begin{cases} 1, & \text{$i=1$} \\[2ex] (dp[i-1][j+1]+j)\%i, & \text{$other$} \end{cases}$$