Number String

题意

对于一个1~n的排列，根据相邻两个数的大小关系，规定 a[i] < a[i+1] 为’I’,a[i]>a[i+1]为’D’，所以对于每个排列都可以确定一个长度为n-1的字符串。
现在给出一个字符串。包含’I”D”?’，’?’表示可以是’I’或’D’。求满足这个字符串的排列有多少种。

分析

排列。
填完？肯定是不行的…
然后是之后的DP最多也就n^2了吧。
首先选了哪些是肯定存不下来的，但是还要保证一定是一个排列。
然后之后的数字虽然只跟大小关系和前一个数字有关，但是重复就很麻烦什么的。
然后就去看了题解
然后觉得这个状态定义好神奇啊居然还可以这么做。

状态的定义

dp[i][j] 表示满足前j个字符串的i的排列。没错是i的排列。
至于大佬们是怎么想到这么定义的我也不知道但是我觉得既然接触了似乎并不难理解。
这样定义可以让问题变小。而且既然可以方便的转移，那就是好的定义。

答案

$$\sum _{i=1}^n\ dp[n][i]$$

初始化

dp[0][1]=1
似乎也不难想到，意思就是字符串长度为0，然后最后一位是1的长度为1的排列就只有1这一种情况。 dp[0][1]存的是 一种情况。

状态转移方程

符号有两种情况所以转移也有两种情况(?在I和D的情况都转移一次)
dp[i][j]
首先是I的情况:
就是在最后面加一个比j大的数字就好了。虽然考虑到k这个数字在之前可能已经使用过一次，但是可以通过把之前所有大于等于k的数字都再加上1，然后就能构造新的排列了。
dp[i][j]=$\sum _{k=1} ^{j-1}\ dp[i-1][k]$

然后是D的情况:
其实和上面的也挺接近的。就是加一个比j小的数字。然后同样如果出现过的话就把大于等于k的数字都加上1，构造新的排列。
dp[i][j]=$\sum _{k=j} ^i \ dp[i-1][k]$

code

#include<bits/stdc++.h>
#define mo 1000000007
#define ll long long
ll sum[1005][1005];
char s[1005];
int main(){
    int n,i,j;
    for (; scanf("%s",s+1)!=EOF; ){
        n=strlen(s+1);
        sum[0][1]=1;
        for (i=1; i<=n; i++){
            for (j=1; j<=i+1; j++){
                sum[i][j]=sum[i][j-1];
                if (s[i]=='I'){sum[i][j]+=sum[i-1][j-1];}
                else if (s[i]=='D'){sum[i][j]+=sum[i-1][i]-sum[i-1][j-1];}
                else{
                    sum[i][j]+=sum[i-1][j-1];
                    sum[i][j]+=sum[i-1][i]-sum[i-1][j-1];
                }
                sum[i][j]%=mo;
                if (sum[i][j]<0)sum[i][j]+=mo;
            }       
        }
        printf("%lld\n",sum[n][n+1]);   
    }
    return 0;   
}

反思

虽然没有自己想出来但是看了题解好歹是理解了。同类型的题目能不能举一反三还是个问题。
这里状态的定义，照我的理解来看就是把问题变小，把求n的排列转成求n-1的排列然后再n-2…虽然说DP不都是这样吗但是这样写真的大概还是第一次。总之，加油写吧。

我太菜了…