bzoj1650: [Usaco2006 Dec]River Hopscotch 跳石子 luogu【P2678】 跳石头 （二分）

题目传送门
师兄叫我们刷usaco。
我为了骗访问量到luogu找到了原题哈哈哈。
我可以发blog了。

解法：
玄学的二分啊。
我的方法跟大多数人都不同。
我先二分答案。
然后距离上一个保留石头大于等于这个答案的石头我都应该保存下来。
然后看一下保存下来的石头是否<=n-m不就完了吗？
错！
不可以等于这个答案。
为什么？
比如四个石头。
4,8,12,16。
如果我现在二分的答案是4。
那么所有石头都保留了下来，所以说这是错的。
只能大于这个长度的石头才能保存下来。

代码实现：

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<iostream>
#include<algorithm>
using namespace std;
int L,n,m;
int a[51000];
int main() {
    freopen("jump.in","r",stdin);
    freopen("jump.out","w",stdout);
    scanf("%d%d%d",&L,&n,&m);
    for(int i=1;i<=n;i++)
        scanf("%d",&a[i]);
    a[n+1]=L;
    sort(a+1,a+1+n);
    int l=1,r=L,mid,ans=0;
    while(l<=r) {
        mid=(l+r)/2;
        int last=0,s=0;
        for(int i=1;i<=n+1;i++) 
            if(a[i]-last>mid) { //大于这个距离的才可以保存下来。
                last=a[i];s++;
            }
        if(s<=n-m) {  
        //我问到了第n+1块石头（结尾）
        //那么为什么不是s<=n+1-m呢？
        //因为既然mid是最小距离，那么肯定至少有一段等于最小距离。
        //但根据我的策略要大于这段距离才可以保留。
        //所以等于最小距离的都不会保留。
        //所以不能+1咯，要减少1给最小的那一段留出一个位置。
            ans=mid;r=mid-1;
        }
        else
            l=mid+1;
    }
    printf("%d\n",ans);
    return 0;
}