信息学奥赛一本通 1890：【15NOIP提高组】跳石头 | 洛谷 P2678 [NOIP2015 提高组] 跳石头

【题目链接】

ybt 1890：【15NOIP提高组】跳石头
洛谷 P2678 [NOIP2015 提高组] 跳石头
ybt 1247：河中跳房子
OpenJudge NOI 1.11 10:河中跳房子
（该题与下面两题是同一题，提交代码都不用改。)

【题目考点】

1. 二分答案

【解题思路】

将问题抽象：长为L的线段中有N个点，移除M个点，留下N-M个点，将整条线段划分为N-M+1个线段。求所有可能的划分方案中，最短线段最长的那种方案下，最短线段的长度。
方案数有$C_N^M$种，而M，N达到$5\ast 10^4$，数量级，如果想枚举所有方案，求每种方案下的最短线段然后求最大值，显然不可行。
逆向思考，如果给定点之间最小距离x，即点之间的距离必须大于等于x。
需要满足条件为：看移除M个点的多种方案中，是否存在一种方案其最短线段长度大于等于x
而要判断该条件是否成立，仍然比较困难。我们可以再逆向思考该命题，将其转化为：让每条线段长度都大于等于x，看最少需要移除多少个点

• 如果移除的点的数量小于等于M，则存在一种方案其最短线段长度大于等于x，条件成立。
• 如果移除的点的数量大于M，则不存在这样的方案，条件不成立。

统计最少移除点数量的方法为：将起点视为观察点，将距离观察点x范围内的点都移除，再将下一个点视为观察点，将距离它x范围内的点都移除。重复执行。如果终点也在被移除的范围内，则应该移除当前观察点。

清楚要判断的条件后，这就是一个二分答案求满足某一条件最大值的问题
求中点：mid = (l+r+1)/2;
如果x满足条件，下一次x应该更大，取右半边，l = mid;
如果x不满足条件，下一次x应该更小，取左半边，r = mid - 1;

最后得到的结果就是要求的各种方案中最短线段的最大值。

【题解代码】

解法1：二分答案

#include<bits/stdc++.h>
using namespace std;
#define N 50005
int len, n, m, d[N];//d[i]:点i到左端的距离 
//要判断：看移除M个点的多种方案中，是否存在一种方案其最短线段长度大于等于x
//实际做：让每条线段长度都大于等于x，看最少需要移除点的数量是否小于等于M 
bool check(int x)
{
    int ct = 0, p = 0;//p:当前观察的点的位置 
    for(int i = 1; i <= n; ++i)
    {
        if(d[i] - p < x)//如果到当前观察位置距离小于x，则移除 
            ct++;
        else//如果点i到当前观察的位置的距离大于等于x
            p = d[i];//则i的位置为当前观察的位置
    }
    if(len - p < x)//如果终点到观察点距离小于x
        ct++;//移除观察点
    return ct <= m;//看移除点的数量是否小于等于M 
}
int main()
{
    cin >> len >> n >> m;
    for(int i = 1; i <= n; ++i)
        cin >> d[i];
    int l = 0, r = len, mid;
    while(l < r)
    {
        mid = (l + r + 1) / 2;
        if(check(mid))
            l = mid;
        else
            r = mid - 1;
    }
    cout << l;
    return 0;
}