Description
传说很久以前,大地上居住着一种神秘的生物:地精。 地精喜欢住在连绵不绝的山脉中。具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi,其中Hi是1到N 之间的正 整数。 如果一段山脉比所有与它相邻的山脉都高,则这段山脉是一个山峰。位于边 缘的山脉只有一段相邻的山脉,其他都有两段(即左边和右边)。 类似地,如果一段山脉比所有它相邻的山脉都低,则这段山脉是一个山谷。
地精们有一个共同的爱好——饮酒,酒馆可以设立在山谷之中。地精的酒馆 不论白天黑夜总是人声鼎沸,地精美酒的香味可以飘到方圆数里的地方。
地精还是一种非常警觉的生物,他们在每座山峰上都可以设立瞭望台,并轮 流担当瞭望工作,以确保在第一时间得知外敌的入侵。 地精们希望这N 段山脉每段都可以修建瞭望台或酒馆的其中之一,只有满足 这个条件的整座山脉才可能有地精居住。 现在你希望知道,长度为N 的可能有地精居住的山脉有多少种。两座山脉A 和B不同当且仅当存在一个 i,使得 Ai≠Bi。由于这个数目可能很大,你只对它 除以P的余数感兴趣。
Input
仅含一行,两个正整数 N, P。
Output
仅含一行,一个非负整数,表示你所求的答案对P取余 之后的结果。
Sample Input
4 7
Sample Output
3
HINT
对于 20%的数据,满足 N≤10;
对于 40%的数据,满足 N≤18;
对于 70%的数据,满足 N≤550;
对于 100%的数据,满足 3≤N≤4200,P≤109
Source
第一轮Day2
题目大意:求长度为n的抖动排列在模P意义下的方案数(抖动序列定义为局部较大值(自己与相邻两个)“峰”与局部较小值(自己与相邻两个)“谷”交替出现的序列)
非常厉害的一道题,求助于题解可是因为自己太弱并没有看懂,只好根据状态自己想办法转移,所以各位神犇如果觉得写错了的话,请自动忽视并关闭页面欢迎在评论区与我讨论以纠正我的错误。
引理一:一个抖动序列的连续子序列(≈一个数列的子串?)仍然是抖动序列。
证明:根据抖动序列的定义即可得证。。。
引理二:若一个抖动排列中
x
与
证明:(请自己在脑海中感性证明)由于
x
与
引理三:若使一个抖动排列中大于等于
x
的元素全部加1,得到的序列仍为抖动序列。
证明:这个可以考虑归纳法证明,对
引理四:一个
证明:用
Y−x+1
替换掉
x
就好了,并且易知如果采用这种方法的话这是一一对应的,并且峰谷交换了。
有了上述几个引理我们就可以愉快地DP了!
设
(1)如果第二个数不是
(2)如果第二个数是
j−1
。那么去掉第一个数
j
后,
好了,这上面两种情况已经包含了第二个位置上的数的所有情况,并且都是一一对应的,根据动态规划与计数问题的归纳证明,我们成功地得到了正确的转移方程:
f[i][j]=f[i][j−1]+f[i−1][i−j+1]
!
最终
ans=(∑i=1nf[n][i])∗2
(其实开头元素为1且是峰的根本不存在好吧,所以我们当然可以直接不转移它啦~)(记得特殊处理一下
n=1
的情况),最后那个
∗2
是什么意思呢?很简单,因为我们状态里只有第一个数是峰的情况,根据引理四中的一一对应与峰谷交换,我们
∗2
就可以得到第一个数是谷的情况的方案数了。
当然接下来我们要做的就是简单的改成滚动数组就可应对内存的问题了。
说了那么一堆以后简短的代码:
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace std;
typedef long long ll;
const int N=5000;
int n,P,ans,f[2][N],now=1,pre=0;
int main()
{
scanf("%d%d",&n,&P);
if(n==1){printf("%d\n",1%P);return 0;}
f[now][2]=1;//f[2][2]=1,即排列"2 1"
for (int i=3;i<=n;++i)
{
swap(now,pre);
for (int j=2;j<=i;++j)
f[now][j]=(f[now][j-1]+f[pre][i-j+1])%P;
}
for (int i=1;i<=n;++i)ans=(ans+f[now][i])%P;
ans=(ans<<1)%P;printf("%d\n",ans);
return 0;
}