点此看题面

大致题意: 问你有多少长度为\(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. Cogs 1995. Yukari

    1995. Yukari ★★☆   输入文件:camera.in   输出文件:camera.out   简单对比时间限制:1 s   内存限制:128 MB 题目背景: 幻想乡的创始人之一,八云紫 ...

  2. 洛谷P4287 [SHOI2011]双倍回文(回文自动机)

    传送门 听说有大佬用manacher$O(n)$过此题……太强啦…… 说一下PAM的做法吧.(看了题解之后发现)蛮简单的 我们肯定要先建出回文自动机的 然后如果是枚举每一个节点暴跳fail指针肯定得T ...

  3. 「模拟赛20180307」三元组 exclaim 枚举+树状数组

    题目描述 给定 \(n,k\) ,求有多少个三元组 \((a,b,c)\) 满足 \(1≤a≤b≤c≤n\)且\(a + b^2 ≡ c^3\ (mod\ k)\). 输入 多组数据,第一行数据组数\ ...

  4. À peu près là 隐私政策

    隐私政策 本应用尊重并保护所有使用服务用户的个人隐私权.为了给您提供更准确.更有个性化的服务,本应用会按照本隐私权政策的规定使用和披露您的个人信息.但本应用将以高度的勤勉.审慎义务对待这些信息.除本隐 ...

  5. iOS ksyhttpcache音视频缓存

    pod 'ksyhttpcache' 桥接文件 引入 #import <KSYHTTPCache/KSYHTTPProxyService.h> 带appdelegate里初始化 KSYHT ...

  6. EIGRP-6-EIGRP数据包

    EIGRP在与邻居路由器进行通信时,使用以下7种不同类型的数据包:   Hello包 确认包 更新包 查询包 响应包 SIA查询包 SIA响应包   更新包,查询包,响应包,SIA查询包和SIA响应包 ...

  7. STP-18-Port-Channl上的负载均衡

    Ether Channel通过在多条链路上传输多个数据帧,增加了可用带宽.一个以太网帧总是通过一个Ether Channel中的一条链路传输.针对数据帧地址字段执行散列计算能够产生一个编号,标识这个数 ...

  8. linux目录权限

    linux中,有三种不同类型的用户可以对文件或目录进行访问:文件所有者,同组用户,其他用户.所有者一般是文件的创建者,文件所有者自动拥有对该文件的读.写和可执行权限.所有者能允许同组用户有权访问文件, ...

  9. Floyed-Warshall算法(求任意两点间最短距离)

    思路:感觉有点像暴力啊,反正我是觉得很暴力,比如求d[i][j],用这个方法求的话,就直接考虑会不会经过点k(k是任意一点) ,最终求得最小值 看代码 #include<iostream> ...

  10. C. Jury Marks 思维题

    http://codeforces.com/contest/831/problem/C 做的时候想不到,来了个暴力. 对于每个b[i],枚举每一个a[i],就有1个可能的情况. 然后用vector存起 ...