二分查找与二分答案---P2678 [NOIP2015 提高组] 跳石头

题目描述
这项比赛将在一条笔直的河道中进行，河道中分布着一些巨大岩石。组委会已经选择好了两块岩石作为比赛起点和终点。在起点和终点之间，有 N 块岩石（不含起点和终点的岩石）。在比赛过程中，选手们将从起点出发，每一步跳向相邻的岩石，直至到达终点。

为了提高比赛难度，组委会计划移走一些岩石，使得选手们在比赛过程中的最短跳跃距离尽可能长。由于预算限制，组委会至多从起点和终点之间移走 M 块岩石（不能移走起点和终点的岩石）。

输入格式
第一行包含三个整数 L,N,M，分别表示起点到终点的距离，起点和终点之间的岩石数，以及组委会至多移走的岩石数。保证L≥1 且N≥M≥0。

接下来 N 行，每行一个整数，第 i 行的整数 D_i( 0 < D_i < L)， 表示第 i 块岩石与起点的距离。这些岩石按与起点距离从小到大的顺序给出，且不会有两个岩石出现在同一个位置。

输出格式
一个整数，即最短跳跃距离的最大值。

输入输出样例
输入 #1
25 5 2
2
11
14
17
21

输出 #1
4

说明/提示
输入输出样例 1 说明：将与起点距离为 2和 14 的两个岩石移走后,最短的跳跃距离为 4(从与起点距离 17 的岩石跳到距离 21 的岩石,或者从距离 21 的岩石跳到终点)。

另：对于 20%的数据,0 ≤ M ≤ N ≤ 10
对于50%的数据,0 ≤ M ≤ N ≤ 100

对于 100%的数据,0 ≤ M ≤ N ≤ 50,000,1 ≤ L ≤ 1,000,000,0000

我们可以看到 最短跳跃距离尽可能长 , 所以这题肯定是二分做法了.

那么二分什么呢？很显然可以看出就是 最短跳跃距离.

其实难点还是在check怎么写上面

给定一个步长，然后记录“可以选择移除的石头的个数”是否大于等于要求数即可

#include <iostream>
using namespace std;
int M,N;
long L;
long a[50005];
bool check(int mid)//主要难点就在check
{
    int t=0,n=0,f=0;
    a[N+1]=L;
    for(int i=1;i<=N+1;i++)
    {
        if((a[i]-t)<mid)n++;
        else {
            if((a[i]-t)==mid);
           t=a[i];
        }
    }
    if(n<=M)return 1;
    else return 0;//如果说移走石头的数量不够自然就返回0
}
    
long erfen(long l,long r)//标准二分模板
{
    while (l < r)
    {
        int mid = ( l + r + 1 )/2;
        if (check(mid)) l = mid;
        else r = mid - 1;
    }
    return l;
}
int main()
{
    cin>>L>>N>>M;
    for(int j=1;j<=N;j++)//给每个石头的坐标附上值
    {
        cin>>a[j];
    }
    cout<<erfen(1,1e9);
    return 0;
}