点此看题面

大致题意: 问你有多少长度为\(n\)的数列,它当中每个数字要么比旁边两个数字都小,要么比旁边两个数字都大。

性质

这题应该比较显然是一道动态规划题,但刚看到这题时我却无从下手。

其实,了解了关于这种合法数列的几个性质,这题就不难了。

  • 它具有对称性。

    • 即如果\(a_1a_2...a_n\)为合法数列,则\(a_na_{n-1}...a_1\)也是一个合法数列。
    • 那么这个性质有什么作用呢?这就说明,我们要将最后求出的答案\(*2\)。(我就因为没写这个调死了)
  • 我们可以将大小相差\(1\)且不相邻的元素交换。
    • 比如说,我们设在一个合法数列\(a_1a_2...a_n\)中,\(|a_i-a_j|=1,|i-j|>1\)。
    • 则交换了\(a_i\)与\(a_j\)之后,新数列仍合法。
    • 这个性质应该还是比较显然的,无需证明吧。
  • 我们可以将山谷与山峰相互转化。
    • 呃,这句话读起来的确有点莫名其妙,关键在于我语文太差,不知如何形容。
    • 比如说对于一个合法数列\(a_1a_2...a_n\),我们可以将它们每一个元素的值都改成\(n-a+1\),即变成\((n-a_1+1)(n-a_2+1)...(n-a_n+1)\),可以证明新数列仍然合法,且原来的山谷变成了山峰,原来的山峰变成了山谷。
    • 这个性质有什么意义呢?它的意义就在于,我们就无需区分是山峰还是山谷,直接进行状态转移(反正都可以相互转化),而不需要再开一维记录是山峰还是山谷了。
    • 这在之后的状态转移中起到了巨大的作用。

如何状态转移

在了解了以上几点性质之后,这题的\(DP\)就不难了。

考虑用\(f_{i,j}\)表示在前\(i\)个数中以\(j\)为序列尾部,且这是一个山峰时的方案数

接下来,我们要分情况讨论:

  • \(j\)与\(j-1\)不相邻。

    • 在这种情况下,我们可以根据上面的性质得到,交换\(j\)与\(j-1\)是不会影响数列的合法性的。
    • 于是可以将\(f_{i,j}\)从\(f_{i,j-1}\)转移得来。
  • \(j\)与\(j-1\)相邻。
    • 既然我们确定\(j\)是山峰,而\(j-1\)与\(j\)相邻,因此我们可以确定:\(j-1\)是山谷。
    • 也就是说,我们要求的就是在前\(i-1\)个数中以\(j-1\)为序列尾部,且这是一个山谷时的方案数
    • 或许有些人会考虑再加一个数组\(g_{i-1,j-1}\)来表示这个值,但这样就会使代码复杂许多。
    • 我们可以回顾上面提到的一个性质:我们可以将山谷与山峰相互转化,现在它就派上用场了。
    • 根据这个性质,在前\(i-1\)个数中以\(j-1\)为序列尾部,且这是一个山谷时的方案数就等同于在前\(i-1\)个数中以\((i-1)-(j-1)+1\)为序列尾部,且这是一个山峰时的方案数
    • 而这后半句话,其实就等同于\(f_{i-1,(i-1)-(j-1)+1}\)。
    • 综上所述,我们可以将\(f_{i,j}\)从\(f_{i-1,(i-1)-(j-1)+1}\)转移得来,化简一下就是\(f_{i-1,i-j+1}\)。

于是我们就得出了转移方程:\(f_{i,j}=f_{i,j-1}+f_{i-1,i-j+1}\)。

关于内存

这题开\(O(N^2)\)的数组貌似会\(MLE\)。能过当我没说。

于是,我们可以用节约内存的常见方法:滚存

这样就跑得毫无压力了。

代码

#include<bits/stdc++.h>
#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)<(y)?(x):(y))
#define uint unsigned int
#define LL long long
#define ull unsigned long long
#define swap(x,y) (x^=y,y^=x,x^=y)
#define abs(x) ((x)<0?-(x):(x))
#define INF 1e9
#define Inc(x,y) ((x+=(y))>=MOD&&(x-=MOD))
#define ten(x) (((x)<<3)+((x)<<1))
#define N 4200
using namespace std;
int n,MOD,f[2][N+5];
class FIO
{
private:
#define Fsize 100000
#define tc() (FinNow==FinEnd&&(FinEnd=(FinNow=Fin)+fread(Fin,1,Fsize,stdin),FinNow==FinEnd)?EOF:*FinNow++)
#define pc(ch) (FoutSize<Fsize?Fout[FoutSize++]=ch:(fwrite(Fout,1,FoutSize,stdout),Fout[(FoutSize=0)++]=ch))
int f,FoutSize,OutputTop;char ch,Fin[Fsize],*FinNow,*FinEnd,Fout[Fsize],OutputStack[Fsize];
public:
FIO() {FinNow=FinEnd=Fin;}
inline void read(int &x) {x=0,f=1;while(!isdigit(ch=tc())) f=ch^'-'?1:-1;while(x=ten(x)+(ch&15),isdigit(ch=tc()));x*=f;}
inline void read_char(char &x) {while(isspace(x=tc()));}
inline void read_string(string &x) {x="";while(isspace(ch=tc()));while(x+=ch,!isspace(ch=tc())) if(!~ch) return;}
inline void write(int x) {if(!x) return (void)pc('0');if(x<0) pc('-'),x=-x;while(x) OutputStack[++OutputTop]=x%10+48,x/=10;while(OutputTop) pc(OutputStack[OutputTop]),--OutputTop;}
inline void write_char(char x) {pc(x);}
inline void write_string(string x) {register int i,len=x.length();for(i=0;i<len;++i) pc(x[i]);}
inline void end() {fwrite(Fout,1,FoutSize,stdout);}
}F;
int main()
{
register int i,j,ans=0;
for(F.read(n),F.read(MOD),f[0][2]=1,i=3;i<=n;++i)
for(j=2;j<=i;++j) f[i&1][j]=(f[i&1][j-1]+f[(i^1)&1][i-j+1])%MOD;//状态转移
for(i=2;i<=n;++i) Inc(ans,f[n&1][i]);//统计答案
return F.write((ans<<1)%MOD),F.end(),0;//输出,记得将答案*2
}

【BZOJ1925】 [SDOI2010] 地精部落(带有一堆性质的动态规划)的更多相关文章

  1. [bzoj1925][Sdoi2010]地精部落_递推_动态规划

    地精部落 bzoj-1925 Sdoi-2010 题目大意:给你一个数n和模数p,求1~n的排列中满足每一个数的旁边两个数,要么一个是边界,要么都比它大,要么都比它小(波浪排列个数) 注释:$1\le ...

  2. bzoj1925 [Sdoi2010] 地精部落【DP】

    传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=1925 一个多月前“过”了这道题,还自欺欺人地认为懂了这道题,这直接导致了昨晚多校联测2的T3 ...

  3. BZOJ1925 [Sdoi2010]地精部落 动态规划

    欢迎访问~原文出处——博客园-zhouzhendong 去博客园看该题解 题目传送门 - BZOJ1925 题意概括 给出n,n<=4200,问1~n这些数的排列中,有多少满足一下性质: 性质: ...

  4. BZOJ1925 [Sdoi2010]地精部落 【dp】

    题目 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi,其中Hi是1到N ...

  5. [bzoj1925][Sdoi2010][地精部落] (序列动态规划)

    Description 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi, ...

  6. BZOJ1925[SDOI2010]地精部落

    Description 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi, ...

  7. [BZOJ1925][SDOI2010]地精部落(DP)

    题意 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi,其中Hi是1到N ...

  8. 【czy系列赛】czy的后宫4 && bzoj1925 [Sdoi2010]地精部落

    [问题描述] czy有很多妹子,妹子虽然数量很多,但是质量不容乐观,她们的美丽值全部为负数(喜闻乐见). czy每天都要带N个妹子到机房,她们都有一个独一无二的美丽值,美丽值为-1到-N之间的整数.他 ...

  9. 2018.10.20 bzoj1925: [Sdoi2010]地精部落(dp)

    传送门 dp好题. 设f[i][j]f[i][j]f[i][j]表示iii个数结尾是jjj且结尾两个数递增的方案数. 那么显然可以对称的定义出g[i][j]g[i][j]g[i][j]表示iii个数结 ...

随机推荐

  1. Java web错误汇总

    环境: 电脑:win 10 IDE: Eclipse Java EE IDE for Web Developers. Version: Luna Service Release 2 (4.4.2) B ...

  2. Python中使用Type hinting 和 annotations

    Type hints最大的好处就是易于代码维护.当新成员加入,想要贡献代码时,能减少很多时间. 也方便我们在调用汉书时提供了错误的类型传递导致运行时错误的检测. 第一个类型注解示例 我们使用一个简单例 ...

  3. Docker容器构建过程的安全性分析

    来源:嘶吼专业版 ID:Pro4hou DevOps概念的流行跟近些年微服务架构的兴起有很大关系,DevOps是Dev(Development)和Ops(Operations)的结合,Dev负责开发, ...

  4. Linux表面工作

    https://www.cnblogs.com/welhzh/p/5899875.html 1.显示文本文件的内容 /etc/issue   #登录前提示 /etc/motd   #登录后提示 ssh ...

  5. Codeforces 350D(计算几何)

    要点 用A.B.C一般式确定每条直线 将合法的圆心中点存到每条直线所属的vector中 枚举所有线段,二分后\(O(1)\)得到其中存在多少答案,累加 #include <cstdio> ...

  6. 关于String的split方法

    在做剑指offer的时候,有一道替换空格的题,立刻就想到用这个split方法来做,但发现,这个方法会丢掉字符串最后的空格??? 百度后,知道原因,这里直接复制粘贴了: 在使用java中的split按照 ...

  7. 019 Remove Nth Node From End of List 删除链表的倒数第N个节点

    给定一个链表,删除链表的倒数第 n 个节点并返回头结点.例如,给定一个链表: 1->2->3->4->5, 并且 n = 2.当删除了倒数第二个节点后链表变成了 1->2 ...

  8. JavaScript事件模型及事件代理

    事件模型 JavaScript事件使得网页具备互动和交互性,我们应该对其深入了解以便开发工作,在各式各样的浏览器中,JavaScript事件模型主要分为3种:原始事件模型.DOM2事件模型.IE事件模 ...

  9. jdbc 大数据存储 图片读取

    package com.itheima.clob.test; import java.io.File; import java.io.FileReader; import java.io.FileWr ...

  10. 让最新的 Android Q Beta 3 强制重启的 Project Mainline,到底是什么?

    一. 序 最新的 Android 版本 Q,已经发布了 Android Q Beta 3,虽然没有正式发布,但是不少用户已经加入了测试计划,抢先体验 Android Q 的新功能. 近期不少体验用户反 ...