题面

有 N 个学生合影，站成左端对齐的 k 排，每排分别有 N1,N2,…,Nk 个人。 (N1≥N2≥…≥Nk)

第1排站在最后边，第 k 排站在最前边。

学生的身高互不相同，把他们从高到底依次标记为 1,2,…,N。

在合影时要求每一排从左到右身高递减，每一列从后到前身高也递减。

问一共有多少种安排合影位置的方案？

下面的一排三角矩阵给出了当 N=6,k=3,N1=3,N2=2,N3=1 时的全部16种合影方案。注意身高最高的是1，最低的是6。

123 123 124 124 125 125 126 126 134 134 135 135 136 136 145 146
45  46  35  36  34  36  34  35  25  26  24  26  24  25  26  25
6   5   6   5   6   4   5   4   6   5   6   4   5   4   3   3

输入格式

输入包含多组测试数据。

每组数据两行，第一行包含一个整数k表示总排数。

第二行包含k个整数，表示从后向前每排的具体人数。

当输入k=0的数据时，表示输入终止，且该数据无需处理。

输出格式

每组测试数据输出一个答案，表示不同安排的数量。

每个答案占一行。

数据范围

1≤k≤5,学生总人数不超过30人。

输入样例：

1
30
5
1 1 1 1 1
3
3 2 1
4
5 3 3 1
5
6 5 4 3 2
2
15 15
0

输出样例：

1
1
16
4158
141892608
9694845

题解

线性dp的阶段沿着各个维度线性增长, 从一个或多个"边界点"开始有方向地向整个状态空间转移

所谓线性就是不管几维都要 遍历

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

const int maxn = 31;

int n, s[6];
ll f[maxn][maxn][maxn][maxn][maxn];

int main()
{
    while (cin >> n, n)
    {
        memset(f, 0, sizeof f); 
        f[0][0][0][0][0] = 1;

        for (int i = 1; i <= n; ++i) cin >> s[i];
        for (int i = n + 1; i <= 5; ++i) s[i] = 0;

        for (int a = 0; a <= s[1]; ++a)
            for (int b = 0; b <= min(a, s[2]); ++b)
                for (int c = 0; c <= min(b, s[3]); ++c)
                    for (int d = 0; d <= min(c, s[4]); ++d)
                        for (int e = 0; e <= min(d, s[5]); ++e)
                        {
                            ll& x = f[a][b][c][d][e];
                            if (a) x += f[a - 1][b][c][d][e];
                            if (b) x += f[a][b - 1][c][d][e];
                            if (c) x += f[a][b][c - 1][d][e];
                            if (d) x += f[a][b][c][d - 1][e];
                            if (e) x += f[a][b][c][d][e - 1];
                        }

        cout << f[s[1]][s[2]][s[3]][s[4]][s[5]] << '\n';
    }
    return 0;
}