bzoj1925 [Sdoi2010]地精部落（抖动序列）

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

分析：
毕竟是省选题，思维难度不是一般大的

我们可以把序列抽象成折线，
为了方便转移，我们强制第一个是山峰，其余的方案都可以通过取反得到
设计状态 f[i][j] 表示：

长度为i（可以理解为序列是1~i的排列），首项（强制是山峰）取值为[1,j]的方案数

转移方程：f[i][j]=f[i][j-1]+f[i-1][i-j]

---

这个状态不是一般的难想啊

f[i][j-1]这个比较好理解，直接累加首项为[1,j-1]的方案数，

接下来要考虑的是如何求首项为j的方案数

一般的，长度为i的状态都是有长度为i-1的状态转移来的

假设首项为j，依所设第一个必须是山峰，
于是只需要算出首项取值为[1,j-1]，长度为i-1，且第一个是山谷的序列的方案数即可， 记作g[i-1][j-1]

之前我们已经提过了：我们强制第一个为山峰，其余的方案都可以通过取反得到
对于长度为i的数列，如果使数列的每一项ai变为i-ai+1，都可以得到恰好相反的一个数列，并且他们一定是一一对应的

于是有f[i][j]=g[i][i-j+1]

于是上面的g[i-1][j-1]=f[i-1][i-j]，方程就不难理解了

最后答案要*2

注意

我们的转移方程虽然是f[i][j]=f[i][j-1]+f[i-1][i-j]
但这不能保证g[i-1][j-1]=f[i-1][i-j]含有数字j怎么办？
（因为我们的序列中每个数只出现一次）
实际上只用默认将g[i-1][j-1]中大于等于j的数字全部加一，肯定能形成合法序列，并且也是一一对应的

tip

转移的时候要用滚动数组优化
n=1的时候特判一下

//这里写代码片
#include<cstdio>
#include<cstring>
#include<iostream>

using namespace std;

int f[2][4205];

int main()
{
    int n,p;
    scanf("%d%d",&n,&p);

    if (n==1)
    {
        printf("1\n");
        return 0;
    } 

    int now=0;
    f[0][1]=1;
    for (int i=2;i<=n;i++)
    {
        now^=1;
        for (int j=1;j<=i;j++)
        {       
            f[now][j]=f[now][j-1]+f[now^1][i-j];
            f[now][j]%=p;
        }
    }

    printf("%d",f[now][n]*2%p);
    return 0;
}