codeforces 509F F. Progress Monitoring(区间dp)

题目链接：

codeforces 529F

---

题目大意：

给出一个遍历树的程序的输出的遍历顺序，问可能的树的形态有多少种。

---

题目分析：

• 给出了b序列，我们dp[l][r]为由l和r构成的子树的形态数，因为遍历的过程，所以l一定作为根，所以这个定义也相当于l+1和r共享一个根的构成子树的形态数。
• 因为遍历采用的邻接矩阵，所以同一层上序号小的先遍历到。
• 转移方程如下: $$dp[l][r] = \sum_{i=l+1}^r dp[l+1][i] \cdot dp[i][r]$$
• 解释一下就是枚举所有树合并的方案，根据乘法原理得到最终方案。也就是枚举以l为根的树的第一个孩子的子树的规模，然后乘上后面的一个子树或者森林的形态数，加在当前选定的根的情况。（这样才能保证遍历顺序）。
  

  ---

AC代码：

#include <iostream>
#include <algorithm>
#include <cstring>
#include <cstdio>
#define MAX 507

using namespace std;
typedef long long LL;
const LL mod = 1e9+7;

LL dp[MAX][MAX];
int b[MAX],n;

LL dfs ( int l , int r )
{
    if ( dp[l][r] != -1 ) return dp[l][r];
    if ( l == r ) return dp[l][r] = 1LL;
    LL ans = 0;
    for ( int i = l+1 ; i <= r ; i++ )
    {
        if ( i != r && b[l+1] >= b[i+ 1] ) continue;
        ans += dfs ( l+1 , i )* dfs ( i , r )%mod;
        ans %= mod;
    }
    return dp[l][r] = ans;
}

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