[noip 2017]普及组 T4 跳房子

题目描述

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

跳房子的游戏规则如下：

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

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

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

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

输入输出格式

输入格式：

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

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

输出格式：

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

输入输出样例

输入样例#1： 

7 4 10
2 6
5 -3
10 3
11 -3
13 1
17 6
20 2

输出样例#1： 

2

输入样例#2： 

7 4 20
2 6
5 -3
10 3
11 -3
13 1
17 6
20 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 组测试数据，每组数据 10 分。

对于全部的数据满足1 ≤ n ≤ 500000, 1 ≤ d ≤2000, 1 ≤ x_i, k ≤ 109, |si| < 105。 对于第 1， 2 组测试数据， n ≤ 10；

对于第 3， 4， 5 组测试数据， n ≤ 500

对于第 6， 7， 8 组测试数据， d = 1

有难度，二分+DP+单调队列优化

但是 DP方程非常简单

设 dp[i] 带表灵活性为 g 时，到第 i 个的最大可得到值

dp[i]=max{dp[j]}+a[i].value (max(1,d-g)<=a[i].set-a[j].set<=d+g)

因为只有当灵活性为g时，值在最大的时候，大于要求的分数，才能证明g可行

所以就可以这样暴力枚举

	for(int i=1;i<=n;i++){
    	dp[i]=-INF;
    	for(int j=0;j<i;j++)
    		if(max(1,d-g)<=a[i].set-a[j].set&&a[i].set-a[j].set<=d+g)
    			dp[i]=max(dp[i],dp[j]+a[i].value);
	}

可以发现

dp [ i ] 只会由 dp [ l - r ) 转移

所以我们就可以只枚举 dp [ l - r ) 的最大值

然后就可以优化一下枚举量

	int l=0,r=0;
	for(int i=1;i<=n;i++){
    	dp[i]=-INF;
    	while(a[i].set-a[r].set>=max(1,d-g))
			r++;
    	while(a[i].set-a[l].set>d+g)
			l++; 
    	for(int j=l;j<r;j++)
    		dp[i]=max(dp[i],dp[j]);
    	dp[i]+=a[i].value;
	}

dp [ i ]是由dp[ l - r ) 转移过去的

而dp[ l - r )又会由于 i 的增加 向右移

又因为区间内数据的左边小于它的数据相当于没有什么价值了

所以就可以写一个单调队列来维护单调队列中下降的序列

我们就能在转移之前就可以很容易地处理出该区间移动后的最大值是多少

然后，就是AC代码了！

#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long ll;
int n,d,k;long long ans;
long long dp[500005];
int a[500005][2];

struct zy{
	ll a;int b;
}dl[500005];

int DP(int g){
	int l=0,r=0;
	int head=0,tail=0;
	for(int i=1;i<=n;i++){
		while(a[i][0]-a[r][0]>=max(d-g,1)){
			while(head<tail&&dl[tail-1].a<dp[r])
				tail--;
    		dl[tail].a=dp[r];
    		dl[tail++].b=r++;
		}
		while(a[i][0]-a[l][0]>d+g){
			if(head<tail&&dl[head].b==l)
				if(dl[head].a==dp[l])
					head++;
			l++;
		}
		if(head>=tail)
			dp[i]=(-1ll<<60)+a[i][1];
		else
			dp[i]=dl[head].a+a[i][1];
		if(dp[i]>=k)
			return true;
	}
	return false;
}

int half(int L,int R){
	while(L<R){
		int mid=(L+R)>>1;
		if(DP(mid))R=mid;
		else L=mid+1;
	}
	return R;
}

int main(){
	scanf("%d%d%d",&n,&d,&k);
	for(int i=1;i<=n;i++){
		scanf("%d",&a[i][0]);
		scanf("%d",&a[i][1]);
	}
	ans=half(0,a[n][0]-a[1][0]);
	if(ans!=a[n][0]-a[1][0])
		printf("%lld",ans);
	else printf("-1");
	return 0;
}