P3957 [NOIP2017 普及组] 跳房子

[NOIP2017 普及组] 跳房子

题目背景

NOIP2017 普及组 T4

题目描述

跳房子，也叫跳飞机，是一种世界性的儿童游戏，也是中国民间传统的体育游戏之一。

跳房子的游戏规则如下：

在地面上确定一个起点，然后在起点右侧画 $n$ 个格子，这些格子都在同一条直线上。每个格子内有一个数字（整数），表示到达这个格子能得到的分数。玩家第一次从起点开始向右跳，跳到起点右侧的一个格子内。第二次再从当前位置继续向右跳，依此类推。规则规定：

玩家每次都必须跳到当前位置右侧的一个格子内。玩家可以在任意时刻结束游戏，获得的分数为曾经到达过的格子中的数字之和。

现在小 R 研发了一款弹跳机器人来参加这个游戏。但是这个机器人有一个非常严重的缺陷，它每次向右弹跳的距离只能为固定的 $d$ 。小 R 希望改进他的机器人，如果他花 $g$ 个金币改进他的机器人，那么他的机器人灵活性就能增加 $g$ ，但是需要注意的是，每次弹跳的距离至少为 $1$ 。具体而言，当 $g < d$ 时，他的机器人每次可以选择向右弹跳的距离为 $d-g,d-g+1,d-g+2,\ldots,d+g-1,d+g$ ；否则当 $\geq d$ 时，他的机器人每次可以选择向右弹跳的距离为 $1,2,3,\ldots,d+g-1,d+g$ 。

现在小 R 希望获得至少 $k$ 分，请问他至少要花多少金币来改造他的机器人。

输入格式

第一行三个正整数 $n, d, k$ ，分别表示格子的数目，改进前机器人弹跳的固定距离，以及希望至少获得的分数。相邻两个数之间用一个空格隔开。

接下来 $n$ 行，每行两个整数 $x_i,s_i$ ，分别表示起点到第 $i$ 个格子的距离以及第 $i$ 个格子的分数。两个数之间用一个空格隔开。保证 $x_i$ 按递增顺序输入。

输出格式

共一行，一个整数，表示至少要花多少金币来改造他的机器人。若无论如何他都无法获得至少 $k$ 分，输出 $- 1$ 。

样例 #1

样例输入 #1

样例输出 #1

样例 #2

样例输入 #2

样例输出 #2

-1

提示

输入输出样例 1 说明

花费 $2$ 个金币改进后，小 R 的机器人依次选择的向右弹跳的距离分别为 $ 2, 3, 5, 3, 4,3$，先后到达的位置分别为 $2, 5, 10, 13, 17, 20$ ，对应$ 1, 2, 3, 5, 6, 7$ 这 $6$ 个格子。这些格子中的数字之和 $ 15$ 即为小 R 获得的分数。

输入输出样例 2 说明

由于样例中 $7$ 个格子组合的最大可能数字之和只有 $18$ ，所以无论如何都无法获得 $20$ 分。

数据规模与约定

本题共 10 组测试数据，每组数据等分。

对于全部的数据满足 $\le n \le 5\times10^5$ ， $\le d \le2\times10^3$ ， $\le x_i, k \le 10^9$ ， $s_i| < 10^5$ 。

对于第 $1, 2$ 组测试数据，保证 $n\le 10$ 。

对于第 $3, 4, 5$ 组测试数据，保证 $\le 500$ 。

对于第 $6, 7, 8$ 组测试数据，保证 $d = 1$ 。

分步分析

二分？

我们可以看到，我们应输出g，假设 $g_1$ 为正确答案，即 $g=g_1$ ,可以取最大值,那么 $g_1+1$ 也可以取最大值，故对g可以二分答案，检查是否有k分即可

检查？

我们很容易得到一下程序

void solve(){int l=0,r=dis[n],ans=-1;while(l<=r){int mid=(l+r)>>1;if (check(mid)) ans=mid,r=mid-1;else l=mid+1;}cout<<ans;
}

关键是怎么检查答案？
我们设dp[i]是以第i个点结束的最大值，我们发现具有无后效性，可以dp，我们求出二分出的g给定的跳跃区间，进行dp即可

bool check(int g){int l=0,r=0;int ming=max(1,d-g),maxg=d+g;dp[0]=0;for (int i=1;i<=n;i++){dp[i]=-1e6;while (r<=n and dis[i]-dis[r]>=ming) r++;while(l<=n and dis[i]-dis[l]>maxg) l++;for (int j=l;j<r;j++) dp[i]=max(dp[i],dp[j]);dp[i]+=score[i];if (dp[i]>=k) return true;}return false;
}

效率O( $\text{n}^2$ )，不是很好
我们发现，由于所有的dp值均来自于[l,r)，故可以进行单调队列优化。(见代码)

代码

#include<bits/stdc++.h>
using namespace std;
const int M=1e6;
#define int long long
int dis[M],score[M],dp[M];
int n,d,k;
deque<int> q;
bool check(int g){q.clear();int ming=max(1ll,d-g),maxg=d+g;for (int i=0;i<=n;i++) dp[i]=-1e18;dp[0]=0;int las=0;	for(int i=1;i<=n;i++){int ld=dis[i]-maxg,rd=dis[i]-ming;while(dis[las]<ld) las++;while(ld<=dis[las] and dis[las]<=rd and las<i){while(!q.empty() and dp[q.back()]<=dp[las])q.pop_back();q.push_back(las++);}while(!q.empty() and(dis[q.front()]<ld)) q.pop_front();if (!q.empty()) dp[i]=dp[q.front()]+score[i];if (dp[i]>=k) return 1;}return false;
}
void read(){cin>>n>>d>>k;for (int i=1;i<=n;i++) cin>>dis[i]>>score[i];
}
void solve(){int l=0,r=dis[n],ans=-1;while(l<=r){int mid=(l+r)>>1;if (check(mid)) ans=mid,r=mid-1;else l=mid+1;}cout<<ans;
}
signed main(){read();solve();return 0;	
}

分析

只看check：

bool check(int g){q.clear();int ming=max(1ll,d-g),maxg=d+g;for (int i=0;i<=n;i++) dp[i]=-1e18;dp[0]=0;int las=0;	for(int i=1;i<=n;i++){int ld=dis[i]-maxg,rd=dis[i]-ming;while(dis[las]<ld) las++;while(ld<=dis[las] and dis[las]<=rd and las<i){while(!q.empty() and dp[q.back()]<=dp[las])q.pop_back();q.push_back(las++);}while(!q.empty() and(dis[q.front()]<ld)) q.pop_front();if (!q.empty()) dp[i]=dp[q.front()]+score[i];if (dp[i]>=k) return 1;}return false;
}