Codeforces Round #289 (Div. 2) F. Progress Monitoring （计数类dp、记忆化搜索、区间dp）

题目链接

题面：

题意：
给定一棵树的 dfs 方式和 dfs序，问满足这个dfs序的不同的树有多少棵。

题解：

表示状态：
dp [ i ] [ j ] = numbers
表示 a [ i to j ] 这些节点，以 a [ i ] 为根所能构成的树的方案数。

找出答案：
ans = dp [ 1 ] [ n ]

如何转移：
dp [ i ] [ j ] 一 定以a[i]为根，且第一个访问的子节点一定是 a [ i + 1 ] 。
所以将 dp [ i ] [ j ] 分为三部分：
（1）根节点 a [ i ]
（2）最左边的一棵子树 a [ i + 1 to k ]
（3）右边剩下的一堆节点 a [ k + 1 to j ]
那么根据乘法原理：
dp [ i ] [ j ] = ∑ dp [ i + 1 ] [ k ] * 右边一堆节点的方案数

然而遍历是根据节点编号从小到大访问儿子节点的。

这就要求，对于后面的一堆节点，如果其中某一个a[x]要和a[i+1]在同一层，那么一定要有a[i+1]<a[x]。
又因为对于右边的一堆节点来说，最先访问到的肯定是a[k+1]。
所以就是要保证：a[i+1]<a[k+1] or a[k+1]不存在
这样就不用管后面的节点了，爱咋分咋分……

接下来考虑如何求右边一堆节点的方案数。
a[k+1 to j]形成森林的方法数 = a [ k to j ]以 a [ k ] 为根的子树的方法数。
所以右边一堆节点的方案数 = dp [ k ] [ j ]

最终就是：

if(a[i+1]<a[k+1] || k==j)
	dp[i][j] += dfs(i+1,k)*dfs(k,j);

用记忆搜搞就行。

边界条件：
dp [ i ] [ i ] = 1

代码：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<string>
#include<queue>
#include<bitset>
#include<map>
#include<set>
#define ll long long
#define llu unsigned ll
#define ld long double
#define ui unsigned int
#define pr make_pair
#define pb push_back
#define ui unsigned int
#define lc (cnt<<1)
#define rc (cnt<<1|1)
#define len(x)  (t[(x)].r-t[(x)].l+1)
#define tmid ((l+r)>>1)
#define forhead(x) for(int i=head[(x)];i;i=nt[i])
#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)>(y)?(y):(x))
using namespace std;
const int inf=0x3f3f3f3f;
const ll lnf=0x3f3f3f3f3f3f3f3f;
const double dnf=1e18;
const int mod=1e9+7;
const double eps=1e-8;
const double pi=acos(-1.0);
const int maxm=100100;
const int up=100000;
const int hashp=13331;
const int maxn=510;

ll dp[maxn][maxn],b[maxn];

ll dfs(int l,int r)
{
    if(dp[l][r]!=-1) return dp[l][r];
    if(l==r) return dp[l][r]=1;
    dp[l][r]=0;
    for(int k=l+1;k<=r;k++)
    {
        if(b[l+1]<b[k+1]||k==r)
            dp[l][r]=(dp[l][r]+dfs(l+1,k)*dfs(k,r))%mod;
    }
    return dp[l][r];
}

int main(void)
{
    memset(dp,-1,sizeof(dp));
    int n;
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
        scanf("%lld",&b[i]);
    printf("%lld\n",dfs(1,n));
    return 0;
}