二分 18725 宇宙迁跃

Description
在基地的科学家发明“透镜”之后，宇宙航行变得更加效率。
作为基地元首的的代理人，你需要在K天内乘坐飞船到达首都川陀。
飞船可以花费一天时间，通过迁跃从一个星系到达另一个星系，但绝不能迁跃到星系之间，那样不但会遇到一些自然危险，也可能永远迷失。
我们把基地至川陀间星系的坐标看成是一个线性序列，例如a星系坐标是10，b星系坐标是15，那么飞船必须具备不小于5的迁跃能力才能从a航行至b。
基地坐标为0，请你根据基地至川陀间的N个星系坐标，计算飞船的迁跃能力至少为多大，才能在K天内（包含K天）到达川陀。

输入格式
第一行两个整数N和K。（1=<N<=10000，1=<K<=10000）
第二行N个整数，表示N个星系的坐标ai，题目确保坐标由小到大排列。（0=<ai<=100000）

输出格式
仅一行,飞船的最小迁跃能力。

输入样例
5 2
1 4 6 10 19

输出样例
10

提示
样例说明：川陀的坐标为最后一个值19。
飞船的迁跃能力至少为10，才能在2天内到达川陀。

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

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

int f(int x)
{
    int num=0,s=0;
    for(int i=0;i<n;i++)
    {
        if(a[i]-s>x)
        {
            s=a[i-1];
            num++;
            i--;
            if(num==m)
                break;
        }
    }
    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=0,r=a[n-1],mid,res;
    while(l<=r)
    {
        mid=(l+r)>>1;
        if(f(mid))
            r=mid-1,res=mid;
        else
            l=mid+1;
    }
    cout << res << endl;
    return 0;
}