NOIP2015D2T1 跳石头

题目背景
一年一度的“跳石头”比赛又要开始了!
题目描述
这项比赛将在一条笔直的河道中进行,河道中分布着一些巨大岩石。组委会已经选择好了两块岩石作为比赛起点和终点。在起点和终点之间,有 N 块岩石(不含起点和终 点的岩石)。在比赛过程中,选手们将从起点出发,每一步跳向相邻的岩石,直至到达 终点。
为了提高比赛难度,组委会计划移走一些岩石,使得选手们在比赛过程中的最短跳 跃距离尽可能长。由于预算限制,组委会至多从起点和终点之间移走 M 块岩石(不能 移走起点和终点的岩石)。

输入文件第一行包含三个整数 L,N,M,分别表示起点到终点的距离,起点和终 点之间的岩石数,以及组委会至多移走的岩石数。
接下来 N 行,每行一个整数,第 i 行的整数 Di(0 < Di < L)表示第 i 块岩石与 起点的距离。这些岩石按与起点距离从小到大的顺序给出,且不会有两个岩石出现在同 一个位置。
输出文件只包含一个整数,即最短跳跃距离的最大值。

暴力肯定会TLE，最小的最大显然是个二分答案，把区间二分然后判断答案的可行性。怎么判断？能不拿就不拿，贪心。

#include<bits/stdc++.h>
using namespace std;

const int MAXN=50005;

int l,n,m,a[MAXN];

bool ck(int x,int y){
    int mid=(x+y)>>1,dis=mid,sum=0;
//  cout<<dis<<endl;
    for(int i=1;i<=n+1;i++){
        if(dis>=a[i]-a[i-1]){// 必须要拿走
            dis-=a[i]-a[i-1]; 
        //  printf("%d ",a[i]-a[i-1]);
        }
        else sum++,dis=mid;//不用拿
    }
    if(sum>(n-m))return 1;
    return 0;
}

int main(){
    scanf("%d%d%d",&l,&n,&m);
    a[0]=0;
    a[n+1]=l;
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
    }
    int x=0,y=l;
    while(x+1!=y){
        if(ck(x,y)){
            x=(x+y)>>1;
        }
        else {
            y=(x+y)>>1;
        }
    }
    x++;
    printf("%d",x);
    return 0;
}