考虑翻译一下题面,就是说存在多少弹出序列,使得存在一种弹入序列能够构造出这个东西。
显然弹入序列是个v型。那我们的弹出序列如果前面k-1个位置可以被划分成不超过两个单调递减的序列并且其中一个单调队列的最小值大于后面n-k个数字的最大值,那么就可以,否则就不行。因此为了避免重复计数,我们规定对一个弹出序列构造弹入序列的方法是,如果下一个数字比当前加入的所有数字都小那么就放到地一个单调队列里面,否则这个数字只能是用来为第二个单调队列弥补空白的(否则就gg了)。
因此设个dp[i][j]表示前i个位置最小值是j的方案数,转移枚举放一个更小的数字或者是弥补空白。特殊注意当j=n-i+1的时候是不能弥补空白的,这个要特判。
代码:
#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#define mod 1000000007
#define lint long long
#define N 2010
using namespace std;
inline int fast_pow(int x,int k,int ans=1)
{
for(;k;k>>=1,x=(lint)x*x%mod)
if(k&1) ans=(lint)ans*x%mod;
return ans;
}
int dp[N][N];
int main()
{
int n,k,ans=0;scanf("%d%d",&n,&k);
if(n==1) return !printf("%d\n",1);
if(k==1) return !printf("%d\n",fast_pow(2,n-2));
for(int i=2;i<=n;i++) dp[1][i]=1;
for(int i=2;i<k;i++)
{
memcpy(dp[i],dp[i-1],sizeof(int)*(n-i+3));
for(int j=n-i+1;j>=1;j--) (dp[i][j]+=dp[i][j+1])%=mod;
}
for(int i=2;i<=n-k+2;i++) (ans+=dp[k-1][i])%=mod;
for(int i=1;i<n-k;i++) (ans<<=1)%=mod;
return !printf("%d\n",ans);
}