这道题的题意就是问你1~n的排列中有多少满足高低交替出现
dp狂gang一波
我们考虑f[i][k]表示处理到了第i个数,最后一个数为k,最后两个数递增的方案数,g[i][k]表示处理到了第i个数,最后一个数是k,最后两个数递减的方案数,不难发现,我们假设我们处理到了第i位,每一个数为ai,我们将这i个数替换成i-ai+1,发现山峰会变山谷,方案依然成立也就是说
f[i][k]=g[i][i-k+1] g[i][k]=f[i][i-k+1]
然后考虑f[i][k]如何转移,当前最后两个数递增,那将最后一个数去掉后,最后两个数一定递减,也就是说f[i][k]=∑g[i-1][j](1<=j<k)
由上面得到的等价关系可以得出
g[i-1][j]=f[i-1][i-j]
f[i][k]=∑g[i-1][j](1<=j<k)=∑f[i-1][i-j](1<=j<k)=∑f[i-1][j](i-k+1<=j<=i-1)
现在我们得到了f[i][k]=∑f[i-1][j](i-k+1<=j<=i-1)
然后我们将k换成k-1得到f[i][k-1]=∑f[i-1][j](i-k+2<=j<=i-1)
然后发现f[i][k]与f[i][k-1]只差了一个f[i-1][i-k+1]
所以最后我们的到f[i][k]=f[i][k-1]+f[i-1][i-k+1]
然后这题就解完了,据说可以滚动数组,我懒
代码
//By AcerMo
#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int M=4500;
int n,mod,f[M][M];
signed main()
{
cin>>n>>mod;f[1][0]=1;int ans=0;
if (n==1) return puts("1"),0;
for (int i=1;i<=n;i++)
for (int k=1;k<=i;k++)
f[i][k]=(f[i][k-1]+f[i-1][i-k+1])%mod;
for (int i=1;i<=n;i++)
ans=(ans+f[n][i])%mod;
cout<<(ans*2)%mod;
return 0;
}