Description
老 C 是个程序员。
作为一个优秀的程序员,老 C 拥有一个别具一格的键盘,据说这样可以大幅提升写程序的速度,还能让写出来的程序
在某种神奇力量的驱使之下跑得非常快。小 Q 也是一个程序员。有一天他悄悄潜入了老 C 的家中,想要看看这个
键盘究竟有何妙处。他发现,这个键盘共有n个按键,这n个按键虽然整齐的排成一列,但是每个键的高度却互不相同
。聪明的小 Q 马上将每个键的高度用 1 ~ n 的整数表示了出来,得到一个 1 ~ n 的排列 h1, h2,..., hn 。为了
回去之后可以仿造一个新键盘(新键盘每个键的高度也是一个 1 ~ n 的排列),又不要和老 C 的键盘完全一样,小 Q
决定记录下若干对按键的高度关系。作为一个程序员,小 Q 当然不会随便选几对就记下来,而是选了非常有规律的
一些按键对:对于 i =2,3, ... , n,小 Q 都记录下了一个字符<或者>,表示 h_[i/2] < h_i 或者h _[i/2] > h_i
。于是,小 Q 得到了一个长度为n ? 1的字符串,开开心心的回家了。现在,小 Q 想知道满足他所记录的高度关系的
键盘有多少个。虽然小 Q 不希望自己的键盘和老 C 的完全相同,但是完全相同也算一个满足要求的键盘。答案可
能很大,你只需要告诉小 Q 答案 mod 1,000,000,007 之后的结果即可。
Input
输入共 1 行,包含一个正整数 n 和一个长度为 n ? 1 的只包含<和>的字符串,分别表示键
盘上按键的数量,和小 Q 记录的信息,整数和字符串之间有一个空格间隔。
Output
输出共 1 行,包含一个整数,表示答案 mod 1,000,000,007后的结果。
Sample Input
5 <>><
Sample Output
3
共5个按键,第1个按键比第2个按键矮,第1个按键比第3个按键高,第2个按键比第4个
按键高,第2个按键比第5个按键矮。
这5个按键的高度排列可以是 2,4,1,3,5 , 3,4,1,2,5 , 3,4,2,1,5 。
共5个按键,第1个按键比第2个按键矮,第1个按键比第3个按键高,第2个按键比第4个
按键高,第2个按键比第5个按键矮。
这5个按键的高度排列可以是 2,4,1,3,5 , 3,4,1,2,5 , 3,4,2,1,5 。
HINT
Source
之前看到这个题的时候毫无想法，现在看起来和实验比较的做法差不多(这个题好像有原题，bzoj 2111 和 bzoj 3167)
woc这原来都是一个题，但是这题我的做法和实验比较的做法差不多；
首先题目给了一棵完全二叉树，然后给了父亲和儿子的关系，那么我们设dp[i][j],表示i的子树内，i的排名为j的方案数；
然后做法流程和实验比较类似，合并(x,i),(y,j)时首先分情况枚举合并后x的rank为k;
1.x>y；
那么k从i枚举到i+j-1，然后就相当于这样一个问题：
前半段有k-1个盒子，i-1个红球，k-1-(i-1)个蓝球，后半段有size[x]+size[y]-k个盒子，有size[x]-i个红球，...个蓝球，
红蓝球都有顺序；
然后问每个盒子都填了一个球，而且红蓝球的内部顺序不变的方案数：
那么转移就是：
2.x<y
k就是从i+j,枚举到i+size[y],然后转移是一模一样的;
然后具体实现方法和实验比较一样。。。
//MADE BY QT666
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;
typedef long long ll;
const int N=1050;
const int Mod=1e9+7;
ll c[N][N],size[N],dp[N][N],g[N],head[N],to[N],nxt[N],type[N],cnt,n;
char s[N];
void lnk(int x,int y,int z){
to[++cnt]=y,nxt[cnt]=head[x],type[cnt]=z,head[x]=cnt;
}
void dfs(int x){
size[x]=1;
for(int p=head[x];p;p=nxt[p]){
int y=to[p],flg=type[p];dfs(y);
if(flg==1){
if(size[x]==1){
for(int i=1;i<=size[y];i++){
for(int j=1;j<=i;j++) (dp[x][j]+=dp[y][i])%=Mod;
}
size[x]+=size[y];
for(int i=1;i<=size[x];i++) g[i]=dp[x][i];
}
else{
int tot=size[x]+size[y];
for(int i=1;i<=size[x];i++){
for(int j=1;j<=size[y];j++){
for(int k=i;k<=i+j-1;k++){
(g[k]+=dp[x][i]*dp[y][j]%Mod*c[k-1][i-1]%Mod*c[tot-k][size[x]-i]%Mod)%=Mod;
}
}
}
size[x]+=size[y];
for(int i=1;i<=size[x];i++) dp[x][i]=g[i];
}
}
else {
if(size[x]==1){
for(int i=1;i<=size[y];i++){
for(int j=i;j<=size[y];j++) (dp[x][j+1]+=dp[y][i])%=Mod;
}
size[x]+=size[y];
for(int i=1;i<=size[x];i++) g[i]=dp[x][i];
}
else{
int tot=size[x]+size[y];
for(int i=1;i<=size[x];i++){
for(int j=1;j<=size[y];j++){
for(int k=i+j;k<=i+size[y];k++){
(g[k]+=dp[x][i]*dp[y][j]%Mod*c[k-1][i-1]%Mod*c[tot-k][size[x]-i]%Mod)%=Mod;
}
}
}
size[x]+=size[y];
for(int i=1;i<=size[x];i++) dp[x][i]=g[i];
}
}
}
if(size[x]==1) dp[x][1]=1;
memset(g,0,sizeof(g));
}
int main(){
scanf("%lld",&n);scanf("%s",s+1);
for(int i=2;i<=n;i++){
if(s[i-1]=='<') lnk(i/2,i,1);
if(s[i-1]=='>') lnk(i/2,i,2);
}
for(int i=0;i<=n;++i) c[i][0]=1;
for(int i=1;i<=n;++i)
for(int j=1;j<=i;++j){
c[i][j]=(c[i-1][j-1]+c[i-1][j])%Mod;
}
dfs(1);ll ans=0;
for(int i=1;i<=size[1];i++) (ans+=dp[1][i])%=Mod;
printf("%lld
",ans);
return 0;
}