奇怪的汉诺塔

题目描述

汉诺塔问题，条件如下：

1、这里有 A、B、C 和 D 四座塔。

2、这里有 n 个圆盘，n 的数量是恒定的。

3、每个圆盘的尺寸都不相同。

4、所有的圆盘在开始时都堆叠在塔 A 上，且圆盘尺寸从塔顶到塔底逐渐增大。

5、我们需要将所有的圆盘都从塔 A 转移到塔 D 上。

6、每次可以移动一个圆盘，当塔为空塔或者塔顶圆盘尺寸大于被移动圆盘时，可将圆盘移至这座塔上。

请你求出将所有圆盘从塔 A 移动到塔 D ，所需的最小移动次数是多少。

输入格式

没有输入

输出格式

对于每一个整数 n ($1\le n\le 12$)，输出一个满足条件的最小移动次数，每个结果占一行。

数据范围

$1\le n\le 12$

输入样例：

输出样例：

1
3
5
9
13
17
25
33
41
49
65
81

解题思路

本题目是一个关于四塔汉诺塔问题，我们首先考虑一下三塔汉诺塔问题。

三塔汉诺塔是使用递归进行求解移动顺序的，但是可以使用递推得到移动的步数。

假定 A 塔上有 n 个圆盘，我们可以借助 C 塔将 (n - 1) 个圆盘移动到 B 塔，然后将 A 塔上最后一个圆盘移动到 C 塔，B塔中的所有圆盘移动到 C 塔，这样就实现了从 A 塔移动到 C塔。

假定将 n 个圆盘从 A 塔移动到 C 塔，所需步数为 f[n]，那么可以得到这样的递推式：

$$f[n]=f[n-1]+1+f[n-1]=2\times f[n-1]+1$$

现在考虑四塔汉诺塔的移动步数。

假定 A 塔上有 n 个圆盘，我们可以借助 C、D塔将 j 个圆盘移动到 B 塔上。剩余的 (n - j) 个圆盘借助于 C 塔移动到 D 塔上，然后借助于 A、C塔将 B 塔上的 j 个圆盘移动到 D 塔上，这样就实现了从 A 塔移动到 D 塔。

但是我们不能够确定最初应该移动几个圆盘到 B 塔上，才能使得移动步数最短，因此需要遍历可能结果寻找最短步数。

假定将 n 个圆盘从 A 塔移动到 D 塔，所需步数为 d[n]，那么可以得到这样的递推式：

$$d[n]=d[j]+f[n-j]+d[j]=2\ast d[j]+f[n-j]$$

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

int main()
{
    // three 表示三塔汉诺塔,four 表示四塔汉诺塔
    int three[13],four[13];
    // 最初初始化为 0x3f 在最大流中是有很大用处的，这里虽然用不到
    memset(four,0x3f,sizeof(four));
    
    three[0] = 0;
    three[1] = 1;
    for(int i = 2;i < 13;i++)
    {
        three[i] = 2 * three[i - 1] + 1;
    }
    
    four[0] = 0;
    for(int i = 0;i < 13;i++)
    {
        for(int j = 0;j < i;j++)
        {
            four[i] = min(four[i],2 * four[j] + three[i - j]);
        }
    }
    
    for(int i = 1;i < 13;i++)
    {
        cout << four[i] << endl;
    }
    
    return 0;
}