最后一颗不能动的石头让我怀疑二分贪心策略的正确性,但仍是正确的,因为出现这种情况,去掉当下 的石头可以解决,若不能去掉,则一定完不成,因为贪心一定是最小花费的最优情况,所以对与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;
}