这题我0分。

比赛时,我一眼出正解,哈哈,太水了!

这题不就是一个二分+DP+单调队列吗?

然而,细节决定成败。

我错了许多细节,就挂了。

我只考了0分。。。

首先,这题满足一个条件:

保证g变大后,如果原来满足条件,现在也会满足条件;而如果原来不满足条件,现在就有可能满足条件。

g变小后,如果原来满足条件,现在不一定会满足条件;而如果原来不满足条件,现在就一定不可能满足条件。

所以,我们可以用二分找出最合适的g的值。

已知,\({0\leq g\leq 10^9}\),且跳跃的范围是 Max(1,d-g) ~ d+g。

我们就可以列出状态转移方程了:$${F_i=max(F_j)+S_i\space\space\space(X_j+a\leq X_i \bigwedge X_j+b\geq X_i)}$$

其中,a为跳跃最短距离,b为跳跃的最长距离。

这样做的时间复杂度是\({O(log_210^9n^2)}\),很明显会时超50分。

所以,我们就要把DP优化一下了。

我们很容易发现,状态转移方程中,对于不同的i,\({max(F_j)}\)的值可能是一样的,但我们的程序却会从一个较大的区间 上一次最后一个 找到的位置+1 ~ i-1 中找 ,这就是程序中最耗时的地方。

怎么优化呢?

我们有多种优化方式,其中我推荐两种:大根堆,还有单调队列。大根堆码量大,而单调队列方便快捷,因此我比较喜欢用单调队列。

用\({queue_i}\)表示单调队列的第i个元素,用head表示单调队列中有效范围内的第一个元素的下标,用tail表示单调队列中有效范围内的最后一个元素的下标。

单调队列存的是元素的下标,即\({F_i}\),\({X_i}\)中的 i ,这样能方便判断。

由于这个单调队列是递减的(即第一个元素最大,第二个元素比第一个小,第三个比第二个小……最后一个是最小的),所以我们每次使用的最大值就是单调队列中有效范围内的第一个元素对应的值。

那么我们的状态转移方程就可以变成这个样子了:$${F_i=F_{queue_{head}}+S_i\space\space(X_{queue_{head}}+a \leq X_i \bigwedge X_{queue_{head}}+b \geq X_i)}$$

其中,a为跳跃最短距离,b为跳跃的最长距离。

这样用起来是很方便的,但是,重点来了——

怎样才能保持单调队列的单调性(使单调队列递减)和有效性(使\({(X_{queue_{head}}+a \leq X_i \bigwedge X_{queue_{head}}+b \geq X_i)}\))呢?

首先,我们每一次加入元素时,如果 (new是新加入的元素),也就是说这个样子(越高的值越大):

许多人都会认为要变成下面这个样子:

第i个柱子上面的数字是X[queue[i]]的值。

由于新加入单调队列的数,都是可以跳到第i个格子上的,即\({X_{new}+a\leq X_i\bigwedge X_{new}+b\geq X_i}\)

而X又是递增的,所以\({X_{new}+a\leq X_i\leq X_{i+1}\leq X_{i+2}\cdots X_n}\) 。

但是从5(\({X_{new}}\))这个位置出发,能跳到的最远距离绝对比4远,所以当5不能跳到某一个地方时,4也绝对跳不到那个位置。所以4就没用了。

因此我们可以把4删掉(即tail-1),最后再把5加入,变成下面这个样子:

有时候我们要删除很多元素,如下面这个例子:



变成

我们就要用一个while循环来删除F值小于等于F[new]的数。


但我们的queue[head]是会过期的(queue[head]跳不到第i个格子),这时我们的queue[head]就不能用了。

我们要删掉queue[head],怎么删掉呢?直接head+1就好了。

最后一点,建议同学们把不能到达的点的F赋值为-maxlongint!


#include<cstdio>
using namespace std;
#define maxlongint 1999999999
int f[500001],queue[500001],x[500001],s[500001];
int main()
{
freopen("jump.in","r",stdin);
freopen("jump.out","w",stdout);
int n,d,k,l=0,r=1000000000,mid,i,j,t,ans=-1,maxx,minn,head,tail,last;
bool bk,bz;
scanf("%d%d%d",&n,&d,&k);
for(i=1;i<=n;i++) scanf("%d%d",&x[i],&s[i]);
l=0;r=1000000000;
while(l<=r)
{
mid=(l+r)/2;
maxx=d+mid;bk=false;bz=true;
minn=d-mid;last=0;
if(minn<1) minn=1;
tail=head=1;
queue[1]=0;
for(i=1;i<=n;i++)
{
if(maxx>=x[i]&&minn<=x[i])
{
bz=false;
break;
}
}
if(bz)
{
l=mid+1;
continue;
}
for(i=1;i<=n;i++)
{
f[i]=maxlongint;
for(j=last+1;j<i;j++)
{
if(x[j]+minn>x[i]) break;
if(x[j]+maxx<x[i]) continue;
last=j;
if(f[j]==maxlongint) continue;
while(head<=tail&&f[queue[tail]]<=f[j]) queue[tail--]=0;
queue[++tail]=j;
}
while(head<tail&&x[queue[head]]+maxx<x[i]) head++;
if(x[queue[head]]+maxx<x[i]||x[queue[head]]+minn>x[i]) f[i]=maxlongint;
else f[i]=f[queue[head]]+s[i];
if(f[i]<maxlongint&&f[i]>=k)
{
bk=true;
break;
}
}
if(bk)
{
ans=mid;
r=mid-1;
}
else l=mid+1;
}
printf("%d\n",ans);
return 0;
}

【NOIP2017】跳房子的更多相关文章

  1. [P3957][NOIP2017]跳房子 (DP+二分/队列?)

    看到GREED_VI大佬在打这题 我这个蒟蒻偷偷看一眼洛谷上目前普及难度里最难的一题 题目还是能看懂的,不想道路游戏那题,我完全不知道题目是什么意思…… GREED_VI大佬第一次用的是二分的思想,于 ...

  2. luogu P3657 (NOIP2017) 跳房子(二分+DP+单调队列)

    题面 传送门 分析 显然答案有单调性,可以二分答案,设当前二分值为g,根据题意我们可以求出跳跃长度的范围[l,r] 考虑DP 子状态: dp[i]表示跳到第i个点时的最大和 状态转移方程 \(dp[i ...

  3. $NOIp$普及组做题记录

    \([NOIp2014]\) 螺旋矩阵 \(Sol\) 直接模拟,一次走一整行或者一整列.复杂度\(O(n)\). \(Code\) #include<bits/stdc++.h> #de ...

  4. [NOIP2017普及组]跳房子(二分,单调队列优化dp)

    [NOIP2017普及组]跳房子 题目描述 跳房子,也叫跳飞机,是一种世界性的儿童游戏,也是中国民间传统的体育游戏之一. 跳房子的游戏规则如下: 在地面上确定一个起点,然后在起点右侧画 nn 个格子, ...

  5. NOIP2017 PJ 跳房子 —— 单调队列优化DP

    题目描述 跳房子,也叫跳飞机,是一种世界性的儿童游戏,也是中国民间传统的体育游戏之一.跳房子的游戏规则如下: 在地面上确定一个起点,然后在起点右侧画n个格子,这些格子都在同一条直线上.每个格子内有一个 ...

  6. [NOIP2017] T4 跳房子 DP+二分

    Description 跳房子,也叫跳飞机,是一种世界性的儿童游戏,也是中国民间传统的体育游戏之一.跳房子的游戏规则如下:  在地面上确定一个起点,然后在起点右侧画 n 个格子,这些格子都在同一条直线 ...

  7. 洛谷P3957 跳房子(Noip2017普及组 T4)

    今天我们的考试就考到了这道题,在考场上就压根没有思路,我知道它是一道dp的题,但因为太弱还是写不出来. 下来评讲的时候知道了一些思路,是dp加上二分查找的方式,还能够用单调队列优化. 但看了网上的许多 ...

  8. Luogu 3957 [NOIP2017]普及组 跳房子

    写了好久,感觉自己好菜,唉…… 首先发现这个$g$的取值具有单调性,可以想到二分答案,然后考虑用$dp$来检验,这样子可以写出朴素的转移方程: 设$f_i$表示以$i$结尾的最大价值,那么有$f_i ...

  9. [NOIP2017普及]跳房子

    我太弱了... 单调队列优化DP+二分答案. #include <algorithm> #include <iostream> #include <cstdlib> ...

随机推荐

  1. Java当中的基本类型包装类

    Java当中的基本类型包装类 01 基本数据类型对象的包装类 **什么是基本数据类型对象包装类呢?**就是把基本数据类型封装成对象,这样就可以提供更多的操作基本数值的功能了. 基本数据类型对象的包装类 ...

  2. vue 甘特图简单制作

    甘特图(Gantt chart)又称为横道图.条状图(Bar chart).其通过条状图来显示项目,进度,和其他时间相关的系统进展的内在关系随着时间进展的情况.以提出者亨利·L·甘特(Henrry L ...

  3. Another Filling the Grid

    E. Another Filling the Grid 参考:Codeforces Round #589 (Div. 2)-E. Another Filling the Grid-容斥定理 容斥这个东 ...

  4. docker启动、关闭、重启命令

    docker启动命令,docker重启命令,docker关闭命令 启动        systemctl start docker守护进程重启   sudo systemctl daemon-relo ...

  5. fastjson =< 1.2.47 反序列化漏洞浅析

    fastjson =< 1.2.47 反序列化漏洞浅析 iiusky 洛米唯熊 今天 文章出处: https://www.03sec.com/3240.shtmlhttps://www.secq ...

  6. Inter IPP 处理图像数据的方法

    Inter IPP没有读取图片和保存图片的函数,需要结合opencv完成这个功能. opencv读到图片以后逐个像素点赋值给IPP显然是不可取的,方法如下: int main(int argc, ch ...

  7. Linux停止被占用的端口

    查找被占用的端口:netstat -lnp|grep 80 查看80端口被那些服务占用. kill掉该进程 kill -9 5574 然后在去查看一下80被占用的情况netstat -lnp|grep ...

  8. Misc套路记录

    1.对于给定的二维码图片不能直接扫描出来的可以进行反色在进行扫描,反色可以直接选中图片然后就会进行反色.2.局域网中抓取的数据包的加密方式可能是aes加密.3.凯撒加密可能是变种的凯撒加密,可能奇数偶 ...

  9. HBuilderX中自动转换px为upx

    uni-app 使用 upx 作为默认尺寸单位, upx 是相对于基准宽度的单位,可以根据屏幕宽度进行自适应.uni-app 规定屏幕基准宽度750upx.但如果设计稿不是750px,那换算单位可头疼 ...

  10. 爬取百度网盘资源报user is not authorized, hitcode:119

    爬取百度网盘资源报user is not authorized, hitcode:119 一.总结 一句话总结: 可能是百度网盘禁止非客户端环境下载大文件,所以将请求头改为客户端:'User-Agen ...