题目链接:
http://acm.hdu.edu.cn/showproblem.php?pid=4055
题目大意:
给一个只含‘I','D','?'三种字符的字符串,I表示当前数字大于前面的数字,D表示当前的数字小于前面一位的数字,?表示当前位既可以小于又可以大于。
问1~n的排列中有多少个满足该字符串。
解题思路:
计数dp.
dp[i][j]表示长度为i字符串,最后一个数为j时,能达到满足给定字符串的1~i+1的排列个数。
转移方程:
当S[i]='I'时,当前如果为j的话,前面的一位肯定要小于j,dp[i][j]+=Mi[j-1] ; //Mi[i]表示前面一位下标小于等于i dp[][1~i]的和
当S[i]='D'时,dp[i][j]+=(la-Mi[j-1]); //前一位要大于等于j
当S[i]='?'时,dp[i][j]+=la; //la表示前一位所有的状态总和.
注意递推的时候,前i位只和相对大小有关,与绝对大小无关,所以都用1~i表示,当增加一位时,就变成了1~i+1,如果当前为j,前面的小于j的状态不变,大于等于j的状态k所表示的值 现在表示k+1的值,这样就从1~i等价的转化成了1~i+1,这样考虑就不用考虑1~n的放法了,递推到n位时肯定都是1~n了。
代码:
#include <iostream> #include<cstdio> #include<cstring> #include<algorithm> #include<cmath> #include<cstdlib> #include<cctype> #include<map> #include<vector> #include<set> #include<queue> #include<string> using namespace std; const int INF = 0x3f3f3f3f; const double eps = 1e-6; const double PI = acos(-1.0); typedef __int64 ll; //#pragma comment(linker, "/STACK:1024000000,1024000000") /* freopen("data.in","r",stdin); freopen("data.out","w",stdout); */ #define M 1000000007 #define Maxn 1100 char sa[Maxn]; int dp[Maxn][Maxn]; //dp[i][j]表示有i个字符,当前数字为j时,所有的总数 //注意有i个字符说明前面一共有1~i+1个不同的数字,dp[i-1]共有1~i个数字, //建立递推时,如果当前为j,则前面小于j的不变,大于等于j的全部加一,这样就从1~i变成了1~i+1 int la; int Mi[Maxn][2]; //Mi[i]表示上一个dp[i-1]下标小于等于j的值的总和 int main() { while(~scanf("%s",sa+1)) { int len=strlen(sa+1); for(int i=0;i<=len+10;i++) //初始化 { Mi[i][0]=Mi[i][1]=0; for(int j=0;j<=len+10;j++) dp[i][j]=0; } dp[0][1]=1; //没有字符时,有一个数 且这个数为1 la=1; Mi[1][0]=1; //下标小于等于1的有一个 int pp=0; for(int i=1;i<=len;i++) { pp=pp^1; //当前状态 int n=i+1;//当前为可能的取值,注意前面的之和相对大小有关 ll cur=0; for(int j=1;j<=n;j++) //枚举当前位的数值 { if(sa[i]=='I') //如果为增的话,前面的肯定是小于j的 dp[i][j]=(dp[i][j]+Mi[j-1][pp^1])%M; else if(sa[i]=='D') //减的话,前面是大于等于j的,加1后就变成了大于j的了 dp[i][j]=(dp[i][j]+(la-Mi[j-1][pp^1])%M+M)%M; else //如果无所谓的话,前面所有1-n-1个状态都行 dp[i][j]=(dp[i][j]+la)%M; //用一个la记录 Mi[j][pp]=(Mi[j-1][pp]+dp[i][j])%M;//求出当前的Mi cur=(cur+dp[i][j])%M; //求出当前的la } la=cur; //这题卡常数,多了几个循环都不行 } ll ans=0; for(int i=1;i<=len+1;i++) //枚举最后的能够占有的值 ans=(ans+dp[len][i])%M; printf("%d ",ans); } return 0; }