【ACWing】96. 奇怪的汉诺塔（配数学证明）

题目地址：

https://www.acwing.com/problem/content/description/98/

汉诺塔问题，条件如下：
1、这里有$A$、$B$、$C$和$D$四座塔。
2、这里有$n$个圆盘，$n$的数量是恒定的。
3、每个圆盘的尺寸都不相同。
4、所有的圆盘在开始时都堆叠在塔$A$上，且圆盘尺寸从塔顶到塔底逐渐增大。
5、我们需要将所有的圆盘都从塔$A$转移到塔$D$上。
6、每次可以移动一个圆盘，当塔为空塔或者塔顶圆盘尺寸大于被移动圆盘时，可将圆盘移至这座塔上（这里的意思是每时每刻都需要保持大的圆盘在小的圆盘下面）。请你求出将所有圆盘从塔$A$移动到塔$D$，所需的最小移动次数是多少。

输入格式：
没有输入

输出格式：
对于每一个整数$n$，输出一个满足条件的最小移动次数，每个结果占一行。

数据范围：
$1\le n\le 12$

先考虑三塔的情形，设最少次数为$d$，那么$d[1]=1$，$d[k]=2d[k-1]+1$，可以先将上面的$k-1$个圆盘移到第二个塔上，然后将最大的那个圆盘移到第三个塔上，最后将第二个塔上的圆盘移到第三个塔上。

现在考虑四个塔的情况。设$f[n]$是$n$个圆盘的情况下最少移动步数。可以枚举上面的$j$个圆盘，将它们挪到$D$之外的某个塔上，这是四个塔的情形，需要$f[j]$步；然后将剩余的圆盘移到$D$上，这是三个塔的情形，需要$d[i-j]$步，最后把剩余的$j$个圆盘移到$D$上，这个也是四塔的情形，需要$f[j]$步。所以 f [ i ] = min ⁡ 0 ≤ j < i { 2 f [ j ] + d [ i − j ] } f[i]=\min_{0\le j<i}\{2f[j]+d[i-j]\} f[i]=0≤j<imin​{2f[j]+d[i−j]}这里有些细节需要稍微想一下，即为什么所有的方案必然是上面枚举的其中一种。首先$d[i]$当然是一种方案，相当于忽略了其中一个塔，直接当成三塔来操作。其余方案里，一定某个时刻是最小的$j$个圆盘放在了一个非$D$塔上的，否则剩余的$i-j$个圆盘无法只用两个塔完成搬运。这就证明了结论。

代码如下：

#include <iostream>
#include <cstring>
using namespace std;

int d[15], f[15];

int main() {
	// 处理三个塔的情形下，要转移n个圆盘至少需要多少步
    d[1] = 1;
    for (int i = 2; i <= 12; i++) d[i] = 1 + d[i - 1] * 2;

    memset(f, 0x3f, sizeof f);
    f[0] = 0;
    for (int i = 1; i <= 12; i++)
        for (int j = 0; j < i; j++)
            f[i] = min(f[i], f[j] * 2 + d[i - j]);

    for (int i = 1; i <= 12; i++) cout << f[i] << endl;

    return 0;
}

时空复杂度$O(1)$。