二分 18729 太空航站

Description
市政府在基地一和基地二之间修建了n个太空航站，其中基地一为第1个航站，基地二为第n个航站,其他航站在两个基地之间。
我们把相邻航站的距离定义为“空间差”，显然飞船的续航能力必须大于等于这个空间差才能在两个航站间航行。
把所有相邻航站间空间差的最大值定义为“空间极差”，如果一艘飞船想从基地一航行至基地二，
那么它的续航能力必须大于等于“空间极差”，这样看能满足航行条件的飞船太少了。
现在市政府打算在基地一和基地二之间新增最多K个太空航站，让尽可能多的飞船可以在基地一和基地二之间航行。
简单说就是让所有航站间的“空间极差”尽可能地小。

输入格式
第一行为两个整数n和k。（2=<n<=100000）,（1=<k<=100）
第二行，n个正整数a1…an。(a1<=a2<=a3…<=an)

输出格式
仅一行，新增最多K个太空航站后，“空间极差”的最小值。

输入样例
2 1
0 105

输出样例
53

提示
新的空间站建设在坐标52或53可以得到最小空间极差。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cmath>
#include <map>
#define ll long long
#define inf 0x3f3f3f3f

using namespace std;
const int N=1e5+5;
int n,a[N],m;

int f(int x)
{
    int num=0,s=a[0];
    for(int i=1;i<n;i++)
    {
        if(a[i]-s>x)
        {
            s+=x;
            i--;
            num++;
            if(num>m)
                break;
        }
        else
            s=a[i];
    }
    return num<=m;
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    cin >> n >> m;
    for(int i=0;i<n;i++)
        cin >> a[i];
    int l=a[0],r=a[n-1]-a[0],mid,res;
    while(l<=r)
    {
        mid=(l+r)>>1;
        if(f(mid))
            res=mid,r=mid-1;
        else
            l=mid+1;
    }
    cout << res << endl;
    return 0;
}