洛谷 P3205 [HNOI2010]合唱队

Description

为了在即将到来的晚会上有更好的演出效果，作为 A 合唱队负责人的小 A 需要将合唱队的人根据他们的身高排出一个队形。假定合唱队一共 $n$ 个人，第 $i$ 个人的身高为 $h_i$ 米（$1000\le h_i\le 2000$），并已知任何两个人的身高都不同。假定最终排出的队形是 $A$ 个人站成一排，为了简化问题，小 A 想出了如下排队的方式：他让所有的人先按任意顺序站成一个初始队形，然后从左到右按以下原则依次将每个人插入最终棑排出的队形中：

• 第一个人直接插入空的当前队形中。
• 对从第二个人开始的每个人，如果他比前面那个人高（$h$ 较大），那么将他插入当前队形的最右边。如果他比前面那个人矮（$h$ 较小），那么将他插入当前队形的最左边。

当 $n$ 个人全部插入当前队形后便获得最终排出的队形。

例如，有 $6$ 个人站成一个初始队形，身高依次为 $1850,1900,1700,1650,1800,1750$，
那么小 A 会按以下步骤获得最终排出的队形：

• 1850。
• 1850, 1900，因为 1900 > 1850。
• 1700, 1850, 1900，因为 1700 < 1900。
• 1650, 1700, 1850, 1900，因为 1650 < 1700。
• 1650, 1700, 1850, 1900, 1800，因为 1800 > 1650。
• 1750, 1650, 1700, 1850, 1900, 1800，因为 1750 < 1800。

因此，最终排出的队形是 $1750,1650,1700,1850,1900,1800$。

小 A 心中有一个理想队形，他想知道多少种初始队形可以获得理想的队形。

请求出答案对 $19650827$ 取模的值

Input

第一行一个整数 $n$。
第二行 $n$ 个整数，表示小 A 心中的理想队形。

Output

输出一行一个整数，表示答案 $\mathrm{m}\mathrm{o}\mathrm{d}19650827$ 的值。

Solution

1.考虑区间dp做法。

定义

dp[i][j][0]：区间[i, j]，i从左边加入队形的方案数；

dp[i][j][1]：区间[i, j]，j从右边加入队形的方案数。

显然，所求答案为dp[1][n][0]+dp[1][n][1]。

2.状态转移过程。

对于每一个区间[i, j]，都可由区间[i+1, j]或[i, j-1]转化而来。

对于区间[i+1, j]：

则$i$需要从左边进入（为了形成区间[i, j]）。

该区间内最新加入的元素只有可能在下标$i+1$或者$j$上，

如果它位于$i+1$，则说明他是从左边进入该区间的，

此时对答案的贡献为dp[i+1][j][0]；

如果它位于$j$，则说明他是从右边进入该区间的，

此时对答案的贡献为dp[i+1][j][1]；

加到dp[i][j][0] 上。

对于区间[i, j-1]：

则$j$需要从右边进入（为了形成区间[i, j]），

该区间内最新加入的元素只有可能在下标$i$或者$j-1$上，

如果它位于$i$，则说明他是从左边进入该区间的，

此时对答案的贡献为dp[i][j-1][0]；

如果它位于$j-1$，则说明他是从右边进入该区间的，

此时对答案的贡献为dp[i][j-1][1]；

加到dp[i][j][1] 上。

3.特殊情况

一般地，根据我们的推论，对于每个只有一个元素的区间，有dp[i][i][0] = dp[i][i][1] = 1。

但由于只有一个人的时候，显然方案数是只有$1$种的，但按照上述赋值的话，答案会变为$2$种。

所以这里进行特殊处理，随便选一种方向使其为$1$即可。

Code

#include <bits/stdc++.h>

typedef long long ll;

#define MOD 19650827
#define intmax 2147483647
#define memmax 0x7fffffff

using namespace std;

inline ll read()
{
	ll x=0,f=1;char ch=getchar();
	while (ch<'0'||ch>'9'){if (ch=='-') f=-1;ch=getchar();}
	while (ch>='0'&&ch<='9'){x=x*10+ch-48;ch=getchar();}
	return x*f;
}


ll n;
ll h[1005];
ll dp[2005][2005][2];

void solve()
{
    n = read();
    for(int i=1; i<=n; i++)
        h[i] = read();
    
    // 默认令其从左进，从右进也可以
    // 两个都有会使得计算数重复
    for(int i=1; i<=n; i++)
        dp[i][i][0] = 1;

    // 只是为了求答案h的方案数
    // h给定的只是数
    // 它们的顺序可以自由排列
    for(int len=2; len<=n; len++)
    {
        for(int i=1; i+len-1<=n; i++)
        {
            // 形成区间[i, j]
            int j = i+len-1;

            // ^从左边进的情况[i+1, j]
            // 前一个人比他高
            // 前一个人可能在[i+1]或[j]

            // 假设其在i+1
            // 那么他就是从左边进的
            if(h[i] < h[i+1])
            { 
                // 第i+1个人在左边进
                dp[i][j][0] = (dp[i][j][0]+dp[i+1][j][0])%MOD;
            }
            // 假设其在j
            // 那么他就是从右边进的
            if(h[i] < h[j])
            {
                // 第j个人从右边进
                dp[i][j][0] = (dp[i][j][0]+dp[i+1][j][1])%MOD;    
            }

            // ^从右边进的情况 [i, j-1]
            // 前一个人比他矮
            // 前一个人可能在[i]或[j-1]

            // 假设其在i
            // 那么他就是从左进的
            if(h[j] > h[i])
            {
                // 第i个人从左边进
                dp[i][j][1] = (dp[i][j][1]+dp[i][j-1][0])%MOD;
            }
            // 假设其在j-1
            // 那么他就是从右进的
            if(h[j] > h[j-1])
            {
                // 第j-1个人从右边进
                dp[i][j][1] = (dp[i][j][1]+dp[i][j-1][1])%MOD;
            }
        }
    }

    printf("%lld", (dp[1][n][0]+dp[1][n][1])%MOD);
}

int main(void)
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);

    // come on
    solve();

    return 0;
}