洛谷P2678 [NOIP2015 提高组] 跳石头

每次都要比较哪两块石头间距最小，同时比较隔壁的间隙，相加最小的那块石头剔除，而且删除后还要将数组后面的往前移，再重新比较间隙最小的在哪里，而且如果是第一个块石头，需要特判……
综上，不会写
看题解直接从答案出发，好家伙！
有的时候，我们会遇到一些特殊的问题：它们很难直接求解，或者根本无法直接求解，
这种时候就应该换个角度，从答案方面入手。

第一个题解写的也特别好，加深了我对二分的理解：
最优解一定可行，但可行解不一定最优。我们假设整个序列具有单调性，且一个数x为可行解，那么一般的，所有的x’(x’<x)都是可行解。并且，如果有一个数y是非法解，那么一般的，所有的y’(y’>y)都是非法解。

这题有很多可行解，而我们所需要的是最大的最优解

int l,n,m,d[500005];
bool judge(int x) {
   
    int pre=0,sum=0;
    for(int i=1;i<=n+1;i++)
        if(d[i]-pre<x) sum++;
        else pre=d[i];
    return sum<=m;//移走的石头少了，说明现在的最短距离小了
}

int main() {
   
    
    cin>>l>>n>>m;
    for(int i=1;i<=n;i++) cin>>d[i];
    d[0]=0;d[n+1]=l;
    
    int le=0,mi,ri=l;
    while(le<ri) {
   
        mi=(le+ri+1)/2;
        if(judge(mi)) le=mi;
        else ri=mi-1;
    }