1 条题解

  • 0
    @ 2025-8-24 21:38:01

    自动搬运

    查看原文

    来自洛谷,原作者为

    avatar 残梦断忆
    **

    搬运于2025-08-24 21:38:01,当前版本为作者最后更新于2017-11-06 13:15:49,作者可能在搬运后再次修改,您可在原文处查看最新版

    自动搬运只会搬运当前题目点赞数最高的题解,您可前往洛谷题解查看更多

    以下是正文


    ##DP + 滚动数组优化空间

    这道题卡了差不多一个上午,思维难度灰常大,代码极简;

    ##题意,求波动数列

    首先我们必须要搞清楚3个性质

    • First: 在一个波动数列中,若两个 i 与 i+1 不相邻,那么我们直接交换这两个数字就可以组成一个新的波动数列; 举个栗子: 5 2 3 1 4

    4 2 3 1 5

    • Second: 把波动数列中的每个数字Ai 变成 (N+1)-Ai 会得到另一个波动数列,且新数列的山峰与山谷情况相反;

    举个栗子: 1 4 2 5 3 (用 6 - 每个数) 1是山谷,4是山峰,后面类推

    5 2 4 1 3 这个数列也是波动的 ,且 5是山峰,2是山谷;

    • Third: 波动序列有对称性。 栗子:1 4 2 5 3 to 3 5 2 1 4

    这样我们的DP方程可以写成是:DP[I][J]表示 选 1 To I 这些数字,第一个数为山峰(山峰山谷比较形象),且第一个数为 J;

    答案就是 ∑ DP[N][j] (j = 1 to N)

    如何转移?这里我先上代码;

    #DP[i][j]=DP[i][j-1]+DP[i-1][i-j+1];

    ##首先,我每次求 j作序列头,且表示山峰

    由性质一可知,当j与j-1不相邻的时候,j作为头所有的方案数与j-1作为头的方案数相同,于是就有DP[I][J]=DP[I][J-1];

    对于DP[i][j]+=DP[i-1][i+j-1];就是当j 与 j-1相邻时的情况;

    **我们可以这么想,我第一个数选择了J 并且定义为山峰,那我第二个数j-1必定为山谷,后面的数属于[1,j-1]和[j+1,i];

    ###此时问题转化成了求 i-1个数,j-1为头,但是j-1 为山谷的方案数,由性质2可知,j-1作山谷和作山峰的方案数相同;

    现在的问题就是,此时的区间和我DP方程的区间意义不同;

    ###没关系;因为山峰与山谷是相对位置关系,将[j+1,i]区间的每个数都减一,这样是不改变相对大小关系的,并且此时就符合我们的方程了;

    另外,我DP[i-1][j-1]表示的是J-1为山顶时的个数,为了让其表示J-1为山谷的情况,要改成DP[i-1][(i-1+1)-(j-1)];

    这样就得到了我们的转移方程,我们可以用滚动数组优化空间;

    贴代码:

    cpp
    
    #include<bits/stdc++.h>
    using namespace std;
    const int MAXN=5005;
    int f[2][MAXN]; //f[i][j]表示选前i个数,j是第一个数且为山峰;
    int n,mod;
    int main(){
        scanf("%d%d",&n,&mod);    
        f[0][2]=1;
        for(int i=3;i<=n;i++)
           for(int j=2;j<=i;j++){
           f[i&1][j]=(f[i&1][j-1]+f[(i-1)&1][i-j+1])%mod;}
    //f[i][j]=f[i][j-1](把j 与  j-1直接交换掉,且j-1保证为山峰)+f[i-1][(i-1+1)-(j-1)]
    //后面的式子表示,去掉 j ,让j-1当数列首位,则j-1保证为山谷,此时我们只构造了j-1为山峰的情况,用i-1+1-(j-1)即可; 
        int ans=0;
        for(int j=2;j<=n;j++){
        ans=(ans+f[n&1][j])%mod;    
        }
        printf("%d",(ans<<1)%mod);
    
    }
    
    • 1

    信息

    ID
    1503
    时间
    1000ms
    内存
    128MiB
    难度
    5
    标签
    递交数
    0
    已通过
    0
    上传者