转换等价处理

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

最后一颗不能动的石头让我怀疑二分贪心策略的正确性，但仍是正确的，因为出现这种情况，去掉当下 的石头可以解决，若不能去掉，则一定完不成，因为贪心一定是最小花费的最优情况，所以对与check仍旧等价（因为只差一个，所以既然不存在最优，这个就一定能排到最优）

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int inmax=40000008;
char IN[inmax+5],*ipos;
#define read() (strtol(ipos,&ipos,10))
const double eps=1e-6;
ll a[50005],n,m,s;
bool check(ll x)
{
    int cnt=0;
    int now=0;
    for(int i=1;i<=n+1;++i)
    {
        if(a[i]-now<x)
        {
            cnt++;
        }
        else {
            now=a[i];
        }
    }
    return cnt<=m;
}
int main ()
{
    fread(IN,inmax,1,stdin);ipos=IN;
    s=read(),n=read(),m=read();
    ll l=1,r=s,mid;
    for(int i=1;i<=n;++i)
    {
        a[i]=read();
    }
    a[n+1]=s;
    ll ans=0;
    while(l<=r)
    {
        mid=(l+r)>>1;
        if(check(mid))
        {
            l=mid+1;
            ans=mid;
        }
        else r=mid-1;
    }
    cout<<ans;
    return 0;
}