洛谷P1990 覆盖墙壁：怎样解决递推问题？

题目见

P1990

递推问题的关键是要找到前一次和后一次之间的关系。
只要找到这个关系（或者说，列出表达式），那么问题已经得到了解决。

这个题目怎样找到前一次呢？

• 首先 确定一列i。集中目光在这一列上。

• 由于有两种不同的砖，我们要确定上一块砖的类型

  • 条形砖
  • L形砖

• 条形砖可以有不同的方向：

  • 条形砖可以竖着放：那么减掉一块砖，对应的情况就是i-1列的完全情况。
  • 条形砖可以横着放：只能放两块才能对应到上一个完全情况即i-2

• L形砖：

  • 如果将底边对向大端，那么会出现一个缺格。这个缺格将导致无法弥补的缺陷。即先前的完全情况加上这一块砖后无论如何不能填满。

  如图绿色为完全区域，红色为本次操作的砖块。白色为缺陷。
  

  • 所以L形砖只能将底边朝向完全区。但这很快导致了新的问题。需要维护一种新的完全区域。即半满型。图示表现了我们的需求：

我们把这个半满型的数组定为g[i]，用于表示满足第i列半满(不论半满的那一块在上面还是下面)的方案数。填入这一块之后，我们实现了i+2的全满。于是我们找到了填满第i列的最后一个来源：2*g[i-2]。至此我们确定了主递推关系：

f[i] = f[i-1] + f[i-2] + 2 * g[i-2]

现在只剩一个问题没有解决，即这个新构造的g[i]数组如何维护。

• 在先前的全满的基础上可以加L形砖，与这个半满的尾端两相对应补成完整的一个2*3矩形，即可得到一个这个半满数组的一个来源f(i-1)*1。
• 但还有加条形砖的情况，且只能如图放置：
  
  我们又找到一个来源，即g(i-1)*1

所以我们又得出了关于新数组的递推式：

g(i) = g(i-1) + f(i-1)

简单地初始化数组的前两位，如下：

#define N 1000000 + 10
int f[N] = {1, 1}, g[N] = {0, 1};

主函数如下：

int main()
{
    int n, mod = 10000;
    cin >> n;
    for (int i = 2; i <= n; i++)
    {
        f[i] = (f[i-1] + f[i-2] + 2 * g[i-2]) % mod;
        g[i] = (g[i-1] + f[i-1]) % mod;
    }
    cout << f[n];
    return 0;
}

总结：
递推问题要找到每一步的所有可能情况，然后求解来源。