【BZOJ1925】 [SDOI2010] 地精部落(带有一堆性质的动态规划)
大致题意: 问你有多少长度为\(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] 地精部落(带有一堆性质的动态规划)的更多相关文章
- [bzoj1925][Sdoi2010]地精部落_递推_动态规划
地精部落 bzoj-1925 Sdoi-2010 题目大意:给你一个数n和模数p,求1~n的排列中满足每一个数的旁边两个数,要么一个是边界,要么都比它大,要么都比它小(波浪排列个数) 注释:$1\le ...
- bzoj1925 [Sdoi2010] 地精部落【DP】
传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=1925 一个多月前“过”了这道题,还自欺欺人地认为懂了这道题,这直接导致了昨晚多校联测2的T3 ...
- BZOJ1925 [Sdoi2010]地精部落 动态规划
欢迎访问~原文出处——博客园-zhouzhendong 去博客园看该题解 题目传送门 - BZOJ1925 题意概括 给出n,n<=4200,问1~n这些数的排列中,有多少满足一下性质: 性质: ...
- BZOJ1925 [Sdoi2010]地精部落 【dp】
题目 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi,其中Hi是1到N ...
- [bzoj1925][Sdoi2010][地精部落] (序列动态规划)
Description 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi, ...
- BZOJ1925[SDOI2010]地精部落
Description 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi, ...
- [BZOJ1925][SDOI2010]地精部落(DP)
题意 传说很久以前,大地上居住着一种神秘的生物:地精. 地精喜欢住在连绵不绝的山脉中.具体地说,一座长度为 N 的山脉 H可分 为从左到右的 N 段,每段有一个独一无二的高度 Hi,其中Hi是1到N ...
- 【czy系列赛】czy的后宫4 && bzoj1925 [Sdoi2010]地精部落
[问题描述] czy有很多妹子,妹子虽然数量很多,但是质量不容乐观,她们的美丽值全部为负数(喜闻乐见). czy每天都要带N个妹子到机房,她们都有一个独一无二的美丽值,美丽值为-1到-N之间的整数.他 ...
- 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个数结 ...
随机推荐
- Cogs 1995. Yukari
1995. Yukari ★★☆ 输入文件:camera.in 输出文件:camera.out 简单对比时间限制:1 s 内存限制:128 MB 题目背景: 幻想乡的创始人之一,八云紫 ...
- 洛谷P4287 [SHOI2011]双倍回文(回文自动机)
传送门 听说有大佬用manacher$O(n)$过此题……太强啦…… 说一下PAM的做法吧.(看了题解之后发现)蛮简单的 我们肯定要先建出回文自动机的 然后如果是枚举每一个节点暴跳fail指针肯定得T ...
- 「模拟赛20180307」三元组 exclaim 枚举+树状数组
题目描述 给定 \(n,k\) ,求有多少个三元组 \((a,b,c)\) 满足 \(1≤a≤b≤c≤n\)且\(a + b^2 ≡ c^3\ (mod\ k)\). 输入 多组数据,第一行数据组数\ ...
- À peu près là 隐私政策
隐私政策 本应用尊重并保护所有使用服务用户的个人隐私权.为了给您提供更准确.更有个性化的服务,本应用会按照本隐私权政策的规定使用和披露您的个人信息.但本应用将以高度的勤勉.审慎义务对待这些信息.除本隐 ...
- iOS ksyhttpcache音视频缓存
pod 'ksyhttpcache' 桥接文件 引入 #import <KSYHTTPCache/KSYHTTPProxyService.h> 带appdelegate里初始化 KSYHT ...
- EIGRP-6-EIGRP数据包
EIGRP在与邻居路由器进行通信时,使用以下7种不同类型的数据包: Hello包 确认包 更新包 查询包 响应包 SIA查询包 SIA响应包 更新包,查询包,响应包,SIA查询包和SIA响应包 ...
- STP-18-Port-Channl上的负载均衡
Ether Channel通过在多条链路上传输多个数据帧,增加了可用带宽.一个以太网帧总是通过一个Ether Channel中的一条链路传输.针对数据帧地址字段执行散列计算能够产生一个编号,标识这个数 ...
- linux目录权限
linux中,有三种不同类型的用户可以对文件或目录进行访问:文件所有者,同组用户,其他用户.所有者一般是文件的创建者,文件所有者自动拥有对该文件的读.写和可执行权限.所有者能允许同组用户有权访问文件, ...
- Floyed-Warshall算法(求任意两点间最短距离)
思路:感觉有点像暴力啊,反正我是觉得很暴力,比如求d[i][j],用这个方法求的话,就直接考虑会不会经过点k(k是任意一点) ,最终求得最小值 看代码 #include<iostream> ...
- C. Jury Marks 思维题
http://codeforces.com/contest/831/problem/C 做的时候想不到,来了个暴力. 对于每个b[i],枚举每一个a[i],就有1个可能的情况. 然后用vector存起 ...