[bzoj1019][SHOI2008]汉诺塔 (动态规划)

Description

汉诺塔由三根柱子（分别用A B C表示）和n个大小互不相同的空心盘子组成。一开始n个盘子都摞在柱子A上，大的在下面，小的在上面，形成了一个塔状的锥形体。

 

对汉诺塔的一次合法的操作是指：从一根柱子的最上层拿一个盘子放到另一根柱子的最上层，同时要保证被移动的盘子一定放在比它更大的盘子上面（如果移 动到空柱子上就不需要满足这个要求）。我们可以用两个字母来描述一次操作：第一个字母代表起始柱子，第二个字母代表目标柱子。例如，AB就是把柱子A最上 面的那个盘子移到柱子B。汉诺塔的游戏目标是将所有的盘子从柱子A移动到柱子B或柱子C上面。有一种非常简洁而经典的策略可以帮助我们完成这个游戏。首 先，在任何操作执行之前，我们以任意的次序为六种操作（AB、AC、BA、BC、CA和CB）赋予不同的优先级，然后，我们总是选择符合以下两个条件的操 作来移动盘子，直到所有的盘子都从柱子A移动到另一根柱子：（1）这种操作是所有合法操作中优先级最高的；（2）这种操作所要移动的盘子不是上一次操作所 移动的那个盘子。可以证明，上述策略一定能完成汉诺塔游戏。现在你的任务就是假设给定了每种操作的优先级，计算按照上述策略操作汉诺塔移动所需要的步骤 数。

Input

输入有两行。第一行为一个整数n（1≤n≤30），代表盘子的个数。第二行是一串大写的ABC字符，代表六种操作的优先级，靠前的操作具有较高的优先级。每种操作都由一个空格隔开。

Output

只需输出一个数，这个数表示移动的次数。我们保证答案不会超过10的18次方。

Sample Input

3
AB BC CA BA CB AC

Sample Output

7

分析

     网上好多题解都说暴力模拟几轮直接推出线性递推的系数直接做快速幂……可惜我太弱了不会证明这个dp方程“一定会形成一个线性递推式”……

     我的做法是：设f(t, i)为将t柱上最上面的i个盘子转移到“另一个柱子”需要的操作次数，再维护一个To(t,i)表示此时t柱上的i个盘子最先整体到达的柱子编号。To数组的边界可以在读入时由操作的优先级得出。

     转移方程也不难想到：

f[0][1] = f[1][1] = f[2][1] = 1;//f数组边界
for(i = 0;i < 6;++i){//To数组边界
while((a = getchar()) < 'A' || a > 'C');b = getchar();
    if(!known[a-'A']){
        To[a-'A'] = b - 'A';
        known[a-'A'] = 1;
    }
}
for(i = 2;i <= N;++i){
    for(j = 0;j < 3;++j){
        tmpf[j] = f[j] + 1 + f[To[j]];
        if(To[To[j]] == j){
            tmpf[j] += f[j] + 1;
            tmpT[j] = To[j];
        }
        else tmpT[j] = To[To[j]];
    }
    for(j = 0;j < 3;++j)f[j] = tmpf[j], To[j] = tmpT[j];
}

考虑到第二位为 i 时的答案只与第i-1位有关，我们可以把数组缩成一维（这样就只剩三位了好吗……）

 1 /**************************************************************
 2     Problem: 1019
 3     User: AsmDef
 4     Language: C++
 5     Result: Accepted
 6     Time:0 ms
 7     Memory:804 kb
 8 ****************************************************************/
 9  
10 //#include <cctype>
11 #include <cstdio>
12 //#include <iostream>
13 //#include <cmath>
14 //#include <cstdlib>
15 //#include <algorithm>
16 //#include <ctime>
17 //#include <assert.h>
18 using namespace std;
19 /*template<typename T>inline void getd(T &x){
20     char c = getchar(); bool minus = 0;
21     while(!isdigit(c) && c != '-')c = getchar();
22     if(c == '-')minus = 1, c = getchar();
23     x = c - '0';
24     while(isdigit(c = getchar()))x = x * 10 + c - '0';
25     if(minus)x = -x;
26 }*/
27 /*========================================================*/
28 typedef long long LL;
29 LL f[3];
30 int To[3], N;
31  
32 int main(){
33     #if defined DEBUG
34     freopen("test", "r", stdin);
35     //freopen("out.txt", "w", stdout);
36     #else
37     #ifndef ONLINE_JUDGE
38     freopen("boxes.in", "r", stdin);
39     freopen("boxes.out", "w", stdout);
40     #endif
41     #endif
42     scanf("%d", &N);
43     if(N == 1){printf("1
");return 0;}
44     char a, b;
45     int i, j, tmpT[3];
46     bool known[3] = {0};
47     f[0] = f[1] = f[2] = 1;
48     for(i = 0;i < 6;++i){
49         while((a = getchar()) < 'A' || a > 'C');b = getchar();
50         if(!known[a-'A']){
51             To[a-'A'] = b - 'A';
52             known[a-'A'] = 1;
53         }
54     }
55     LL tmpf[3];
56     for(i = 2;i <= N;++i){
57         for(j = 0;j < 3;++j){
58             tmpf[j] = f[j] + 1 + f[To[j]];
59             if(To[To[j]] == j){
60                 tmpf[j] += f[j] + 1;
61                 tmpT[j] = To[j];
62             }
63             else tmpT[j] = To[To[j]];
64         }
65         for(j = 0;j < 3;++j)f[j] = tmpf[j], To[j] = tmpT[j];
66     }
67     printf("%lld
", f[0]);
68      
69     #ifdef DEBUG
70     //cout << endl << (double)clock() / CLOCKS_PER_SEC << endl;
71     #endif
72     return 0;
73 }
74