二分求最小间距的最大值

题目背景

Mad Jim Jaspers为了证明钕磁铁的强大，拿来了一个有NNN个小槽的长木条，MMM个钕磁铁，第iii个小槽在xix_ixi​的位置上，为了不让磁铁互相吸引，每块磁铁离其他磁铁的距离应该尽可能的大。

题目描述

请你帮MJJ写一个程序，求出所有磁铁之间最小距离的最大值。只要磁铁距离大于等于1就不会互相吸引。

输入输出格式

输入格式：

第一行两个数，分别代表NNN和MMM。
接下来NNN行，每行一个整数，代表第iii个小槽在木板上的位置。(最左边作为原点0）

输出格式：

输出所有磁铁之间最大的最小距离ddd。

输入输出样例

输入样例#1：

5 3
1
2
8
4
9

输出样例#1：

3

说明

2≤N≤100000
2≤M≤N
0≤x_i≤10^9

题目中，3块磁铁的最大距离是3，也就是说d的范围取值是(1≤d≤31≤ d ≤ 31≤d≤3)
磁铁可以放置在(1、4、8）的位置上。

这题的思路是假设一个间隔x，然后通过二分来不断地更新x来确定最终x的值

#include<stdio.h>
#include<algorithm>
using namespace std;
const int INF=0x3f3f3f3f;
int n,m,a[100005];
bool judge(int x)
{
    int last=0;//记录起点
    for(int i=1;i<m;i++)   //判断是否能在m-1步以内到达最后一个位置  即能否找出包括起点在内的m个点
    {
        int now=last+1;
        while(now<n && a[now]-a[last]<x)
            now++;
        if(now==n)  //若能到达则表示此时假设的间距x太大，应缩小x，即更新右端点
            return false;
        last=now;
    }
    return true;  //反之则是在m-1次以内不能更新到最后一个点，代表间距过小，更新左端点
}
int main()
{
    scanf("%d %d",&n,&m);
    for(int i=0;i<n;i++)
        scanf("%d",&a[i]);
    sort(a,a+n);  //从小到大将位置排序
    int l=0,r=INF;
    while(l<r)
    {
        int mid=(l+r+1)>>1;
        if(judge(mid))
            l=mid;
        else
            r=mid-1;
    }
    printf("%d",l);
    return 0;
}